19 search results - page 1 / 4 » Model-Checking of Component-Based Event-Driven Real-Time Emb... |
144
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
141
click to vote
FORMATS
2009
Springer
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...
138
Voted
ECBS
2010
IEEE
15 years 10 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
117
Voted
EUROMICRO
2007
IEEE
15 years 9 months ago
2007
IEEE
