• Uppaal

  • Referenced in 618 articles [sw04702]
  • modeling, simulation and verification of real-time systems, developed jointly by Basic Research in Computer ... University in Sweden. It is appropriate for systems that can be modeled as a collection ... deterministic processes with finite control structure and real-valued clocks, communicating through channels or shared ... WPD94, LPW97b]. Typical application areas include real-time controllers and communication protocols in particular, those...
  • Kronos

  • Referenced in 259 articles [sw01270]
  • systems. Real-time systems are systems that must perform a task within strict time deadlines ... protocols are examples of such time-dependent systems. These systems are often part of complex ... failures may have severe consequences. Hence, real-time systems need to be rigorously modeled ... desired requirements. In KRONOS, components of real-time systems are modeled by timed automata...
  • Esterel

  • Referenced in 161 articles [sw20012]
  • suited to programming reactive systems, including real-time systems and control automata. The Esterel...
  • Erlang

  • Referenced in 104 articles [sw07202]
  • used to build massively scalable soft real-time systems with requirements on high availability. Some...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • modeling, simulation and verification of real-time systems, developed jointly by Basic Research in Computer ... areas include real-time controllers and communication protocols in particular, those where timing aspects ... Uppaal2k include: A graphical system editor allowing graphical descriptions of systems. A graphical simulator which ... case verification of a particular real-time system fails. The diagnostic traces may be automatically...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • validation environment for component-based real-time systems It is widely recognised that the automated ... provide an open validation platform for timed asynchronous systems (such as telecommunication protocols or distributed ... study the semantics of real-time primitives for asynchronous systems. Currently, the toolbox contains dedicated...
  • SIGNAL

  • Referenced in 51 articles [sw02915]
  • like module system for the synchronous language SIGNAL. Synchronous languages, such as SIGNAL, are best ... suited for the design of dependable real-time systems. Synchronous languages enable a very high...
  • CMC

  • Referenced in 33 articles [sw12422]
  • Tool for Compositional Model-Checking of Real-Time Systems. In this paper we present ... compositional model-checking of real-time systems. CMC is based on a completely different method ... compared to existing real-time verification tools (HYTECH, KRONOS, UPPAAL). After a description ... mutual exclusion protocol and a railroad crossing system...
  • PPL

  • Referenced in 92 articles [sw05357]
  • convex polyhedra is employed in several systems for the analysis and verification of hardware ... synchronous languages and synchronization protocols, real-time and hybrid systems. Since the seminal work...
  • TrueTime

  • Referenced in 36 articles [sw13636]
  • Matlab/Simulink-based simulator for real-time control systems. TrueTime facilitates co-simulation of controller task execution...
  • Rabbit

  • Referenced in 24 articles [sw01317]
  • tool for BDD-based verification of real-time systems. This paper gives a short overview ... model checking tool for real-time systems. The modeling language are timed automata extended with...
  • TAXYS

  • Referenced in 21 articles [sw01389]
  • development and verification of real-time embedded systems The correct behavior of real-time applications ... fact, violations of real-time constraints in embedded systems are the most difficult errors ... system itself. Clearly, the development of real-time systems requires rigorous methods and tools ... dedicated to the design and validation of real-time telecommunications software. One of the major...
  • PAT

  • Referenced in 30 articles [sw13258]
  • composing, simulating and reasoning of concurrent, real-time systems and other possible domains. It comes...
  • Snort

  • Referenced in 46 articles [sw14144]
  • Snort: open source intrusion prevention system capable of real-time traffic analysis and packet logging...
  • IMITATOR

  • Referenced in 27 articles [sw00439]
  • parametric verification and robustness analysis of real-time systems with parameters. It relies...
  • TIMES

  • Referenced in 25 articles [sw01403]
  • schedulability analysis tool for embedded real-time systems, developed at Uppsala University...
  • MOCA

  • Referenced in 17 articles [sw02629]
  • multiprocessor on-line competitive algorithm for real-time system scheduling. We study competitive on-line ... scheduling in multiprocessor real-time environments. In our model, every task has a deadline ... guarantee that any on-line parallel real-time scheduler can give. Then we present ... known for competitive scheduling of multiprocessor real-time systems...
  • MARTE

  • Referenced in 21 articles [sw21826]
  • MARTE: Modeling and Analysis of Real-time and Embedded systems. This specification ... model-based description of real time and embedded systems. These core concepts are then refined ... detailed design of real-time and embedded characteristics of systems. MARTE concerns also model-based ... define new techniques for analyzing real-time and embedded systems, but to support them. Hence...
  • STeP

  • Referenced in 36 articles [sw17948]
  • aided formal verification of reactive, real-time and hybrid systems based on their temporal specification...
  • LUSTRE

  • Referenced in 38 articles [sw08938]
  • language for programming systems which interact with their environments in real-time. After an informal...