• Uppaal

  • Referenced in 647 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 273 articles [sw01270]
  • with the aim to verify complex real-time systems. Real-time systems are systems that ... 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 164 articles [sw20012]
  • suited to programming reactive systems, including real-time systems and control automata. The Esterel...
  • Erlang

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

  • Referenced in 79 articles [sw36676]
  • human body. Pfinder is a real-time system for tracking people and interpreting their behavior...
  • 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 ... open validation platform for timed asynchronous systems (such as telecommunication protocols or distributed applications ... 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 34 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 97 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...
  • LAPACK

  • Referenced in 1677 articles [sw00503]
  • linear equations, least-squares solutions of linear systems of equations, eigenvalue problems, and singular value ... areas, similar functionality is provided for real and complex matrices, in both single and double ... machines, thereby spending too much time moving data instead of doing useful floating-point operations ... matrix multiplication and the solution of triangular systems with multiple right-hand sides. Because...
  • TrueTime

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

  • Referenced in 35 articles [sw13258]
  • composing, simulating and reasoning of concurrent, real-time systems and other possible domains. It comes...
  • 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...
  • IMITATOR

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

  • Referenced in 21 articles [sw21826]
  • MARTE: Modeling and Analysis of Real-time and Embedded systems. This specification ... model-driven development of Real Time and Embedded Systems (RTES). This extension, called ... model-based description of real time and embedded systems. These core concepts are then refined ... define new techniques for analyzing real-time and embedded systems, but to support them. Hence...
  • MOCA

  • Referenced in 18 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...
  • TIMES

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

  • Referenced in 221 articles [sw04732]
  • objectives (linear, quadratic, minimum time) to the handling of systems with persistent additive and polytopic ... deployed to target platforms using Real Time Workshop...