logo publicité Visiter le site national
retour à l'accueil plan du site Contacter le groupe régional administration du site
GROUPE D’EXPERTS QUALITE CNAM 292 rue Saint-Martin 75003 PARIS tél : 01 42 72 64 40 Fax : 01 42 78 26 43
Vous êtes ici : Actualité > ISoLA 2007 : ENSMA, Poitiers-Futuroscope
Actualité
Pour vous, l’actu. QSE
CNAM : références
Colloques & Conférences
Des côtés sympa !
École Vaucanson
Humour
Re-Coins et bricolages !
Soucis et attentes

Charte GEQseC
Le GEQC se définit sous tous ses aspects...
Remerciements
Attente et besoin QSE
Comité de direction
Découvrez nos experts
Offres d’emplois
Séminaires QSE CNAM

Projets
Tous nos projets par domaines ...
Aide à projet qualité
Aide à tous
Biologie
CNRS : PLUME
Energie
Maîtrise des risques
Management
Mardis de l’innovation
MDE - Ing.. De Modèle
Nations Unies : FAO
Process et Mgt. MA
Prospective, les bases
Santé ... Environnement
Sécurité
Sécurité Informatique
Transition énergétique en Bretagne
Week End Rando Visite

Publications
Tous les écrits du GEQC, classés par thèmes. La référence.
Colloques
Ouvrages et publications

Nos référents
Progression scientifique
Direction de Recherhe et HDR CNAM
Laurence Berlie
Anne Labarre
R. Chevance
F. Dieng Diop
J. Foos
M. Godet
A. LeBeau
F. Meunier
H. Mitonneau
T. de Montbrial
L. Bloch
Y. Pesqueux
C. Pinet
J. Printz
A. Rémondière
Anne Marchais-Roubelat
JJ. Salomon
J.L. Thomas
Gilles Teneau
Réflexion et philosophie
HDR et Thèses
Accès aux standards

ISoLA 2007 : ENSMA, Poitiers-Futuroscope
mercredi 4 juillet 2007


On lira avec attention les travaux suivants : P. CASPI, Verimag, Grenoble. France.

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.

Symposium chairs
- 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.

Submission guidelines

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

Important Dates
- Paper Submission : September 1st 2007
- Notification of acceptance : October 15th 2007
- Final Version : October 31st 2007
- Early Registration : October 15th 2007

IMPRIMER L'ARTICLE
IMPRIMER
ISoLA 2007 : ENSMA, Poitiers-Futuroscope

Dans la même rubrique :
CNAM Angers ; Colloque international : « Imaginaires, Savoirs, Connaissance »
ICSSEA 2007 20èmes Journées Internationales Génie Logiciel & Ingénierie de Systèmes et leurs Applications
5th International Symposium on Formal Methods for Objects and Components
Contributions de l’Ingénieur à la maîtrise des risques
20èmes Journées Internationales ICSSEA
The 19th IEEE International Symposium on Software Reliability Engineering
20es Journées Internationales ICSSEA 2007
THE 10TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING
QSE : Lambda Mu 16
QSE ; Le changement climatique : ses conséquences pour la viticulture

Sur le web :
Le CIDJ s’associe au Cnam pour promouvoir la validation des acquis de l’expérience auprès des informateurs jeunesse d'Ile de France.
L’Enass et l’IFPASS honorent leurs diplômés.
La Caisse des dépôts et le Cnam signent une convention de partenariat.
Inscriptions au Cnam: les centres ouvrent leurs portes à partir du 1er septembre
Gilles Garel, professeur du Conservatoire national des arts et métiers, titulaire de la Chaire de gestion de l’innovation
Le Cnam et l’Ecole nationale des professions de l’automobile (GARAC) ont diplômé la première promotion d’ingénieurs en Maintenance de véhicules.
Safran signe une convention de partenariat avec le Cnam
Jean-Louis Missika, professeur titulaire de la chaire d’économie et gestion des industries numériques et des nouveaux médias


Proposer un article | Nous contacter | Plan du site | Admin | Accueil
Union des Ingénieurs CNAM Association reconnue d'utilité publique (loi de 1901) Ce site est réalisé grâce au système de publication SPIP