
Uppaal
 Referenced in 647 articles
[sw04702]
 modeling, simulation and verification of realtime 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 realvalued clocks, communicating through channels or shared ... WPD94, LPW97b]. Typical application areas include realtime controllers and communication protocols in particular, those...

Kronos
 Referenced in 273 articles
[sw01270]
 with the aim to verify complex realtime systems. Realtime systems are systems that ... protocols are examples of such timedependent systems. These systems are often part of complex ... failures may have severe consequences. Hence, realtime systems need to be rigorously modeled ... desired requirements. In KRONOS, components of realtime systems are modeled by timed automata...

Esterel
 Referenced in 164 articles
[sw20012]
 suited to programming reactive systems, including realtime systems and control automata. The Esterel...

Erlang
 Referenced in 115 articles
[sw07202]
 used to build massively scalable soft realtime systems with requirements on high availability. Some...

Pfinder
 Referenced in 79 articles
[sw36676]
 human body. Pfinder is a realtime system for tracking people and interpreting their behavior...

Uppaal2k
 Referenced in 43 articles
[sw01595]
 modeling, simulation and verification of realtime systems, developed jointly by Basic Research in Computer ... areas include realtime 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 realtime system fails. The diagnostic traces may be automatically...

IF2.0
 Referenced in 46 articles
[sw03303]
 validation environment for componentbased realtime 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 realtime 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 realtime systems. Synchronous languages enable a very high...

CMC
 Referenced in 34 articles
[sw12422]
 Tool for Compositional ModelChecking of RealTime Systems. In this paper we present ... compositional modelchecking of realtime systems. CMC is based on a completely different method ... compared to existing realtime 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, realtime and hybrid systems. Since the seminal work...

LAPACK
 Referenced in 1677 articles
[sw00503]
 linear equations, leastsquares 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 floatingpoint operations ... matrix multiplication and the solution of triangular systems with multiple righthand sides. Because...

TrueTime
 Referenced in 42 articles
[sw13636]
 Matlab/Simulinkbased simulator for realtime control systems. TrueTime facilitates cosimulation of controller task execution...

PAT
 Referenced in 35 articles
[sw13258]
 composing, simulating and reasoning of concurrent, realtime systems and other possible domains. It comes...

Rabbit
 Referenced in 24 articles
[sw01317]
 tool for BDDbased verification of realtime systems. This paper gives a short overview ... model checking tool for realtime systems. The modeling language are timed automata extended with...

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

IMITATOR
 Referenced in 29 articles
[sw00439]
 parametric verification and robustness analysis of realtime systems with parameters. It relies...

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

MOCA
 Referenced in 18 articles
[sw02629]
 multiprocessor online competitive algorithm for realtime system scheduling. We study competitive online ... scheduling in multiprocessor realtime environments. In our model, every task has a deadline ... guarantee that any online parallel realtime scheduler can give. Then we present ... known for competitive scheduling of multiprocessor realtime systems...

TIMES
 Referenced in 25 articles
[sw01403]
 schedulability analysis tool for embedded realtime 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...