Name
Abstract | ||
|---|---|---|
The amount of software in embedded systems has increased significantly over the last years and, therefore, the verification of embedded software is of fundamental importance. One of the main problems in embedded software is to verify variables and functions based on temporal properties. Formal property verification using model checker often suffers from the state space explosion problem when a large software design is considered. In this paper, we propose two new approaches to integrate assertions in the verification of embedded software using simulation-based verification. Firstly, we extended a SystemC hardware temporal checker with interfaces in order to monitor the embedded software variables and functions that are stored in a microprocessor memory model. Secondly, we derived a SystemC model from the original C program in order to integrate directly with the SystemC temporal checker. We performed a case study on an embedded software from automotive industry which is responsible for controlling read and write requests to a non-volatile memory. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1145/1403375.1403417 | Proceedings of the conference on Design, automation and test in Europe |
Keywords | Field | DocType |
embedded software,software verification,temporal logic,non volatile memory,software systems,embedded systems,automobile industry,nonvolatile memory,embedded system,automotive industry,hardware,model checker,memory model,temperature control,automotive engineering,software design,formal verification | Avionics software,Embedded software,Computer science,Software system,Real-time computing,SystemC,Software construction,Software verification and validation,Software development,Embedded system,Software verification | Conference |
ISSN | ISBN | Citations |
1530-1591 | 978-3-9810801-4-8 | 8 |
PageRank | References | Authors |
0.60 | 7 | 8 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Djones Lettnin | 1 | 39 | 7.68 |
| Pradeep K. Nalla | 2 | 16 | 1.82 |
| Jürgen Ruf | 3 | 122 | 23.04 |
| Thomas Kropf | 4 | 326 | 59.09 |
| Wolfgang Rosenstiel | 5 | 1462 | 212.32 |
| Tobias Kirsten | 6 | 8 | 0.60 |
| Volker Schönknecht | 7 | 15 | 1.11 |
| Stephan Reitemeyer | 8 | 15 | 1.11 |