DocumentCode
3110887
Title
On Reachable State Space Reduction for Formal Validation of Scan-based Systems
Author
Lobov, Andrei ; Popescu, Corina ; Lastra, José L Martinez
Author_Institution
Inst. of Production Eng., Tampere Univ. of Technol., Tampere
fYear
2006
fDate
16-18 Aug. 2006
Firstpage
79
Lastpage
84
Abstract
In search for optimal validation techniques, researchers try to simplify the modeling and analysis processes. Generally, the simplification is based on compact and focused problem representation, where the information may be abstracted according to the set of predefined constrains. This paper discusses the application of state space reduction to formal models of a scan-based system and in particular to programmable logic controller (PLC).
Keywords
formal verification; programmable controllers; reachability analysis; formal validation; programmable logic controller; reachable state space reduction; scan-based systems; Aerospace industry; Computational modeling; Digital circuits; Humans; Production engineering; Programmable control; Protocols; Region 3; Space technology; State-space methods;
fLanguage
English
Publisher
ieee
Conference_Titel
Industrial Informatics, 2006 IEEE International Conference on
Conference_Location
Singapore
Print_ISBN
0-7803-9700-2
Electronic_ISBN
0-7803-9701-0
Type
conf
DOI
10.1109/INDIN.2006.275721
Filename
4053366
Link To Document