2007 ISoLA Workshop on Leveraging Applications of Formal Methods, Validation and Verification
12-14 December 2007
ENSMA, Poitiers-Futuroscope. France
ISoLA is a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools for the specification analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. To bridge the gap between designers and developers of (formal methods based) rigorous tools, and users in engineering and in other disciplines, it fosters and exploits synergetic relationships among scientists, engineers, software developers, decision makers, and other critical thinkers. In particular, by providing a venue for the discussion of common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility and efficiency of tools for building systems and users in their search of adequate solutions to their problems. Applications and case studies with a conceptual message and experience papers with a clear link to tool construction are all encouraged.
Special Workshop Theme : Formal Methods in Avionics, Space and Transport
Nowadays, it is well accepted that the development of critical systems involves the use of formal methods. One of the major fields where these methods made a lot of progress are the avionics, aerospace and more generally transport areas. Indeed, compared to a previous aircraft generation, the amount of code embedded in a new aircraft generation is continuously increasing. Several methods, tools and techniques have been applied for the development of such systems in different parts of the world and they have been actually put into practice during the development of specific aircraft programmes. The aim of this ISoLA workshop is to compile the sate-of-the-art and current research in formal methods applied to the development of avionics and aerospace systems. Submission of papers addressing recent advances in the use of these methods in this area is encouraged.
The following list is some of the topics that can be addressed in the submissions.
Interactive systems Handling heterogeneity
Systems Interoperability Notations, Languages, Methods
Integration Formal Requirements Engineering
Validation and Verification Data exchange
Simulation Use and/or standard developments
Real Time, scheduling, and Performance Case studies Analysis
Reliability, Safety Analysis, Security Quality of Service
Ontologies for handling heterogeneity of developments
All accepted papers will be published in local proceedings and we plan to have IEEE CS post proceedings. Selected papers will appear in the International Journal on Software Tools and Technology Transfer (STTT). A best paper certificate will be awarded by EASST.
T. MARGARIA, U-Postdam, Germany.
B. STEFFEN, U-Dortmund-DE, Germany.
Programme committee chairs
Y. AIT AMEUR, LISI/ENSMA, Poitiers, France.
F. BONIOL, IRIT-Enseeiht, Toulouse, France.
V. WIELS, ONERA,-DTIM, Toulouse, France.
Programme committee (To be Completed)
P. BIEBER, ONERA,-DTIM-Toulouse, France.
P. CASPI, Verimag, Grenoble. France.
E. CONQUET, ESA, France.
B. D’AUSBOURG, ONERA-DTIM, Toulouse, France.
J. SONG DONG, NUS, Singapore, Singapore.
E. GROLLEAU, LISI/ENSMA, Poitiers, France.
M. HEIMDAHL, Univ. Minnesota, USA.
J. HILL, Nasa, USA.
M. HINCHEY, Nasa, USA.
O. LAURENT, AirBus-Toulouse, France.
Y. LEDRU, LIG, Grenoble, France.
D. LESENS, EADS, France.
M. LEUSCHEL, Univ. Dusseldorf, Germany.
P LINDSAY, Queensland University, Australia.
B. LISPER, Mälardalen University, Sweden.
D. MERY, Loria, France.
C. MUNOZ, Nasa, USA.
C. ROUFF, Lockheed Martin, USA.
O. ROUX, IRCYN, Nantes, France.
F. SIMONOT-LION, Loria, France.
R. STERRITT, University of Ulster, Northern Ireland, UK.
W. VISSER, Nasa, USA.
A. VOZELLA, CIRA, Italy.
X. XUANDONG LI, Nanjing University, China.
Research papers, case studies, lessons learned, status reports, and discussions of practical problems faced by industry and user domains are all welcome submissions. For review, submissions are divided into two categories : Technical Papers and Experience Reports. Technical papers should describe original research, and industrial experience should include practical projects or lessons learned emphasising outcomes, insights gained, and lessons learned.
All submissions will be reviewed by program committee members on the basis of relevance, significance, technical quality, and clarity.
Each paper shall not exceed 16 pages in the LNCS style.
All the submissions shall indicate author names, full address, emails, phone and fax numbers. In case of multiple authors submissions, a contact author shall be indicated.
Submission shall be sent to
Paper Submission : September 1st 2007
Notification of acceptance : October 15th 2007
Final Version : October 31st 2007
Early Registration : October 15th 2007