2523 search results - page 1 / 505 » Correct Development of Embedded Systems |
EWSA
2004
Springer
13 years 9 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
APSEC
1999
IEEE
13 years 8 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
CASES
2001
ACM
13 years 8 months ago
2001
ACM
In this paper we describe a vision for the future evolution of Embedded SW (ESW) design methodologies as part of overall Embedded Systems (ES) development. Fundamentally, we belie...
EUC
2005
Springer
13 years 10 months ago
2005
Springer
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...
ECRTS
2007
IEEE
13 years 8 months ago
2007
IEEE