4th International ABZ 2014 Conference

Case Study Track
June 2 - 6 2014
Toulouse - France


Call for Papers

The landing gear system case study is available HERE.

Case study track chairs
- Frédéric BONIOL, ONERA-DTIM, Toulouse, France (frederic.boniol@onera.fr)
- Virginie WIELS, ONERA-DTIM, Toulouse, France (Virginie.Wiels@onera.fr)

For the first time, the ABZ conference hosts a special track dedicated to the specification, design and development of a real-life case study. The idea consists in publishing a real-life case study, proposed by experts of the domain and to ask for contributions describing the development of this case study using at least one of the ASM, Alloy, B, TLA, VDM or Z methods.
The first objective of this track is to learn from experiences and knowhow of the users of the ASM, Alloy, B, TLA, VDM and Z methods on a single and shared real-life case study.

In 2014, ABZ will take place in Toulouse, the European capital of the aeronautic industry. The real-life case study has been chosen in this context of the aeronautic industry, it addresses a landing gear system of an aircraft.
The second objective of this track is to disseminate the use of state and proof based methods, targeted by ABZ conference series, in the aeronautic and space industries. We expect that several actors of this industry area and more widely from transportation systems and system engineering areas will attend the ABZ conference, or at least the track dedicated the real-life case study.

The organizers encourage submissions reporting on the application and/or applicability of one or several state and proof based formal methods on the landing gear system case study available here. The use of more than one method in a cooperative or in a compositional way is also possible. For example, a formalization of the case study that highlights the interaction between a state proof based technique and a model checking technique is encouraged.

Submission content
The proposed real-life case study describes a landing gear system from different points of view: functional, architectural, real time, reliability, etc.
It is expected that the formalizations proposed in the different contributions cover the whole or part of these views. The properties verified within the developed formal model should be related to the numbered requirements of the case study description
Moreover, unsuccessful formalizations of some views and/or some requirements within a given formal method should also be reported.
Finally, a discussion on the applicability and efficiency of the set up formal method(s) should be provided.

Submission format
The papers must be prepared using the SPRINGER LNCS style. Contributions to answer to the case study should be submitted electronically in PDF at the Case study Easy-Chair web site.

Publication of the proceedings.
The answers to case study papers will be published in a volume of Springer's CCIS series. The volume will be distributed at the conference.

Journal special issue.
An improved version of a selected number of contributions will be published in a special issue of the Software Tools and Technology Transfer journal for the answers to case study papers.

The deadline for submissions is January 14February 3, 2014. FIRM DEADLINE. . Notifications will be sent by March 1, 2014.

Program Committee
To be announced

For questions concerning the case study, contact Frédéric BONIOL (Frederic.Boniol@onera.fr) or Virgine WIELS (Virginie.Wiels@onera.fr).
For questions concerning ABZ 2014, contact Yamine AIT AMEUR (yamine@n7.fr) or Klaus-Dieter SCHEWE (Klaus-Dieter.Schewe@scch.at).