A Model-Based Transformation from SCR Specification Models into Altatica3.0 Design Models

  • Jun Hu
  • Mingming WangEmail author
  • Weijun Zhang
  • Wanqian Li
Conference paper
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 474)


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.


Safety-critical system Four-variable model SCR AltaRica3.0 Wheel brake system 



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.


  1. 1.
    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)Google Scholar
  2. 2.
    Farkas, H., Noszticzius, Z.: Analytical investigation of a four-variable model of the BZ reaction. React. Kinet. Catal. Lett. 33(1), 93–98 (1987)CrossRefGoogle Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Patcas, L.M., Lawford, M., Maibaum, T.: Implementability of requirements in the four-variable model. Sci. Comput. Program. 111, 339–362 (2015)CrossRefGoogle Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Cassez, F., Pagetti, C., Roux, O.: A timed extension for AltaRica. Fundamenta Informaticae 62(3–4), 291–332 (2001)MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer Nature Singapore Pte Ltd. 2018

Authors and Affiliations

  • Jun Hu
    • 1
  • Mingming Wang
    • 1
    Email author
  • Weijun Zhang
    • 1
  • Wanqian Li
    • 1
  1. 1.College of Computer Science and TechnologyNanjing University of Aeronautics and AstronauticsNanjingChina

Personalised recommendations