ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation

Revue des Nouvelles Technologies de l'Information - RNTI - SM-1

Collectif RNTI - Collection RNTI

234 pages, parution le 04/12/2007

Ajouter à une liste

Indisponible

Résumé

Welcome to Poitiers and the ISoLA workshop On Leveraging Applications of Formal Methods, Verification and Validation. This year the special theme of the workshop is Formal Methods in Avionics, Space and Transport.

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 di?erent 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, ?exibility and e?ciency 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.

Nowadays, it is well accepted that the development of critical systems involves the use of formal methods. The major ?elds 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 di?erent parts of the world and they have been actually put into practice during the development of speci?c 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.

The Program Committee chose 15 full technical papers from 25 submissions for presentation at the workshop. Each paper was peer reviewed by three members of the International Program Committee. The Program Committee also selected another 4 papers for inclusion as short papers in the proceedings.

Four keynotes speakers have been invited to share their views on the application of formal methods in the transportation domain. We thank Dines BJORNER, Paul CASPI, Patrick COUSOT and Odile LAURENT for having accepted our invitation.

It has been both a privilege and a pleasure to serve as program committee chairs. Our warmest thanks go to the many individuals and organizations that have helped with this year's workshop. We are very grateful to LISI, ENSMA, university of Poitiers, Airbus France and Easst for their sponsorship and organizational help.

The Steering Committee, the Organizing Committee, and the Program Committee did a marvellous job. Many thanks to all the people explicitly mentioned in the following pages and to all the invisible volunteers that worked hard at making ISOLA 2007 a success. Finally, we want to thank the authors, the presenters and the participants and invite them all to fully enjoy ISOLA 2007, Poitiers and France.

L'auteur - Collectif RNTI

Autres livres de Collectif RNTI

Avancées récentes dans le domaine des architectures logicielles : articles sélectionnés et étendus de CAL'2013

Découvrir tous les livres de Collectif RNTI

Sommaire

Invited Talk
Scheduling
Performance Analysis
Model Checking
Formal Modelling
Refinement / Abstraction Methods
Real Time
Testing

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Cépaduès
Auteur(s)	Collectif RNTI
Collection	RNTI
Parution	04/12/2007
Nb. de pages	234
Format	15,5 x 23,5
Couverture	Broché
Poids	355g
Intérieur	Noir et Blanc
EAN13	9782854288148
ISBN13	978-2-85428-814-8