DocumentCode
273994
Title
Embedded software validation through state space generation
Author
Valmari, A.A. ; Jokela, T.M.
Author_Institution
Tech. Res. Centre of Finland, Helsinki, Finland
fYear
1989
fDate
18-20 Sep 1989
Firstpage
278
Lastpage
282
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
Keywords
program verification; real-time systems; state-space methods; banned actions; concurrency oriented errors; embedded system software; partial correctness violations; state space generation; state space generation analysis models;
fLanguage
English
Publisher
iet
Conference_Titel
Software Engineering for Real Time Systems, 1989., Second International Conference on
Conference_Location
Cirencester
Type
conf
Filename
51767
Link To Document