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
- Invited Talk
- Performance Analysis
- Model Checking
- Formal Modelling
- Refinement / Abstraction Methods
- Real Time
Caractéristiques techniques du livre "ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation"
|Nb. de pages||234|
|Format||15,5 x 23,5|
|Intérieur||Noir et Blanc|
Livraison à partir de 0,01 € en France métropolitaine (1)
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ de 700 000 livres disponibles
- Informatique Bases de données Conception et modélisation UML
- Informatique Bases de données Conception et modélisation Merise
- Informatique Informatique d'entreprise Management des systèmes d'information
- Informatique Informatique d'entreprise Knowledge management
- Informatique Informatique d'entreprise Data warehouse et data mining
- Informatique Informatique d'entreprise Sécurité
- Informatique Développement d'applications Gestion de projets
- Informatique Développement d'applications Algorithmique et informatique appliquée Intelligence artificielle
- Sciences Techniques Robotique
- Sciences Techniques Intelligence artificielle I.A. appliquée
- Sciences Techniques Intelligence artificielle Systèmes experts
- Sciences Techniques Intelligence artificielle Réseaux de neurones
- Sciences Techniques Automatique