36 search results - page 1 / 8 » Verification of Embedded Software: Problems and Perspectives |
EMSOFT
2001
Springer
14 years 3 months ago
2001
Springer
ECBS
2010
IEEE
14 years 3 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
EUROMICRO
2007
IEEE
14 years 2 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
FASE
2008
Springer
14 years 22 days ago
2008
Springer
Abstract. The notion of feature is heavily used in Software Engineering, especially for software product lines. However, this notion appears to be confusing, mixing various aspects...
EMSOFT
2006
Springer
14 years 28 days ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...