144
click to vote
FORMATS
15 years 10 months ago
2009 Springer 
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
145
click to vote
FORMATS
15 years 7 months ago
2009 Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
130
click to vote
FORMATS
15 years 10 months ago
2009 Springer 
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
131
click to vote
FORMATS
15 years 10 months ago
2009 Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
119
click to vote
FORMATS
15 years 10 months ago
2009 Springer
In concurrent real-time processes, the speed of individual components has a double impact: on the one hand, the overall latency of a compound process is affected by the latency of...
|
Formal Methods