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), 2020-02-25, Innsbruck, Austria.

[img] PDF


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
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Schirmer, SebastianUNSPECIFIEDhttps://orcid.org/0000-0002-4596-2479UNSPECIFIED
Torens, ChristophUNSPECIFIEDhttps://orcid.org/0000-0002-0651-4390UNSPECIFIED
Refereed publication:No
Open Access:Yes
Gold Open Access:No
In ISI Web of Science:No
Keywords:prototyping, formal specification, monitoring
Event Title:2nd Workshop on Avionics Systems and Software Engineering (AvioSE20)
Event Location:Innsbruck, Austria
Event Type:Workshop
Event Date:25 February 2020
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:23 Jul 2024 13:52

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.