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
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;
Conference_Titel :
Industrial Informatics, 2006 IEEE International Conference on
Conference_Location :
Singapore
Print_ISBN :
0-7803-9700-2
Electronic_ISBN :
0-7803-9701-0
DOI :
10.1109/INDIN.2006.275721
