Abstract | ||
---|---|---|
Research on validation and verification of requirements specifications has thus far focused on functional properties. Yet, in embedded systems, functional requirements Constitute only a small fraction of the properties that must hold to guarantee proper and safe operation of the system under design. In this paper we try to shine some light on the kinds of requirements occurring in current embedded systems design processes. We present a set of categories together with real-life examples. For each of them, we briefly describe possible approaches towards formal modeling and automated verification of the respective properties. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-88479-8_25 | Communications in Computer and Information Science |
Keywords | Field | DocType |
embedded system,validation and verification | Functional requirement,Functional verification,Software engineering,Verification and validation,Computer science,Verification,Real-time computing,Runtime verification,Formal methods,Single event upset,Non-functional requirement | Conference |
Volume | ISSN | Citations |
17 | 1865-0929 | 1 |
PageRank | References | Authors |
0.40 | 16 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Boris Langer | 1 | 7 | 1.26 |
Michael Tautschnig | 2 | 425 | 25.84 |