• Uppaal

  • Referenced in 556 articles [sw04702]
  • modeling, simulation and verification of real-time systems, developed jointly by Basic Research in Computer ... 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 253 articles [sw01270]
  • with the aim to verify complex real-time systems. Real-time systems are systems that ... 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 ... correctness requirements are expressed in the real-time temporal logic TCTL...
  • SIFT

  • Referenced in 434 articles [sw16554]
  • clutter and occlusion while achieving near real-time performance...
  • Erlang

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

  • Referenced in 75 articles [sw13704]
  • proving automatically the absence of run time errors in programs written in the C programming ... large embedded control-command safety critical real-time software generated automatically from synchronous specifications, producing...
  • Uppaal2k

  • Referenced in 46 articles [sw01595]
  • modeling, simulation and verification of real-time systems, developed jointly by Basic Research in Computer ... 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 ... case verification of a particular real-time system fails. The diagnostic traces may be automatically...
  • IF-2.0

  • Referenced in 42 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...
  • OMNet++

  • Referenced in 54 articles [sw04170]
  • other tools. There are extensions for real-time simulation, network emulation, alternative programming languages (Java...
  • PPL

  • Referenced in 52 articles [sw05357]
  • languages, synchronous languages and synchronization protocols, real-time and hybrid systems. Since the seminal work...
  • SIGNAL

  • Referenced in 52 articles [sw02915]
  • suited for the design of dependable real-time systems. Synchronous languages enable a very high...
  • CMC

  • Referenced in 29 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...
  • MoDeST

  • Referenced in 30 articles [sw01544]
  • modelling and description language for stochastic timed systemsThis paper presents a modelling language, called MoDeST ... determinism, probabilistic branching, and hard real-time as well as soft real-time (i.e., stochastic...
  • TrueTime

  • Referenced in 29 articles [sw13636]
  • TrueTime is a Matlab/Simulink-based simulator for real-time control systems. TrueTime facilitates co-simulation ... controller task execution in real-time kernels, network transmissions, and continuous plant dynamics...
  • TAXYS

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

  • Referenced in 24 articles [sw08938]
  • LUSTRE: a declarative language for real-time programming. LUSTRE is a synchronous data-flow language ... which interact with their environments in real-time. After an informal presentation of the language...
  • Rabbit

  • Referenced in 23 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...
  • 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...
  • Cg

  • Referenced in 32 articles [sw14154]
  • like language. The latest real-time graphics architectures include programmable floating-point vertex and fragment...
  • Qsplat

  • Referenced in 29 articles [sw07699]
  • displaying large geometric models in real time. It was originally designed during the course ... features: Fast startup and progressive loading. Real-time interactive display with a user-selectable frame...
  • VEST

  • Referenced in 28 articles [sw01405]
  • must be tailored to meet many cost, time to market, performance, and dependability constraints. Building ... that non-functional properties such as real-time performance and dependability are being...