Towards Cloud-Based Enactment of Safety-Related Processes

  • Sami AlajramiEmail author
  • Barbara Gallina
  • Irfan Sljivo
  • Alexander Romanovsky
  • Petter Isberg
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9922)


Engineering safety-critical systems is a complex task which involves multiple stakeholders. It requires shared and scalable computation to systematically involve geographically distributed teams. The paper proposes a model-driven cloud-based enactment architecture automating safety-critical processes. This work adapts our previous work on cloud-based software engineering by enriching the architecture with an automatic support for generation of both, product-based safety arguments from failure logic analysis results and process-based arguments from the process model and the enactment data. The approach is demonstrated using a fragment of a process adapted from the aerospace domain.


Safety process enactment Argumentation Cloud computing 


  1. 1.
    ARP4761: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment. (1996)Google Scholar
  2. 2.
    ARP4754A: Guidelines for Development of Civil Aircraft and Systems. SAE International (2010)Google Scholar
  3. 3.
    GSN: Community Standard Version 1. Origin Consulting (York) Limited (2011)Google Scholar
  4. 4.
    Alajrami, S., Gallina, B., Romanovsky, A.: Enabling global software development via cloud-based software process enactment. Tech. Rep. TR-1494, Newcastle University, School of Computing Science (03 2016)Google Scholar
  5. 5.
    Alajrami, S., Gallina, B., Romanovsky, A.: Exe-spem: Towards cloud-based executable software process models. In: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development (2016)Google Scholar
  6. 6.
    Armengaud, E.: Automated Safety Case Compilation for Product-based Argumentation. In: Embedded Real Time Software and Systems (2014)Google Scholar
  7. 7.
    Denney, E., Pai, G.J.: Automating the Assembly of Aviation Safety Cases. IEEE Transactions on Reliability 63(4), 830–849 (2014)CrossRefGoogle Scholar
  8. 8.
    Gallina, B.: A Model-driven Safety Certification Method for Process Compliance. In: 2nd International Workshop on Assurance Cases for Software-intensive Systems. pp. 204–209. IEEE (2014)Google Scholar
  9. 9.
    Górski, J., Jarzebowicz, A., Miler, J., Witkowicz, M., Czyznikiewicz, J., Jar, P.: Supporting Assurance by Evidence-Based Argument Services. In: 1st Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems. LNCS, vol. 7613, pp. 417–426. Springer (2012)Google Scholar
  10. 10.
    Hawkins, R., Habli, I., Kelly, T.P.: The Need for a Weaving Model in Assurance Case Automation. Ada User Journal 36(3), 187–191 (2015)Google Scholar
  11. 11.
    Hawkins, R., Habli, I., Kolovos, D., Paige, R., Kelly, T.P.: Weaving an Assurance Case from Design: A Model-Based Approach. In: 16th International Symposium on High Assurance Systems Engineering. pp. 110–117. IEEE (Jan 2015)Google Scholar
  12. 12.
    Holloway, C.M.: Safety case notations: Alternatives for the non-graphically inclined? In: 3rd IET International Conference on System Safety. pp. 1–6 (2008)Google Scholar
  13. 13.
    Holloway, C.M.: Explicate ’78: Uncovering the implicit assurance case in do-178c. Tech. Repp. 20150009473, NASA Langley Research Center (2015)Google Scholar
  14. 14.
    Leveson, N.: White paper on the use of safety cases in certification and regulation. Technical report. MIT (May 2012)Google Scholar
  15. 15.
    (OMG), O.M.G.: SACM: Structured Assurance Case Metamodel (2013)Google Scholar
  16. 16.
    Rushby, J.: New challenges in certification for aircraft software. In: 9th ACM International Conference on Embedded Software. pp. 211–218. EMSOFT (2011)Google Scholar
  17. 17.
    Sljivo, I., Gallina, B., Carlson, J., Hansson, H., Puri, S.: A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. In: 14th International Conference on Software Reuse. pp. 253–268. LNCS, Springer (2015)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Sami Alajrami
    • 1
    Email author
  • Barbara Gallina
    • 2
  • Irfan Sljivo
    • 2
  • Alexander Romanovsky
    • 1
  • Petter Isberg
    • 2
  1. 1.Newcastle UniversityNewcastle upon TyneUK
  2. 2.Mälardalen UniversityVästeråsSweden

Personalised recommendations