The Assurance Recipe: Facilitating Assurance Patterns
As assurance cases have grown in popularity for safety-critical systems, so too has their complexity and thus the need for methods to systematically build them. Assurance cases can grow too large and too abstract for anyone but the original builders to understand, making reuse difficult. Reuse is important because different systems might have identical or similar components, and a good solution for one system should be applicable to similar systems. Prior research has shown engineers can alleviate some of the complexity issues through modularity and identifying common patterns which are more easily understood for reuse across different systems. However, we believe these patterns are too complicated for users who lack expertise in software engineering or assurance cases. This paper suggests the concept of lower-level patterns which we call recipes. We use the safety-critical field of synthetic biology, as an example discipline to demonstrate how a recipe can be built and applied.
KeywordsAssurance case Assurance pattern Synthetic biology iGEM
This work was supported in part by the National Institute of Justice grant 2016-R2-CX-0023 and the National Science Foundation Grant CCF-1745775.
- 1.Cohen, M.B., Firestone, J., Pierobon, M.: The assurance timeline: building assurance cases for synthetic biology. In: Skavhaug, A., Guiochet, J., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2016. LNCS, vol. 9923, pp. 75–86. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-45480-1_7CrossRefGoogle Scholar
- 2.Conmy, P., Bate, I.: Assuring safety for component based software engineering. In: 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE), pp. 121–128. IEEE (2014)Google Scholar
- 3.Denney, E.W., Pai, G.J.: Safety case patterns: theory and applications (2015)Google Scholar
- 4.Hawkins, R., Kelly, T.: A Software Safety Argument Pattern Catalogue. The University of York, York (2013)Google Scholar
- 6.Kelly, T., Weaver, R.: The goal structuring notation-a safety argument notation. In: Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases, p. 6. Citeseer (2004)Google Scholar
- 10.Szczygielska, M., Jarzębowicz, A.: Assurance case patterns on-line catalogue. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) DepCoS-RELCOMEX 2017. AISC, vol. 582, pp. 407–417. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-59415-6_39CrossRefGoogle Scholar