Tous nos rayons

Déjà client ? Identifiez-vous

Nouveau client ?

Votre panier contient 0 article
0,00 €
ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation

Librairie Eyrolles - Paris 5e

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

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

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

- Collection RNTI

234 pages, parution le 04/12/2007


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
  • Scheduling
  • Performance Analysis
  • Model Checking
  • Formal Modelling
  • Refinement / Abstraction Methods
  • Real Time
  • Testing
Voir tout

Caractéristiques techniques du livre "ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation"

É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


Livraison à partir de 0,01 en France métropolitaine

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ d'un million de livres disponibles

satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients 0 321 79 56 75
librairie française
Librairie française depuis 1925