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é > THE 10TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING
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

THE 10TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING
mardi 22 mai 2007


(HASE 2007)

November 14-16, 2007, Dallas, Texas

The IEEE International Symposium on High Assurance Systems Engineering is a forum for discussion of systems and software engineering issues to achieve high assurance systems. The focus is on integrated approaches for assuring reliability, availability, integrity, privacy, confidentiality, safety, and real-time of complex systems and the methods for assessing the assurance levels of the systems to a high degree of confidence. Technical and experience papers on algorithms, policies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome.

Topics of interests for the symposium include, but are not limited to :

  • Design and development of highly reliable, survivable, secure, safe,and time-assured systems
  • Integrated system reliability, availability, security, safety, and timing analysis and evaluation methods
  • Policies for reliability, safety, security, integrity, privacy, and confidentiality of high assurance systems
  • Formal specification, specification validation, testing, and model checking for high assurance systems
  • High assurance software architectures and design
  • Transformation-based and evolutionary-based system development
  • Reconfigurable system design for evolving high assurance requirements
  • Dynamic monitoring and adaptation for run-time assurance
  • High assurance information/knowledge systems and data grids
  • High assurance embedded systems, ubiquitous systems and sensor networks
  • High assurance web services
  • Extending web service specifications for reliability, safety, security, privacy and other QoS properties
  • Assurance techniques for service-oriented systems
  • Case studies, experiments and tools for high assurance systems

- 
- 
- 

- Program Committee :

- Ramesh Bharadwaj, Naval Research Lab
- Andrea Bondavali, University of Florence, Italy
- Ing-Ray Chen, Virginia Tech
- Albert Cheng, University of Houston
- William C. Chu, Tunghai University, Taiwan
- Donald Cowan, University of Waterloo, Canada
- Jin Song Dong, National University of Singapore
- Christof Fetzer, Germany
- Sachin Garg, Motorola India
- Vijay Garg, University of Texas at Austin
- Yoshiaki Kakuda, Hiroshima City University
- Carlos Lucena, PUC-Rio, Brazil
- Shaoying Liu, Hosei University, Japan
- Xiaodong Lu, Tokyo Institute of Technology
- Michael Lyu, Chinese University of Hong Kong
- Miroslaw Malek, Humboldt University, Germany
- Catherine Meadows, Naval Research Lab.
- Hong Mei, Peking University, China
- Tim Menzies, West Virginia University
- Kinji Mori, Tokyo Institute of Technology, Japan
- Gilles Muller, EMN, France
- Suku Nair, Southern Methodist University
- Edgar Nett, University of Magdeburg . Germany
- Christina Nita-Rotaru, Purdue University
- Andras Pataricza, Budapest University, Hungary
- Steve Roach, University of Texas at El Paso
- Luigi Romano, University of Napoli, Italy
- Nicolas Rouquette, NASA JPL
- Carol Smidts, University of Maryland
- Arun Somani, Iowa State University
- Neeraj Suri, TU Darmstad
- Philip Sweany, University of North Texas
- Wei-Tek Tsai, Arizona State University
- Aad Van Moorsel, University of Newcastle, UK
- Helene Waeselynck, LAAS-CNRS, France
- Charles B. Weinstock, Software Engineering Institute, CMU
- Victor Winter, University of Nebraska . Omaha
- Eric Wong, University of Texas at Dallas
- Jie Xu, University of Leeds . UK
- Yun Yang, Swinburne University of Technology, Australia
- Huiqun Yu, East China University of Science and Technology
- Jianjun Zhao, Shanghai Jiao Tong University, China
- Liang-Jie Zhang, IBM T.J. Watson
- 
- 
- 

- Steering Committee :

- Bojan Cukic, West Virginia University
- Raymond Paul, DoD (Chair)
- Neeraj Suri, TU Darmstadt, Germany
- I-Ling Yen, University of Texas at Dallas

- -More information : Helene Waeselynck, LAAS-CNRS, France

IMPRIMER L'ARTICLE
IMPRIMER
THE 10TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING

Dans la même rubrique :
QSE : Lambda Mu 16
QSE ; Le changement climatique : ses conséquences pour la viticulture
The International Conference on Dependable Systems and Networks
20es Journées Internationales ICSSEA 2007
Lipsor <- GEQseC ; école dotorale
1st IEEE International Conference on Software Testing, Verification and Validation
20èmes Journées Internationales ICSSEA
International Conference on Dependable Systems and Networks : June 2008
The 19th IEEE International Symposium on Software Reliability Engineering
Lambda-mu 17 ; Sûreté de Fonctionnement ; Innovation et Maîtrise des risques

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