SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems-Reference-Cited by-同舟云学术

SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems

Published:2017 Issue: Volume: Page:129-144
ISSN:0302-9743
Container-title:Model-Based Safety and Assessment
language:
Short-container-title:

Author:

Montecchi Leonardo,Gallina Barbara

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-64119-5_9

Reference33 articles.

1. ARTEMIS-JU-100022 CHESS: Composition with Guarantees for High-Integrity Embedded Software Components Assembly. http://www.chess-project.org

2. ARTEMIS-JU-333053 CONCERTO: Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multicore Systems. http://www.concerto-project.org/

3. 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)

4. Wallace, M.: Modular architectural representation and analysis of fault propagation and transformation. Electron. Notes Theor. Comput. Sci. 141(3), 53–71 (2005)

5. PolarSys CHESS. https://www.polarsys.org/chess/ . Accessed 01 June 2017

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Assessing risk of AR and organizational changes factors in socio-technical robotic manufacturing;Robotics and Computer-Integrated Manufacturing;2024-08

2. Reliability analysis of multi-parameter monitoring systems for Intensive Care Units;Reliability Engineering & System Safety;2022-10

3. Multiconcern, Dependability-Centered Assurance Via a Qualitative and Quantitative Coanalysis;IEEE Software;2022-07

4. Modeling the Variability of System Safety Analysis Using State-Machine Diagrams;Model-Based Safety and Assessment;2022

5. Engineering Dynamic Risk and Capability Models to Improve Cooperation Efficiency Between Human Workers and Autonomous Mobile Robots in Shared Spaces;Model-Based Safety and Assessment;2022