Abstract
Socio-technical systems are characterized by the interplay of heterogeneous entities i.e., humans, organizations, and technologies. Application domains such as petroleum, e-health, and many others rely on solutions based on safety-critical socio-technical systems. To ensure a safe operation of these interacting heterogeneous entities, multifaceted and integrated modeling and analysis capabilities are needed. Currently, such capabilities are not at disposal. To contribute to the provision of such capabilities, in this paper we propose SafeConcert, a metamodel that offers constructs to model socio-technical entities and their safety-related properties. SafeConcert also represents a unified and harmonized language that supports the integrated application of qualitative as well as quantitative safety analyses techniques. To support our claims we briefly report about the evaluation that was conducted and documented in the context of the EU CONCERTO project.
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
Similar content being viewed by others
References
ARTEMIS-JU-100022 CHESS: Composition with Guarantees for High-Integrity Embedded Software Components Assembly. http://www.chess-project.org
ARTEMIS-JU-333053 CONCERTO: Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multicore Systems. http://www.concerto-project.org/
Gallina, B., Sefer, E., Refsdal, A.: Towards safety risk assessment of socio-technical systems via failure logic analysis. In: 2014 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 3–6 November 2014, pp. 287–292 (2014)
Wallace, M.: Modular architectural representation and analysis of fault propagation and transformation. Electron. Notes Theor. Comput. Sci. 141(3), 53–71 (2005)
PolarSys CHESS. https://www.polarsys.org/chess/. Accessed 01 June 2017
Society of Automotive Engineers: SAE Standards: AS5506/1, Architecture Analysis & Design Language (AADL) Annex Volume 1, June 2006
Bernardi, S., Merseguer, J., Petriu, D.C.: A dependability profile within MARTE. Softw. Syst. Model. 10(3), 313–336 (2011)
ATESST consortium: EAST-ADL2 UML2 Profile Specification, January 2008
Walker, G., Stanton, N., Salmon, P., Jenkins, D.: A Review of Sociotechnical Systems Theory: A Classic Concept for New Command and Control Paradigms, Human Factors Integration Defence Technology Centre, U.K. Ministry of Defence Scientific Research Programme, HFIDTC/2/WP1.1.1/2 (2007)
Montecchi, L., Lollini, P., Bondavalli, A.: A reusable modular toolchain for automated dependability evaluation. In: VALUETOOLS 2013, Torino, Italy, pp. 298–303, December 2013
Lisagor, O.: Failure logic modelling: a pragmatic approach. Ph.D. thesis, Department of Computer Science, University of York, March 2010
Rugina, A.-E., Kanoun, K., Kaâniche, M.: A system dependability modeling framework using AADL and GSPNs. In: Lemos, R., Gacek, C., Romanovsky, A. (eds.) WADS 2006. LNCS, vol. 4615, pp. 14–38. Springer, Heidelberg (2007). doi:10.1007/978-3-540-74035-3_2
Avižienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1, 11–33 (2004)
Grunske, L., Han, J.: A comparative study into architecture-based safety evaluation methodologies using AADL’s error annex and failure propagation models. In: 11th IEEE High Assurance Systems Engineering Symposium, Nanjing, China, pp. 283–292, 3–5 December 2008
Verhulst, E., de la Vara, J.L., Sputh, B.H., de Florio, V.: ARRL: a criterion for composable safety and systems engineering. In: SAFECOMP 2013 Workshops – SASSUR 2013 (2013)
ISO26262: Road vehicles – Functional safety. International Standard, November 2011
de C. Guerra, P.A., Rubira, C.M.F., Romanovsky, A., Lemos, R.: A fault-tolerant software architecture for COTS-based software systems. In: Proceedings of the 9th European Software Engineering Conference, pp. 375–378. ACM (2003)
Hendy, K.C.: A tool for Human Factors Accident Investigation, Classification and Risk Management. Defence R&D Canada, Toronto, DRDC Toronto TR 2002–057, March 2003
Montecchi, L., Lollini, P., Bondavalli, A.: Towards a MDE transformation workflow for dependability analysis. In: IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, USA, pp. 157–166 (2011)
Sljivo, I., Gallina, B., Carlson, J., Hansson, H., Puri, S.: A method to generate reusable safety case argument-fragments from compositional safety analysis. J. Syst. Softw. (2016). https://doi.org/10.1016/j.jss.2016.07.034. Special Issue on Software Reuse
Montecchi, L., Gallina, B.: Complete diagram of the SafeConcert metamodel. http://rcl.dsi.unifi.it/~leonardo/safeconcert.png. Accessed 01 June 2017
DO-331, Model-Based Development and Verification Supplement to DO-178C and DO-278A. RTCA, December 2011
CONCERTO Deliverable D2.7: Analysis and back-propagation of properties for multicore systems – Final Version, November 2015
CONCERTO Deliverable D5.6: Use Case Evaluations – Final Version, April 2016
CONCERTO Deliverable D3.3: Design and implementation of analysis methods for non-functional properties – Final version, November 2015
Gallina, B., Punnekkat, S.: FI4FA: a formalism for incompletion, inconsistency, interference and impermanence failures’ analysis. In: 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2011), pp. 493–500, 30 August–2 September 2011
Montecchi, L., Refsdal, A., Lollini, P., Bondavalli, A.: A model-based approach to support safety-related decisions in the petroleum domain. In: 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016), Toulouse, France, pp. 275–286, 28 June–1 July 2016
Bondavalli, A., Bouchenak, S., Kopetz, H. (eds.): Cyber-Physical Systems of Systems – Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy. LNCS, vol. 10099. (2016)
Ciardo, G., German, R., Lindemann, C.: A characterization of the stochastic process underlying a stochastic petri net. IEEE Trans. Softw. Eng. 20, 506–515 (1994)
Holden, R.J.: People or systems? To blame is human. The fix is to engineer. Prof. Saf. 54(12), 34–41 (2009)
Gallina, B., Javed, M.A., Ul Muram, F., Punnekkat, S.: Model-driven Dependability Analysis Method for Component-based Architectures. In: Proceedings of the Euromicro-SEAA Conference, Cesme, Izmir, Turkey, September 2012
Biggs, G., Sakamoto, T., Kotoku, T.: A profile and tool for modelling safety information with design information in SysML. Softw. Syst. Model. 15(1), 147–178 (2016)
Gallina, B., Dimov, A., Punnekkat, S.: Fuzzy-enabled failure behaviour analysis for dependability assessment of networked systems. In: IEEE International Workshop on Measurement and Networking (M&N), Anacapri, Italy, p. 6, August 2011
Acknowledgement
This work has been partially supported by the EU ARTEMIS project CONCERTO [2], and by the ECSEL Joint Undertaking project AMASS (No 692474).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Montecchi, L., Gallina, B. (2017). SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems. In: Bozzano, M., Papadopoulos, Y. (eds) Model-Based Safety and Assessment. IMBSA 2017. Lecture Notes in Computer Science(), vol 10437. Springer, Cham. https://doi.org/10.1007/978-3-319-64119-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-64119-5_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-64118-8
Online ISBN: 978-3-319-64119-5
eBook Packages: Computer ScienceComputer Science (R0)