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.
systems Handling heterogeneity
Interoperability Notations, Languages, Methods
Formal Requirements Engineering
· Validation and Verification Data exchange
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
D. BRHELOVA, Artysys. Cz Republic
J.P. BLANQUART, Astrium-EADS, Toulouse, France
E. CONQUET, ESA, Netherlands.
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.
N. TUDOR, QinetiQ, Malvern, 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
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 [log in to unmask]
• Paper Submission: September 1st 2007
• Notification of acceptance: October 15th 2007
• Final Version: October 31st 2007
• Early Registration: October 15th 2007
To unsubscribe, send an empty email to
mailto:[log in to unmask]
For further details of CHI lists see http://sigchi.org/listserv