7 search results - page 1 / 2 » Correctness by Construction for High-Integrity Real-Time Sys... |
ADAEUROPE
2007
Springer
13 years 10 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
EUROMICRO
2002
IEEE
13 years 9 months ago
2002
IEEE
In this paper we propose a method for predicting the consequences of adding new components to an existing product line in the real-time systems domain. We refer to such a predicti...
FDL
2006
IEEE
13 years 10 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
BIRTHDAY
1999
Springer
13 years 8 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
FIDJI
2003
Springer
13 years 9 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...