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}
}
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}
}
2017
Wigand, Dennis Leroy; Nordmann, Arne; Goerlich, Michael; Wrede, Sebastian
Modularization of Domain-Specific Languages for Extensible Component-Based Robotic Systems Proceedings Article
In: 2017 First IEEE International Conference on Robotic Computing (IRC), IEEE, 2017.
Links | BibTeX | Schlagwörter: component-based, control, DSL, MPS, robotics
@inproceedings{wigand2017modularization,
title = {Modularization of Domain-Specific Languages for Extensible Component-Based Robotic Systems},
author = {Dennis Leroy Wigand and Arne Nordmann and Michael Goerlich and Sebastian Wrede},
url = {https://doi.org/10.1109/irc.2017.34},
doi = {10.1109/irc.2017.34},
year = {2017},
date = {2017-01-01},
urldate = {2017-01-01},
booktitle = {2017 First IEEE International Conference on Robotic Computing (IRC)},
publisher = {IEEE},
keywords = {component-based, control, DSL, MPS, robotics},
pubstate = {published},
tppubtype = {inproceedings}
}
Wigand, D L; Nordmann, A; Dehio, N; Mistry, M; Wrede, S
Domain-Specific Language Modularization Scheme Applied to a Multi-Arm Robotics Use-Case Journal Article
In: Journal of Software Engineering for Robotics, vol. 8, pp. 45–64, 2017.
Links | BibTeX | Schlagwörter: control, DSL, language modularization, MPS, robotics
@article{wigand2017domain,
title = {Domain-Specific Language Modularization Scheme Applied to a Multi-Arm Robotics Use-Case},
author = {D L Wigand and A Nordmann and N Dehio and M Mistry and S Wrede},
url = {http://nbn-resolving.de/urn:nbn:de:0070-pub-29145537},
year = {2017},
date = {2017-01-01},
urldate = {2017-01-01},
journal = {Journal of Software Engineering for Robotics},
volume = {8},
pages = {45--64},
keywords = {control, DSL, language modularization, MPS, robotics},
pubstate = {published},
tppubtype = {article}
}
2016
Nordmann, Arne
Modeling of Motion Primitive Architectures using Domain-Specific Languages PhD Thesis
Bielefeld University, 2016.
Links | BibTeX | Schlagwörter: control, DSL, language modularization, motion, motion primitives, MPS, robotics
@phdthesis{nordmann2016modeling,
title = {Modeling of Motion Primitive Architectures using Domain-Specific Languages},
author = {Arne Nordmann},
url = {http://nbn-resolving.de/urn:nbn:de:hbz:361-29061482},
year = {2016},
date = {2016-01-01},
urldate = {2016-01-01},
school = {Bielefeld University},
keywords = {control, DSL, language modularization, motion, motion primitives, MPS, robotics},
pubstate = {published},
tppubtype = {phdthesis}
}
2013
Nordmann, Arne; Wrede, Sebastian
A Domain-Specific Language for Rich Motor Skill Architectures Journal Article
In: CoRR, vol. abs/1302.6436, 2013.
Links | BibTeX | Schlagwörter: control, DSL, motion, motion primitives, MPS, robotics
@article{nordmann2013rich,
title = {A Domain-Specific Language for Rich Motor Skill Architectures},
author = {Arne Nordmann and Sebastian Wrede},
url = {http://arxiv.org/abs/1302.6436},
year = {2013},
date = {2013-01-01},
urldate = {2013-01-01},
journal = {CoRR},
volume = {abs/1302.6436},
keywords = {control, DSL, motion, motion primitives, MPS, robotics},
pubstate = {published},
tppubtype = {article}
}