Please use this identifier to cite or link to this item:
|Title:||Formal analysis for stateflow diagrams|
|Citation:||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|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Dec 17, 2018
checked on Dec 15, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.