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 International Publishing. Verification and Evaluation of Computer and Communication Systems, 22.-23. Nov. 2021, virtuell. doi: 10.1007/978-3-030-98850-0_5. ISBN 978-3-030-98850-0. ISSN 0302-9743.

WarningThere is a more recent version of this item available.

Full text not available from this repository.

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/186111/
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 iD
Kröger, JanisCarl von Ossietzky Universität Oldenburg, Oldenburg, GermanyUNSPECIFIED
Koopmann, Björnbjoern.koopmann (at) dlr.dehttps://orcid.org/0000-0003-1982-8396
Stierand, Ingoingo.stierand (at) dlr.deUNSPECIFIED
Tabassam, NadraCarl von Ossietzky Universität Oldenburg, Oldenburg, GermanyUNSPECIFIED
Fränzle, MartinCarl von Ossietzky Universität Oldenburg, Oldenburg, Germanyhttps://orcid.org/0000-0002-9138-8340
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 iD
Nouri, AyoubHuawei France, Grenoble, FranceUNSPECIFIED
Wu, WeiminZhejiang University, Hangzhou, ChinaUNSPECIFIED
Barkaoui, KamelCedric Cnam Paris, Paris, FranceUNSPECIFIED
Li, ZhiWuMacau University of Science and Technology, Taipa, ChinaUNSPECIFIED
Publisher:Springer International Publishing
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 Dates:22.-23. Nov. 2021
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Transport
HGF - Program Themes:Transport System
DLR - Research area:Transport
DLR - Program:V VS - Verkehrssystem
DLR - Research theme (Project):V - Energie und Verkehr
Location: Oldenburg
Institutes and Institutions:Institute of Systems Engineering for Future Mobility
Deposited By: Koopmann, Björn Philipp
Deposited On:11 Aug 2022 09:25
Last Modified:19 Aug 2022 12:22

Available Versions of this Item

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.