Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
ARP4761: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment. (1996)
ARP4754A: Guidelines for Development of Civil Aircraft and Systems. SAE International (2010)
GSN: Community Standard Version 1. Origin Consulting (York) Limited (2011)
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)
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)
Armengaud, E.: Automated Safety Case Compilation for Product-based Argumentation. In: Embedded Real Time Software and Systems (2014)
Denney, E., Pai, G.J.: Automating the Assembly of Aviation Safety Cases. IEEE Transactions on Reliability 63(4), 830–849 (2014)
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)
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)
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)
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)
Holloway, C.M.: Safety case notations: Alternatives for the non-graphically inclined? In: 3rd IET International Conference on System Safety. pp. 1–6 (2008)
Holloway, C.M.: Explicate ’78: Uncovering the implicit assurance case in do-178c. Tech. Repp. 20150009473, NASA Langley Research Center (2015)
Leveson, N.: White paper on the use of safety cases in certification and regulation. Technical report. MIT (May 2012)
(OMG), O.M.G.: SACM: Structured Assurance Case Metamodel (2013)
Rushby, J.: New challenges in certification for aircraft software. In: 9th ACM International Conference on Embedded Software. pp. 211–218. EMSOFT (2011)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Alajrami, S., Gallina, B., Sljivo, I., Romanovsky, A., Isberg, P. (2016). Towards Cloud-Based Enactment of Safety-Related Processes. In: Skavhaug, A., Guiochet, J., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2016. Lecture Notes in Computer Science(), vol 9922. Springer, Cham. https://doi.org/10.1007/978-3-319-45477-1_24
Download citation
DOI: https://doi.org/10.1007/978-3-319-45477-1_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-45476-4
Online ISBN: 978-3-319-45477-1
eBook Packages: Computer ScienceComputer Science (R0)