Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Checking consistency of real-time requirements on distributed automotive control software early in the development process using UPPAAL

: Toennemann, Jan; Rausch, Andreas; Howar, Falk; Cool, Benjamin


Howar, Falk; Barnat, Jiri:
Formal Methods for Industrial Critical Systems. 23rd International Conference, FMICS 2018 : Maynooth, Ireland, September 3-4, 2018, Proceedings
Cham: Springer International Publishing, 2018 (Lecture Notes in Computer Science 11119)
ISBN: 978-3-030-00243-5 (Print)
ISBN: 978-3-030-00244-2 (Online)
ISBN: 978-3-030-00245-9
International Conference on Formal Methods for Industrial Critical Systems (FMICS) <23, 2018, Maynooth>
International Conference on integrated Formal Methods (iFM) <14, 2018, Maynooth>
Fraunhofer ISST ()

The next generation of automotive control software will run on complex networks of control units, connected by a multitude of different bus systems. With a rising number of safety-critical functions being realized (at least partly) in software, real-time requirements for distributed functions become more important (e.g., time until a system reacts to a perceived driving situation). Defining and refining such requirements consistently during system development is not trivial. Inconsistencies or unrealizability can easily be introduced when decomposing requirements (e.g., time budgets) for functions that run on multiple control units. The automotive industry is actively pursuing methods for finding such problems as early as possible in the system design. In this paper, we present some initial work on the automated verification of requirements on distributed control functions that are deployed to networks of automotive control units. The presented analysis provides insight s into the consistency of requirements and relies only on information available at the end of the planning stage in the development process.