• Kronos

  • Referenced in 261 articles [sw01270]
  • failures may have severe consequences. Hence, real-time systems need to be rigorously modeled ... their correctness with respect to the desired requirements. In KRONOS, components ... real-time systems are modeled by timed automata and the correctness requirements are expressed ... real-time temporal logic TCTL...
  • Erlang

  • Referenced in 108 articles [sw07202]
  • build massively scalable soft real-time systems with requirements on high availability. Some...
  • TAXYS

  • Referenced in 21 articles [sw01389]
  • itself. Clearly, the development of real-time systems requires rigorous methods and tools to reduce ... development costs and “time-to-market” while guaranteeing the quality of the produced code ... respect of the temporal constraints). The above requirements motivated the development of the TAXYS tool ... design and validation of real-time telecommunications software. One of the major goal...
  • BCI2000

  • Referenced in 13 articles [sw20617]
  • that BCI2000 satisfies the stringent real-time requirements of BCI systems. By substantially reducing labor...
  • MARTE

  • Referenced in 21 articles [sw21826]
  • MARTE: Modeling and Analysis of Real-time and Embedded systems. This specification ... Time (formal/03-09-01). MARTE consists in defining foundations for model-based description of real time ... parts provides support required from specification to detailed design of real-time and embedded characteristics ... define new techniques for analyzing real-time and embedded systems, but to support them. Hence...
  • Bigtable

  • Referenced in 26 articles [sw27060]
  • imagery) and latency requirements (from backend bulk processing to real-time data serving). Despite these...
  • Carsim

  • Referenced in 30 articles [sw11473]
  • faster than real-time using ordinary PC’s. The basic CarSim packages require no other...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • areas include real-time controllers and communication protocols in particular, those where timing aspects ... studies (see section Case Studies). To meet requirements arising from the case studies, the tool ... message sequence chart (MSC). A requirement specification editor that also constitutes a graphical user interface ... case verification of a particular real-time system fails. The diagnostic traces may be automatically...
  • Vertaf

  • Referenced in 4 articles [sw08200]
  • growing complexity of embedded real-time software requirements calls for the design of reusable software ... guarantee of nonfunctional properties such as performance, time constraints, reliability, and security. Available application frameworks ... embedded real-time software are poor in integrating functional and nonfunctional requirements. To bridge this ... newly proposed framework called Verifiable Embedded Real-Time Application Framework (VERTAF), which integrates software component...
  • NetLogger

  • Referenced in 15 articles [sw10568]
  • performance problems on complex distributed systems requires end-to-end performance information at both ... methodology, called NetLogger, that enables real-time diagnosis of performance problems in such systems ... real-time state of the distributed system. Low overhead is an important requirement for such...
  • MetaMorph

  • Referenced in 20 articles [sw01575]
  • requirements for next generation manufacturing systems, including scalability, reliability, stability, maintainability, flexibility, real-time planning...
  • SIGNAL

  • Referenced in 51 articles [sw02915]
  • suited for the design of dependable real-time systems. Synchronous languages enable a very high ... made a difficult issue by global safety requirements. To enable separate compilation of the functional...
  • MPC Toolbox

  • Referenced in 2 articles [sw14032]
  • memory bandwidth, its massively parallel architecture requires algorithms to be reimplemented to suit ... Predictive Control (MPC), which may have real-time requirements for the solution time. This paper...
  • PRINCE

  • Referenced in 57 articles [sw13240]
  • many future pervasive applications with real-time security needs. Our cipher, named PRINCE, allows encryption ... short delays in hardware. At the same time, the traditional need that a cipher ... space for the algorithm. An important further requirement is that realizing decryption and encryption results...
  • ARTP

  • Referenced in 3 articles [sw02587]
  • based on the feedback that the real-time control protocol reports give with the addition ... next feedback report. It also requires that the real-time streaming protocol provide the server...
  • ASTRAL

  • Referenced in 17 articles [sw02878]
  • UCSB for specification and design of real-time systems, as a hardware description language. ASTRAL ... argue that ASTRAL satisfies the fundamental requirements of a hardware description language...
  • SqueezeDet

  • Referenced in 1 article [sw32551]
  • Power Fully Convolutional Neural Networks for Real-Time Object Detection for Autonomous Driving. Object detection ... task for autonomous driving. In addition to requiring high accuracy to ensure safety ... object detection for autonomous driving also requires real-time inference speed to guarantee prompt vehicle...
  • DBToaster

  • Referenced in 1 article [sw26723]
  • embeddable query engines for applications that require real-time, low-latency data processing and monitoring...
  • veDYNA

  • Referenced in 10 articles [sw04237]
  • Real-time applications like hardware-in-the-loop testbeds or driving simulators require appropriate integration...
  • TGFF

  • Referenced in 15 articles [sw17689]
  • hardware/software co-design, operating systems (both real-time and general-purpose), parallel or distributed hardware ... well as any other area which requires problem instances consisting of partially-ordered or directed...