• Uppaal

  • Referenced in 523 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...
  • SIFT

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

  • Referenced in 226 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...
  • Esterel

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

  • Referenced in 74 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 42 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...
  • Erlang

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

  • Referenced in 40 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 55 articles [sw04170]
  • other tools. There are extensions for real-time simulation, network emulation, alternative programming languages (Java...
  • PPL

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

  • Referenced in 28 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...
  • TrueTime

  • Referenced in 31 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...
  • MonoSLAM

  • Referenced in 27 articles [sw18884]
  • MonoSLAM: Real-Time Single Camera SLAM. We present a real-time algorithm which can recover ... single uncontrolled camera, achieving real time but drift-free performance inaccessible to structure from motion ... present applications of MonoSLAM to real-time 3D localization and mapping for a high-performance...
  • SIGNAL

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

  • Referenced in 28 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...
  • TAXYS

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

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

  • Referenced in 22 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...
  • Qsplat

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