Matthias Güdemann, Frank Ortmeier, Wolfgang Reif: Developing Safety-critical Mechatronical Systems. In: Gausemeier, Jürgen; Rammig, Franz; Schäfer, Wilhelm (Hrsg.): Self-optimizing Mechatronic Systems: Design the Future, 223 , HNI-Verlagsschriftenreihe, 2008.

Abstract

Developing high-assurance systems is always a challenging task. This is in par-ticular true for safety-critical mechatronical systems. For these systems it is not only necessary to develop efficient software, which must often run on processors with limited resources but also to take carefully into account what environment is to be controlled and how this environment can be monitored. Esterel Technologies SCADE Suite is a state-of-the-art development tool for safety-critical software. It is widely used in avionics and space applications. In this paper we show, how a model driven approach for software development can be used for mechatronical systems and what benefits can be achieved compared to traditional development processes. We illustrate the process on a real world case study: the height control system of the Elbe-Tunnel in Hamburg.

BibTeX (Download)

@incollection{hni-safety-in-mechatronical-system08,
title = {Developing Safety-critical Mechatronical Systems},
author = {Matthias G\"{u}demann and Frank Ortmeier and Wolfgang Reif},
editor = {J\"{u}rgen Gausemeier and Franz Rammig and Wilhelm Sch\"{a}fer},
url = {https://www.researchgate.net/profile/Frank_Ortmeier/publication/200505965_Developing_Safety-critical_Mechatronical_Systems/links/00b7d5224a7f3677a0000000/Developing-Safety-critical-Mechatronical-Systems.pdf},
year  = {2008},
date = {2008-01-01},
booktitle = {Self-optimizing Mechatronic Systems: Design the Future},
volume = {223},
publisher = {HNI-Verlagsschriftenreihe},
abstract = {Developing high-assurance systems is always a challenging task. This is in par-ticular true for safety-critical mechatronical systems. For these systems it is not only necessary to develop efficient software, which must often run on processors with limited resources but also to take carefully into account what environment is to be controlled and how this environment can be monitored. Esterel Technologies SCADE Suite is a state-of-the-art development tool for safety-critical software. It is widely used in avionics and space applications. In this paper we show, how a model driven approach for software development can be used for mechatronical systems and what benefits can be achieved compared to traditional development processes. We illustrate the process on a real world case study: the height control system of the Elbe-Tunnel in Hamburg.},
keywords = {},
pubstate = {published},
tppubtype = {incollection}
}