Abstract
In the safety critical field, Model-based system safety analysis and verification has become an important methodology. In this paper, by using SCR specification of four variables model, and translate this specification into AltaRica3.0 model. We studied the relationship between the semantic of four-variable model and AltaRica3.0 model, and put forward transformation rules. Finally, we give a case study of a wheel brake system (WBS) to show the process of transformation and validation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Miller, S.P., Tribble, A.C.: Extending the four-variable model to bridge the system-software gap. In: Digital Avionics Systems DASC Conference, vol. 1, pp. 4E5/1–4E5/11 (2001)
Farkas, H., Noszticzius, Z.: Analytical investigation of a four-variable model of the BZ reaction. React. Kinet. Catal. Lett. 33(1), 93–98 (1987)
Patcas, L.M., Lawford, M., Maibaum, T.: From system requirements to software requirements in the four-variable model. In: Automated Verification of Critical Systems, vol. 66 (2014)
Patcas, L.M., Lawford, M., Maibaum, T.: Implementability of requirements in the four-variable model. Sci. Comput. Program. 111, 339–362 (2015)
Batteux, M., Prosvirnova, T., Rauzy, A., et al.: The AltaRica 3.0 project for model-based safety assessment. In: Proceedings of the 2013 11th IEEE International Conference on Industrial Informatics (INDIN) (2013)
Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Automated consistency checking of requirements specifications. In: Proceedings of the ACM Transactions on Software Engineering and Methodology (1996)
Joshi, A., Miller, S.P., Whalen, M., et al.: A proposal for model-based safety analysis. In: The 24th Proceedings of the Digital Avionics Systems Conference, DASC 2005 (2005)
Cassez, F., Pagetti, C., Roux, O.: A timed extension for AltaRica. Fundamenta Informaticae 62(3–4), 291–332 (2001)
Acknowledgments
This work is Supported by: The National Basic Research Program of China (973 Program) (2014CB744903); Funding of Jiangsu Innovation Program for Graduate Education (SJZZ16_0062), the Fundamental Research Funds for the Central Universities.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Hu, J., Wang, M., Zhang, W., Li, W. (2018). A Model-Based Transformation from SCR Specification Models into Altatica3.0 Design Models. In: Park, J., Loia, V., Yi, G., Sung, Y. (eds) Advances in Computer Science and Ubiquitous Computing. CUTE CSA 2017 2017. Lecture Notes in Electrical Engineering, vol 474. Springer, Singapore. https://doi.org/10.1007/978-981-10-7605-3_101
Download citation
DOI: https://doi.org/10.1007/978-981-10-7605-3_101
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-7604-6
Online ISBN: 978-981-10-7605-3
eBook Packages: EngineeringEngineering (R0)