• Uppaal

  • Referenced in 640 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 611 articles [sw16554]
  • clutter and occlusion while achieving near real-time performance...
  • Kronos

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

  • Referenced in 218 articles [sw04732]
  • from different performance objectives (linear, quadratic, minimum time) to the handling of systems with persistent ... deployed to target platforms using Real Time Workshop...
  • Esterel

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

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

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

  • Referenced in 80 articles [sw36676]
  • Pfinder: real-time tracking of the human body. Pfinder is a real-time system...
  • PPL

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

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

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

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

  • Referenced in 46 articles [sw03303]
  • validation environment for component-based real-time systems It is widely recognised that the automated ... study the semantics of real-time primitives for asynchronous systems. Currently, the toolbox contains dedicated...
  • PRINCE

  • Referenced in 59 articles [sw13240]
  • many future pervasive applications with real-time security needs. Our cipher, named PRINCE, allows encryption...
  • TrueTime

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

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

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

  • Referenced in 1654 articles [sw00503]
  • 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...
  • Qsplat

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