
PVeStA
 Referenced in 18 articles
[sw08423]
 available to tools like Maude, where probabilistic systems can be specified at a high level ... supports statistical model checking of probabilistic realtime systems specified as either: (i) discrete...

STeP
 Referenced in 36 articles
[sw17948]
 aided formal verification of reactive, realtime and hybrid systems based on their temporal specification...

LUSTRE
 Referenced in 38 articles
[sw08938]
 language for programming systems which interact with their environments in realtime. After an informal...

ASTRAL
 Referenced in 17 articles
[sw02878]
 UCSB for specification and design of realtime systems, as a hardware description language. ASTRAL...

DynaMIT
 Referenced in 16 articles
[sw01808]
 DynaMIT DynaMIT is a simulationbased realtime system designed to estimate the current state...

Modechart
 Referenced in 8 articles
[sw22870]
 Modechart: A specification language for realtime systems. Present a specification language for realtime ... systems called Modechart. The semantics of Modechart is given in terms of realtime logic ... reasoning about the absolute (realtime 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 realtime systems. They directly analyze binary executables...

pwcet
 Referenced in 8 articles
[sw14479]
 worstcase execution time analysis of realtime 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 realtime system as a system which...

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

OSQP
 Referenced in 27 articles
[sw26960]
 solution of a quasidefinite linear system with the same coefficient matrix in each iteration ... making it suitable for realtime applications in embedded systems. In addition, our technique...

TGFF
 Referenced in 15 articles
[sw17689]
 systems, hardware/software codesign, operating systems (both realtime and generalpurpose), parallel or distributed...

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

DTAM
 Referenced in 8 articles
[sw18889]
 realtime. DTAM is a system for realtime camera tracking and reconstruction which relies...

Giotto
 Referenced in 17 articles
[sw08971]
 Giotto: A TimeTriggered Language for Embedded Programming. Giotto provides an abstract programmer’s model ... implementation of embedded control systems with hard realtime constraints. A typical control application consists...

PREFDIS
 Referenced in 23 articles
[sw11030]
 capabilities of the system in order to make effective realtime decisions...

RTC toolbox
 Referenced in 10 articles
[sw14256]
 RealTime Calculus (RTC) Toolbox is a free Matlab toolbox for system ... level performance analysis of distributed realtime and embedded systems. The RTC Toolbox is based ... functions for Modular Performance Analysis with RealTime Calculus...

W4s
 Referenced in 8 articles
[sw36454]
 realtime system for detecting and tracking people in 2 1/2d. W4S is a real...

Synthia
 Referenced in 8 articles
[sw12933]
 first certifying model checker for open realtime systems modeled as networks of timed automata...

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

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