Abstract
Shows how state space generation can be used in validation of embedded system software. The authors concentrate on practical aspects. They discuss the suitable application areas and the performance problem of state space generation. Advances in efficient state space generation make it possible to analyse meaningful systems and system parts. They discuss how concurrency oriented errors are detected by state space generation. Next they discuss their approach to writing state space generation analysis models and validating embedded system software.
| Original language | English |
|---|---|
| Title of host publication | Second International Conference on Software Engineering for Real Time Systems, 1989 |
| Place of Publication | London |
| Publisher | Institution of Engineering and Technology IET |
| Pages | 278-282 |
| Publication status | Published - 1989 |
| MoE publication type | B3 Non-refereed article in conference proceedings |
| Event | 2nd International Conference on Software Engineering for Real Time Systems - Cirencester, United Kingdom Duration: 18 Sept 1989 → 20 Sept 1989 |
Conference
| Conference | 2nd International Conference on Software Engineering for Real Time Systems |
|---|---|
| Country/Territory | United Kingdom |
| City | Cirencester |
| Period | 18/09/89 → 20/09/89 |