• Kronos

  • Referenced in 273 articles [sw01270]
  • dependent systems. These systems are often part of complex safety-critical applications such as aircraft ... have severe consequences. Hence, real-time systems need to be rigorously modeled and specified...
  • JPAX

  • Referenced in 29 articles [sw09906]
  • where Maude is a high-speed rewriting system for equational logic, but here extended with ... applied during operation to survey safety critical systems...
  • Reluplex

  • Referenced in 15 articles [sw31367]
  • major obstacle in applying them to safety-critical systems is the great difficulty in providing...
  • Truth/SLC

  • Referenced in 8 articles [sw01623]
  • aiming to give rigorous support for the system design and for establishing its correctness properties ... indispensable for the design of safety-critical concurrent systems where an ad hoc or conventional...
  • SCCharts

  • Referenced in 3 articles [sw26907]
  • language, SCCharts, designed for specifying safety-critical reactive systems. SCCharts use a statechart notation...
  • DaDRA

  • Referenced in 1 article [sw40400]
  • that a system acting under uncertainty may reach. It is a critical ... component to obtain guarantees of various safety-critical systems both for safety verification and controller...
  • MSV

  • Referenced in 1 article [sw19203]
  • which is a protocol for safety critical systems. The correctness of the RBC handover protocol ... most important factors affecting the safety of systems. Hence, it is of great importance...
  • DOVE

  • Referenced in 1 article [sw29237]
  • design modelling and verification in safety critical systems...
  • POMDPStressTesting.jl

  • Referenced in 1 article [sw38051]
  • find likely failures in black-box systems through a technique called adaptive stress testing. Adaptive ... been used to find failures in safety-critical systems such as aircraft collision avoidance systems...
  • iSAT

  • Referenced in 4 articles [sw28679]
  • hybrid systems. If such systems are used in safety critical environments, aformal correctness proof ... thus is suitable to verify safety properties of systems consisting of both, linear...
  • PaRoT

  • Referenced in 1 article [sw31366]
  • DNNs) are finding important applications in safety-critical systems such as Autonomous Vehicles (AVs), where...
  • Veracity

  • Referenced in 1 article [sw30356]
  • Designs. Critical systems (e.g. safety-critical and security-critical systems) need the highest levels...
  • SWEET

  • Referenced in 2 articles [sw17684]
  • possible deadline violations. For safety-critical real-time systems, safe (surely not underestimating) estimates...
  • VeriPhy

  • Referenced in 2 articles [sw29643]
  • verified controller executables from verified cyber-physical system models. We present VeriPhy, a verified pipeline ... verified high-level models of safety-critical cyber-physical systems (CPSs) in differential dynamic logic ... verified controller executables. VeriPhy proves that all safety results are preserved...
  • TCAS

  • Referenced in 5 articles [sw21413]
  • TCAS software verification using constraint programming. Safety-critical software must be thoroughly verified before being ... Alert and Collision Avoidance System) implementation must be verified against safety properties extracted from ... disjunctive constraint systems over bounded integers extracted from computer programs and safety properties. An experience ... component implementation against a set of safety-critical properties showed that this approach is viable...
  • PARTS

  • Referenced in 2 articles [sw03123]
  • toolset Real-time systems are becoming increasingly widespread, often in safety-critical applications...
  • Giotto

  • Referenced in 16 articles [sw08971]
  • model for the implementation of embedded control systems with hard real-time constraints. A typical ... which makes Giotto particularly suitable for safety-critical applications...
  • SMP-tool

  • Referenced in 0 articles [sw39145]
  • Matlab based application for modeling systems as Semi-Markov Processes (SMPs) and hierarchical SMPs ... Semi-Markov Processes with Application to Safety-Critical Systems...
  • SCALE 6.2

  • Referenced in 6 articles [sw18190]
  • systems modeling and simulation that provides comprehensive, verified and validated, user-friendly capabilities for criticality ... safety, reactor physics, radiation shielding, and sensitivity and uncertainty analysis. For more than 30 years...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • particular, those where timing aspects are critical. Since its first release in 1995, Uppaal ... Uppaal2k include: A graphical system editor allowing graphical descriptions of systems. A graphical simulator which ... system description, i.e. sequences of symbolic states of the system. It may also be used ... model-checker for automatic verification of safety and bonded-liveness properties by reachability analysis...