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

Show all

2020

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

Counterexample Interpretation for Contract-Based Đesign Incollection

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 Ŧrees: Application and Lessons Learned Journal Article

Software and Systems Modeling, 19 (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 Đomain Specific Language to Support HAZOP Studies of SysML Models Incollection

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 Ŧrees Incollection

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 Đomain-Specific Languages for Safety-Critical Software Đevelopment Journal Article

Software & Systems Modeling, 18 (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 Ŧrees Inproceedings

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 Inproceedings

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 Ŧrees Inproceedings

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

Đependability Challenges in the Model-Đriven Engineering of Automotive Systems Inproceedings

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

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