Translate the Stateflow Models into Alloy for Safety Analysis

Chang Chang Cui; Guo Qi Li

doi:10.4028/www.scientific.net/AMM.490-491.1702

Paper Titles

The Automatic Measurement of Complex Surface Based on ZOO-Type CMM
p.1682

A Calibration Method for Binocular Vision System Based on CPSO-BP Netural Network
p.1686

Research and Application of Adaptative Weighted p-Norm LS-SVM
p.1692

Application of Marginal Spectrum in Active Lamb Wave Damage Monitoring of Plate Structure
p.1698

Translate the Stateflow Models into Alloy for Safety Analysis
p.1702

The Settlement Computation of Composite Foundation of Different Typed-Pile Based on the Load Test
p.1706

Application Seismoelectric Method for Inspection Electrically Conducting Media
p.1712

Oil Supply Characteristic Test and Application of Fuel Injection Pump for Diesel Engine
p.1717

Parameter Identification and Attitude Control of Ducted Fan UAVs
p.1721

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 490-491Translate the Stateflow Models into Alloy for...

Translate the Stateflow Models into Alloy for Safety Analysis

Abstract:

Safety analysis is widely appreciated for critical systems. Model-based safety analysis is emerged under the background of mode-based development. For automated model-based safety analysis, extended models should be translated into script of input of formal analyzer. Consequently, many translation systems are constructed. In this paper, we explore the translating method between Stateflow models and Alloy, which is a declarative specification language for expressing complex structural constraints and behavior in a software system. Concrete translation systems could be built based on the method.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 490-491)

Pages:

1702-1705

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.490-491.1702

Citation:

Cite this paper

Online since:

January 2014

Authors:

Chang Chang Cui*, Guo Qi Li

Keywords:

Alloy Analyzer, Model Checking, Safety Analysis, Stateflow

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] M. Bozzano and A. Villafiorita, Editor, Design and Safety Assessment of Critical Systems, Auerbach Publications . (2010).

Google Scholar

[2] Warrendale. Certification Considerations for Highly-Integrated or Complex Aircraft Systems. Technical Report ARP4754, PA: Society of Automotive Engineers. (1996).

Google Scholar

[3] A. Joshi, M. Whalen and M. P. Heimdahl, Model-Based Safety Analysis Final Report. NASA Techreport. (2005).

Google Scholar

[4] M. Bozzano, C. Jochim and F. Tapparo. The FSAP/NuSMV-SA Safety Analysis Platform. Software Tools for Technology Transfer. 9 (2007).

DOI: 10.1007/s10009-006-0001-2

Google Scholar

[5] J. Sun, Y. Liu, A. Roychoudhury, S. Liu and J. S. Dong. Fair Model Checking with Process Counter Abstraction. in Proceedings of the 2nd World Congress on Formal Methods. (2009).

DOI: 10.1007/978-3-642-05089-3_9

Google Scholar

[6] Masaya Kadono, Tatsuhiro Tsuchiya and Tohru Kikuno: Using the NuSMV Model Checker for Test Generation from Statecharts.

DOI: 10.1109/prdc.2009.15

Google Scholar

[7] Meenakshi B, Abhishek Bhatnagar, and Sudeepa Roy: Tools for Translating Simulink Models into Input Language of a Model Checker.

Google Scholar

[8] Daniel Jackson: Micromodels of Software: Lightweight Modelling and Analysis with Alloy. Alloy2Tutorial, (2002).

Google Scholar