Please use this identifier to cite or link to this item: https://doi.org/10.1109/SSIRI-C.2010.29
Title: Formal analysis for stateflow diagrams
Authors: Chen, C. 
Keywords: Formal methods
Model checking
Stateflow
Issue Date: 2010
Source: Chen, C. (2010). Formal analysis for stateflow diagrams. SSIRI-C 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion : 102-109. ScholarBank@NUS Repository. https://doi.org/10.1109/SSIRI-C.2010.29
Abstract: Stateflow has been widely used in industry to specify and simulate control systems. Unfortunately, the lack of formal descriptions of Stateflow and its limited verification capability become an obstacle to handle complex systems working in safety-critical environment. In this paper, we apply a novel model checker named PAT to improve the reliability of Stateflow. We rigorously model the execution semantics of Stateflow in PAT's expressive specification language. PAT's simulation ability provides a means to validate our formal definitions of Stateflow. During the formalization procedure, we have discovered and corrected subtle flaws of Stateflow. Based on the PAT models of Stateflow, we can use PAT's automatic reasoning power to verify complex systems against important requirements such as safety and liveness requirements. © 2010 IEEE.
Source Title: SSIRI-C 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion
URI: http://scholarbank.nus.edu.sg/handle/10635/42190
ISBN: 9780769540870
DOI: 10.1109/SSIRI-C.2010.29
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

6
checked on Dec 13, 2017

Page view(s)

36
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.