55 search results - page 11 / 11 » Masaccio: A Formal Model for Embedded Components |
EMSOFT
2006
Springer
13 years 10 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
RTCSA
1999
IEEE
13 years 10 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
LICS
1996
IEEE
13 years 10 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
EUROMICRO
2009
IEEE
13 years 10 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
RTSS
1998
IEEE
13 years 10 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...