A Toolchain for Synthesizing and Validating Safety Architectures-Reference-Cited by-同舟云学术

A Toolchain for Synthesizing and Validating Safety Architectures

Published:2023-04-15 Issue:4 Volume:4 Page:
ISSN:2661-8907
Container-title:SN Computer Science
language:en
Short-container-title:SN COMPUT. SCI.

Author:

Gil Dantas Yuri^ORCID,Munaro Tiziano,Carlan Carmen,Nigam Vivek,Barner Simon,Fan Shiqing,Pretschner Alexander,Schöpp Ulrich,Tverdyshev Sergey

Funder

Huawei Technologies

Publisher

Springer Science and Business Media LLC

Subject

Computer Science Applications,Computer Networks and Communications,Computer Graphics and Computer-Aided Design,Computational Theory and Mathematics,Artificial Intelligence,General Computer Science

Link

https://link.springer.com/content/pdf/10.1007/s42979-023-01712-5.pdf

Reference56 articles.

1. Armoush, A. Design patterns for safety-critical embedded systems. PhD thesis, RWTH Aachen University (2010)

2. Preschern C, Kajtazovic N, Kreiner C. Building a safety architecture pattern system. In: van Heesch U, Kohls C (eds) Proceedings of the 18th European Conference on Pattern Languages of Program, EuroPLoP 2013, Irsee, Germany, July 10-14, 2013, pp. 17–11755. ACM, New York (2013). https://doi.org/10.1145/2739011.2739028.

3. Dantas YG Munaro T, Cârlan C, Nigam V, Barner S, Fan S, Pretschner A, Schöpp U, Tverdyshev S. A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. In: Pires LF, Hammoudi S, Seidewitz E (eds) Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2022, Online Streaming, February 6-8, 2022, pp. 36–47. SCITEPRESS, Portugal (2022). https://doi.org/10.5220/0010831700003119.

4. fortiss GmbH: AutoFOCUS 2.21. Available at https://af3.fortiss.org/. https://af3.fortiss.org/. Accessed 10 June 2022.

5. Eclipse Foundation: Eclipse Modeling Framework (EMF). Available at https://www.eclipse.org/modeling/emf/. https://www.eclipse.org/modeling/emf/. Accessed 10 June 2022.