• LUSTRE

  • Referenced in 38 articles [sw08938]
  • language for programming systems which interact with their environments in real-time. After an informal...
  • PVeStA

  • Referenced in 17 articles [sw08423]
  • available to tools like Maude, where probabilistic systems can be specified at a high level ... supports statistical model checking of probabilistic real-time systems specified as either: (i) discrete...
  • ASTRAL

  • Referenced in 17 articles [sw02878]
  • UCSB for specification and design of real-time systems, as a hardware description language. ASTRAL...
  • DynaMIT

  • Referenced in 16 articles [sw01808]
  • DynaMIT DynaMIT is a simulation-based real-time system designed to estimate the current state...
  • YOLO

  • Referenced in 12 articles [sw28515]
  • real-time object detection system. YOLO: Real-Time Object Detection. Prior detection systems repurpose classifiers...
  • Modechart

  • Referenced in 8 articles [sw22870]
  • Modechart: A specification language for real-time systems. Present a specification language for real-time ... systems called Modechart. The semantics of Modechart is given in terms of real-time logic ... reasoning about the absolute (real-time clock) timing of events. The semantics of Modechart ... leverage in reasoning about properties of a system by allowing us to filter out assertions...
  • aiT

  • Referenced in 12 articles [sw13101]
  • execution time (WCET) of tasks in real-time systems. They directly analyze binary executables...
  • pwcet

  • Referenced in 8 articles [sw14479]
  • worst-case execution time analysis of real-time systems. Traditional approaches for worst case execution ... absolute upper bound on the execution time. For modern high performance processors with, for example ... execution time that potentially underestimate the real worst case execution time ... introduce the notion of probabilistic hard real-time system as a system which...
  • NetLogger

  • Referenced in 15 articles [sw10568]
  • NetLogger, that enables real-time diagnosis of performance problems in such systems. The methodology includes ... data and real-time state of the distributed system. Low overhead is an important requirement...
  • TGFF

  • Referenced in 15 articles [sw17689]
  • systems, hardware/software co-design, operating systems (both real-time and general-purpose), parallel or distributed...
  • RT-ASLAN

  • Referenced in 6 articles [sw30491]
  • ASLAN: A specification language for real-time systems. RT-ASLAN, a formal language for specifying ... real-time systems, is an extension of the ASLAN specification language for sequential systems. Some ... ASLAN language supports specification of parallel real-time processes through arbitrary levels of abstraction; processes...
  • PREFDIS

  • Referenced in 23 articles [sw11030]
  • capabilities of the system in order to make effective real-time decisions...
  • RTC toolbox

  • Referenced in 10 articles [sw14256]
  • Real-Time Calculus (RTC) Toolbox is a free Matlab toolbox for system ... level performance analysis of distributed real-time and embedded systems. The RTC Toolbox is based ... functions for Modular Performance Analysis with Real-Time Calculus...
  • W4s

  • Referenced in 8 articles [sw36454]
  • real-time system for detecting and tracking people in 2 1/2-d. W4S is a real...
  • Giotto

  • Referenced in 16 articles [sw08971]
  • Giotto: A Time-Triggered Language for Embedded Programming. Giotto provides an abstract programmer’s model ... implementation of embedded control systems with hard real-time constraints. A typical control application consists...
  • Synthia

  • Referenced in 8 articles [sw12933]
  • first certifying model checker for open real-time systems modeled as networks of timed automata...
  • MOMENT2

  • Referenced in 10 articles [sw10025]
  • formal specification and analysis of real-time model-based systems. We provide a collection ... constructs for defining the timed behavior of model-based systems that are specified with ... transformations supported in MOMENT2. We give a real-time rewrite formal semantics to real-time ... specifying and verifying model-based real-time and embedded systems within the Eclipse Modeling Framework...
  • MAST

  • Referenced in 9 articles [sw37112]
  • perform schedulability analysis of real-time distributed systems that assesses a rich variety of timing ... will know how far or close the system is from meeting those requirements. MAST uses ... real-time behavior of the modules and platforms that form your system. MAST is distributed...
  • DTAM

  • Referenced in 7 articles [sw18889]
  • real-time. DTAM is a system for real-time camera tracking and reconstruction which relies...
  • OSQP

  • Referenced in 20 articles [sw26960]
  • solution of a quasi-definite linear system with the same coefficient matrix in each iteration ... making it suitable for real-time applications in embedded systems. In addition, our technique...