Name
Abstract | ||
|---|---|---|
Formal verification of software systems is a challenge that is particularly important in the area of safety-critical automotive systems. Here, approaches like direct code verification are far too complicated, unless the verification is restricted to small textbook examples. Furthermore, the verification of application logic is of limited use in industrial context, unless the underlying operating system and the hardware are verified, too. This paper introduces a generic model stack, allowing the verification of all system layers as well as the concrete application models being used in the upper layers. The presented models and proofs close the gap between the correctness proof for the lower layers of car electronics developed at the Saarland University and the verification procedure for distributed applications developed at the Technische Universität München. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1007/s00165-008-0097-0 | Formal Asp. Comput. |
Keywords | Field | DocType |
software systems,distributed application,model based development,formal verification,operating system | Functional verification,Intelligent verification,Computer science,Correctness,Theoretical computer science,Runtime verification,Verification,High-level verification,Software verification,Formal verification | Journal |
Volume | Issue | ISSN |
20 | 6 | 0934-5043 |
Citations | PageRank | References |
15 | 1.52 | 16 |
Authors | ||
8 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jewgenij Botaschanjan | 1 | 34 | 4.80 |
| Manfred Broy | 2 | 2747 | 396.13 |
| Alexander Gruler | 3 | 158 | 8.30 |
| Alexander Harhurin | 4 | 65 | 6.30 |
| Steffen Knapp | 5 | 61 | 5.20 |
| Leonid Kof | 6 | 147 | 14.20 |
| Wolfgang J. Paul | 7 | 89 | 7.54 |
| Maria Spichkova | 8 | 160 | 15.29 |