Find me at research gate and google scholar. My ORCID is https://orcid.org/0000-0002-0179-1655.

Show all

2021

Ratiu, Daniel; Nordmann, Arne; Munk, Peter; Carlan, Carmen; Völter, Markus

FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems Book Chapter

In: Springer, 2021.

Abstract | Links | BibTeX | Schlagwörter: automotive, fasten, jetbrains, MBSA, metamodel, MPS, safety

2020

Kaleeswaran, Arut Prakash; Nordmann, Arne; Vogel, Thomas; Grunske, Lars

Counterexample Interpretation for Contract-Based Design Book Section

In: Model-Based Safety and Assessment, pp. 99–114, Springer International Publishing, 2020.

Links | BibTeX | Schlagwörter: automotive, contract-based design, counterexample, model checking, safety

Munk, Peter; Nordmann, Arne

Model-Based Safety Assessment with SysML and Component Fault Trees: Application and Lessons Learned Journal Article

In: Software and Systems Modeling, vol. 19, no. 4, pp. 889–910, 2020.

Links | BibTeX | Schlagwörter: automotive, component fault trees, FMEA, FTA, lessons learned, MBSA, safety, SysML

2019

Kaleeswaran, Arut Prakash; Munk, Peter; Sarkic, Samir; Vogel, Thomas; Nordmann, Arne

A Domain Specific Language to Support HAZOP Studies of SysML Models Book Section

In: Model-Based Safety and Assessment, pp. 47–62, Springer International Publishing, 2019.

Links | BibTeX | Schlagwörter: automotive, DSL, HAZOP, MBSA, safety, SysML

Greiner, Simon; Munk, Peter; Nordmann, Arne

Compositionality of Component Fault Trees Book Section

In: Model-Based Safety and Assessment, pp. 125–140, Springer International Publishing, 2019.

Links | BibTeX | Schlagwörter: automotive, component fault trees, FTA, MBSA, safety, security

2018

Voelter, Markus; Kolb, Bernd; Birken, Klaus; Tomassetti, Federico; Alff, Patrick; Wiart, Laurent; Wortmann, Andreas; Nordmann, Arne

Using Language Workbenches and Domain-Specific Languages for Safety-Critical Software Development Journal Article

In: Software & Systems Modeling, vol. 18, no. 4, pp. 2507–2530, 2018.

Links | BibTeX | Schlagwörter: automotive, DSL, MPS, robotics, safety, verification

Nordmann, Arne; Munk, Peter

Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees Proceedings Article

In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, ACM, 2018.

Links | BibTeX | Schlagwörter: automotive, component fault trees, FTA, lessons learned, MBSA, safety, SysML

Munk, Peter; Abele, Andreas; Thaden, Eike; Nordmann, Arne; Amarnath, Rakshith; Schweizer, Markus; Burton, Simon

Semi-Automatic Safety Analysis and Optimization Proceedings Article

In: Proceedings of the 55th Annual Design Automation Conference, ACM, 2018.

Links | BibTeX | Schlagwörter: automotive, component fault trees, FMEA, FTA, MBSA, safety

Hofig, Kai; Joanni, Andreas; Zeller, Marc; Montrone, Francesco; Rothfelder, Martin; Amarnath, Rakshith; Munk, Peter; Nordmann, Arne

Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees Proceedings Article

In: 2018 Annual Reliability and Maintainability Symposium (RAMS), IEEE, 2018.

Links | BibTeX | Schlagwörter: automotive, component fault trees, FTA, MBSA, safety

2016

Amarnath, Rakshith; Munk, Peter; Thaden, Eike; Nordmann, Arne; Burton, Simon

Dependability Challenges in the Model-Driven Engineering of Automotive Systems Proceedings Article

In: 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), IEEE, 2016.

Links | BibTeX | Schlagwörter: automated driving, automotive, dependability, had, safety, security