DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Contract-Based Specification of Mode-Dependent Timing Behavior

Kröger, Janis and Koopmann, Björn and Stierand, Ingo and Fränzle, Martin (2023) Contract-Based Specification of Mode-Dependent Timing Behavior. Innovations in Systems and Software Engineering. Springer Nature. doi: 10.1007/s11334-023-00531-4. ISSN 1614-5046.

[img] PDF - Published version


The design of safety-critical systems calls for rigorous application of specification and verification methods. In this context, a comprehensive consideration of safety aspects, which inevitably include timing properties, requires explicit addressing of operating modes and their transitions in the system model as well as in the respective specifications. As a side effect, this helps to reduce verification complexity. This paper presents an extension of a framework for the specification of timing properties following the contract-based design paradigm. It provides enhancements of the underlying specification language, which enables specifying modes, mode transitions, and mode-dependent behavior. A formal semantics is given in order to enable reasoning about such specifications as well as about contract operations like refinement and composition, thus enabling to make statements about mode composition. The results are discussed using a real-world example.

Item URL in elib:https://elib.dlr.de/197139/
Document Type:Article
Title:Contract-Based Specification of Mode-Dependent Timing Behavior
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Kröger, JanisCarl von Ossietzky Universität Oldenburg, Oldenburg, GermanyUNSPECIFIEDUNSPECIFIED
Koopmann, BjörnUNSPECIFIEDhttps://orcid.org/0000-0003-1982-8396UNSPECIFIED
Stierand, IngoUNSPECIFIEDhttps://orcid.org/0009-0000-7936-6969143161484
Fränzle, MartinCarl von Ossietzky Universität Oldenburg, Oldenburg, Germanyhttps://orcid.org/0000-0002-9138-8340UNSPECIFIED
Date:7 September 2023
Journal or Publication Title:Innovations in Systems and Software Engineering
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In ISI Web of Science:Yes
Publisher:Springer Nature
Keywords:Contract-Based Design, Operating Modes, Timing Specifications, Mode-Dependent Specifications, Mode Composition
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Transport
HGF - Program Themes:Road Transport
DLR - Research area:Transport
DLR - Program:V ST Straßenverkehr
DLR - Research theme (Project):V - KoKoVI - Koordinierter kooperativer Verkehr mit verteilter, lernender Intelligenz, V - V&V4NGC - Methoden, Prozesse und Werkzeugketten für die Validierung & Verifikation von NGC
Location: Oldenburg
Institutes and Institutions:Institute of Systems Engineering for Future Mobility
Institute of Systems Engineering for Future Mobility > Systems Theory and Design
Deposited By: Koopmann, Björn Philipp
Deposited On:28 Sep 2023 07:48
Last Modified:28 Sep 2023 07:48

Repository Staff Only: item control page

Help & Contact
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.