147
click to vote
FORMATS
15 years 11 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...
148
click to vote
FORMATS
15 years 8 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...
133
click to vote
FORMATS
15 years 11 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...
136
click to vote
FORMATS
15 years 11 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...
129
click to vote
FORMATS
15 years 11 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