Paper Info
Title
Towards a Formalism-Based Toolkit for Automotive Applications.
Abstract
The success of a number of projects has been shown to be significantly improved by the use of a formalism. However, there remains an open issue: to what extent can a development process based on a singular formal notation and method succeed. The majority of approaches demonstrate a low level of flexibility by attempting to use a single notation to express all of the different aspects encountered in software development. Often, these approaches leave a number of scalability issues open. We prefer a more eclectic approach. In our experience, the use of a formalism-based toolkit with adequate notations for each development phase is a viable solution. Following this principle, any specific notation is used only where and when it is really suitable and not necessarily over the entire software lifecycle. The approach explored in this article is perhaps slowly emerging in practice - we hope to accelerate its adoption. However, the major challenge is still finding the best way to instantiate it for each specific application scenario. In this work, we describe a development process and method for automotive applications which consists of five phases. The process recognizes the need for having adequate (and tailored) notations (Problem Frames, Requirements State Machine Language, and Event-B) for each development phase as well as direct traceability between the documents produced during each phase. This allows for a stepwise verification/validation of the system under development. The ideas for the formal development method have evolved over two significant case studies carried out in the DEPLOY project.
Year
Venue
Field
2013
FormaliSE@ICSE
Notation,Programming language,Software engineering,Computer science,Software development process,Formalism (philosophy),Formal methods,Software verification and validation,Software development,Formal verification,Software verification
DocType
Volume
ISSN
Journal
abs/1311.6145
1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), May 25, 2013, San Francisco, CA, USA
Citations 
PageRank 
References 
0
0.34
13
Authors
6
Name
Order
Citations
PageRank
Rainer Gmehlich1101.74
Katrin Grau2101.06
Alexei Iliasov315620.98
Michael Jackson413048.69
Felix Loesch5643.62
Manuel Mazzara649364.05