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

Handling of Operating Modes in Contract-Based Timing Specifications

Kröger, Janis and Koopmann, Björn and Stierand, Ingo and Tabassam, Nadra and Fränzle, Martin (2022) Handling of Operating Modes in Contract-Based Timing Specifications. In: 15th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2021, 13187, pp. 59-74. Springer, Cham. Verification and Evaluation of Computer and Communication Systems, 2021-11-22 - 2021-11-23, virtuell. doi: 10.1007/978-3-030-98850-0_5. ISBN 978-3-030-98850-0. ISSN 0302-9743.

[img] PDF - Only accessible within DLR
940kB

Abstract

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 that enable specifying mode-dependent behavior as well as how mode transitions may take place. A formal specification is given in order to enable reasoning about such specifications as well as 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/188333/
Document Type:Conference or Workshop Item (Speech)
Title:Handling of Operating Modes in Contract-Based Timing Specifications
Authors:
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-6969137218323
Tabassam, NadraCarl von Ossietzky Universität Oldenburg, Oldenburg, GermanyUNSPECIFIEDUNSPECIFIED
Fränzle, MartinCarl von Ossietzky Universität Oldenburg, Oldenburg, Germanyhttps://orcid.org/0000-0002-9138-8340UNSPECIFIED
Date:March 2022
Journal or Publication Title:15th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2021
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:No
Volume:13187
DOI:10.1007/978-3-030-98850-0_5
Page Range:pp. 59-74
Editors:
EditorsEmailEditor's ORCID iDORCID Put Code
Nouri, AyoubHuawei France, Grenoble, FranceUNSPECIFIEDUNSPECIFIED
Wu, WeiminZhejiang University, Hangzhou, ChinaUNSPECIFIEDUNSPECIFIED
Barkaoui, KamelCedric Cnam Paris, Paris, FranceUNSPECIFIEDUNSPECIFIED
Li, ZhiWuMacau University of Science and Technology, Taipa, ChinaUNSPECIFIEDUNSPECIFIED
Publisher:Springer, Cham
Series Name:Lecture Notes in Computer Science
ISSN:0302-9743
ISBN:978-3-030-98850-0
Status:Published
Keywords:Contract-Based Design, Operating Modes, Timing Specifications, Mode-Dependent Specifications, Mode Composition
Event Title:Verification and Evaluation of Computer and Communication Systems
Event Location:virtuell
Event Type:international Conference
Event Start Date:22 November 2021
Event End Date:23 November 2021
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:26 Sep 2022 09:00
Last Modified:24 Apr 2024 20:49

Repository Staff Only: item control page

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