Find me at research gate and google scholar. My ORCID is https://orcid.org/0000-0002-0179-1655.
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
@inbook{ratiu2021fasten,
title = {FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems},
author = {Daniel Ratiu and Arne Nordmann and Peter Munk and Carmen Carlan and Markus Völter},
doi = {10.1007/978-3-030-73758-0_5},
year = {2021},
date = {2021-04-01},
urldate = {2021-04-01},
publisher = {Springer},
abstract = {The increasing complexity of safety critical systems and the shorter time-to-market requires a high degree of automation during all development phases from requirements specification to design, implementation, verification and safety assurance. To make this feasible, we need to describe different system aspects using appropriate models that are semantically rich and, whenever possible, formally defined such that they are verifiable by automated methods. At the same time they must be easy to understand by practitioners and allow them to capture the domain concepts with minimal encoding bias. In this chapter, we describe FASTEN, an open source research environment for model-based specification and design of safety critical systems using domain specific languages. FASTEN enables the experimentation with modeling abstractions at different levels of rigor and their integration in today's development processes. We present an overview of the currently available domain specific languages (DSLs) used to formally specify requirements, system designs and assurance arguments. These DSLs have been developed and used in technology transfer projects by researchers from different organizations-Siemens, Bosch, for-tiss and itemis. Last but not least, we discuss lessons learned from implementing the languages and interacting with practitioners and discuss the language engineering features of MPS that enabled our approach and its open challenges.},
keywords = {automotive, fasten, jetbrains, MBSA, metamodel, MPS, safety},
pubstate = {published},
tppubtype = {inbook}
}
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
@incollection{kaleeswaran2020counterexample,
title = {Counterexample Interpretation for Contract-Based Design},
author = {Arut Prakash Kaleeswaran and Arne Nordmann and Thomas Vogel and Lars Grunske},
url = {https://doi.org/10.1007/978-3-030-58920-2_7},
doi = {10.1007/978-3-030-58920-2_7},
year = {2020},
date = {2020-01-01},
urldate = {2020-01-01},
booktitle = {Model-Based Safety and Assessment},
pages = {99--114},
publisher = {Springer International Publishing},
keywords = {automotive, contract-based design, counterexample, model checking, safety},
pubstate = {published},
tppubtype = {incollection}
}
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
@article{munk2020model,
title = {Model-Based Safety Assessment with SysML and Component Fault Trees: Application and Lessons Learned},
author = {Peter Munk and Arne Nordmann},
url = {https://doi.org/10.1007/s10270-020-00782-w},
doi = {10.1007/s10270-020-00782-w},
year = {2020},
date = {2020-01-01},
urldate = {2020-01-01},
journal = {Software and Systems Modeling},
volume = {19},
number = {4},
pages = {889--910},
publisher = {Springer Science and Business Media LLC},
keywords = {automotive, component fault trees, FMEA, FTA, lessons learned, MBSA, safety, SysML},
pubstate = {published},
tppubtype = {article}
}
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
@incollection{kaleeswaran2019domain,
title = {A Domain Specific Language to Support HAZOP Studies of SysML Models},
author = {Arut Prakash Kaleeswaran and Peter Munk and Samir Sarkic and Thomas Vogel and Arne Nordmann},
url = {https://doi.org/10.1007/978-3-030-32872-6_4},
doi = {10.1007/978-3-030-32872-6_4},
year = {2019},
date = {2019-01-01},
urldate = {2019-01-01},
booktitle = {Model-Based Safety and Assessment},
pages = {47--62},
publisher = {Springer International Publishing},
keywords = {automotive, DSL, HAZOP, MBSA, safety, SysML},
pubstate = {published},
tppubtype = {incollection}
}
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
@incollection{greiner2019compositionality,
title = {Compositionality of Component Fault Trees},
author = {Simon Greiner and Peter Munk and Arne Nordmann},
url = {https://doi.org/10.1007/978-3-030-32872-6_9},
doi = {10.1007/978-3-030-32872-6_9},
year = {2019},
date = {2019-01-01},
urldate = {2019-01-01},
booktitle = {Model-Based Safety and Assessment},
pages = {125--140},
publisher = {Springer International Publishing},
keywords = {automotive, component fault trees, FTA, MBSA, safety, security},
pubstate = {published},
tppubtype = {incollection}
}
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
@article{voelter2018using,
title = {Using Language Workbenches and Domain-Specific Languages for Safety-Critical Software Development},
author = {Markus Voelter and Bernd Kolb and Klaus Birken and Federico Tomassetti and Patrick Alff and Laurent Wiart and Andreas Wortmann and Arne Nordmann},
url = {https://doi.org/10.1007/s10270-018-0679-0},
doi = {10.1007/s10270-018-0679-0},
year = {2018},
date = {2018-01-01},
urldate = {2018-01-01},
journal = {Software & Systems Modeling},
volume = {18},
number = {4},
pages = {2507--2530},
publisher = {Springer Science and Business Media LLC},
keywords = {automotive, DSL, MPS, robotics, safety, verification},
pubstate = {published},
tppubtype = {article}
}
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
@inproceedings{nordmann2018lessons,
title = {Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees},
author = {Arne Nordmann and Peter Munk},
url = {https://doi.org/10.1145/3239372.3239373},
doi = {10.1145/3239372.3239373},
year = {2018},
date = {2018-01-01},
urldate = {2018-01-01},
booktitle = {Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems},
publisher = {ACM},
keywords = {automotive, component fault trees, FTA, lessons learned, MBSA, safety, SysML},
pubstate = {published},
tppubtype = {inproceedings}
}
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
@inproceedings{munk2018semi,
title = {Semi-Automatic Safety Analysis and Optimization},
author = {Peter Munk and Andreas Abele and Eike Thaden and Arne Nordmann and Rakshith Amarnath and Markus Schweizer and Simon Burton},
url = {https://doi.org/10.1145/3195970.3199857},
doi = {10.1145/3195970.3199857},
year = {2018},
date = {2018-01-01},
booktitle = {Proceedings of the 55th Annual Design Automation Conference},
publisher = {ACM},
keywords = {automotive, component fault trees, FMEA, FTA, MBSA, safety},
pubstate = {published},
tppubtype = {inproceedings}
}
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
@inproceedings{hofig2018model,
title = {Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees},
author = {Kai Hofig and Andreas Joanni and Marc Zeller and Francesco Montrone and Martin Rothfelder and Rakshith Amarnath and Peter Munk and Arne Nordmann},
url = {https://doi.org/10.1109/ram.2018.8463058},
doi = {10.1109/ram.2018.8463058},
year = {2018},
date = {2018-01-01},
urldate = {2018-01-01},
booktitle = {2018 Annual Reliability and Maintainability Symposium (RAMS)},
publisher = {IEEE},
keywords = {automotive, component fault trees, FTA, MBSA, safety},
pubstate = {published},
tppubtype = {inproceedings}
}
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
@inproceedings{amarnath2016dependability,
title = {Dependability Challenges in the Model-Driven Engineering of Automotive Systems},
author = {Rakshith Amarnath and Peter Munk and Eike Thaden and Arne Nordmann and Simon Burton},
url = {https://doi.org/10.1109/issrew.2016.15},
doi = {10.1109/issrew.2016.15},
year = {2016},
date = {2016-10-01},
urldate = {2016-10-01},
booktitle = {2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)},
publisher = {IEEE},
keywords = {automated driving, automotive, dependability, had, safety, security},
pubstate = {published},
tppubtype = {inproceedings}
}