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

Towards Using Formal Methods in Prototyping - Advantage or Impediment

Schirmer, Sebastian and Teige, Tino and Torens, Christoph and Brockmeyer, Udo (2020) Towards Using Formal Methods in Prototyping - Advantage or Impediment. 2nd Workshop on Avionics Systems and Software Engineering (AvioSE20), Innsbruck, Austria.

[img] PDF
211kB

Abstract

In aviation and other safety-critical domains, software faults are unacceptable. A means of detecting and avoiding these faults is to use formal methods. Although formal methods strongly contribute to the reliability and robustness of the system, some drawbacks prevent their general usage. A drawback is their reputation to be hard to apply for non-experts. Non-experts have to be familiarized with the tools to efficiently make use of them. But is this reputation still valid? Over the years, formal methods tools have evolved. They are capable to analyze more complex system properties. Further, their user experience was addressed by industrial companies to actually allow non-experts to profit from the advantages of formal methods. This paper represents the first step towards putting the mentioned assumption under test by trying to use formal methods for prototyping. We propose an approach for software prototyping which makes use of the formalization of requirements. We depict advantages and discuss first results of evaluating the commercial tool BTC EmbeddedPlatform R that we were able to use without cost in a project cooperation. We plan to continue the project cooperation to answer the headline in future.

Item URL in elib:https://elib.dlr.de/138319/
Document Type:Conference or Workshop Item (Speech)
Title:Towards Using Formal Methods in Prototyping - Advantage or Impediment
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Schirmer, Sebastiansebastian.schirmer (at) dlr.deUNSPECIFIED
Teige, TinoUNSPECIFIEDUNSPECIFIED
Torens, ChristophChristoph.Torens (at) dlr.dehttps://orcid.org/0000-0002-0651-4390
Brockmeyer, UdoUNSPECIFIEDUNSPECIFIED
Date:2020
Refereed publication:No
Open Access:Yes
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Status:Published
Keywords:prototyping, formal specification, monitoring
Event Title:2nd Workshop on Avionics Systems and Software Engineering (AvioSE20)
Event Location:Innsbruck, Austria
Event Type:Workshop
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:rotorcraft
DLR - Research area:Aeronautics
DLR - Program:L RR - Rotorcraft Research
DLR - Research theme (Project):L - The Smart Rotorcraft (old)
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems > Unmanned Aircraft
Deposited By: Schirmer, Sebastian
Deposited On:22 Jan 2021 12:34
Last Modified:22 Jan 2021 12:34

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.