Formal Domain Modeling: From Specification to Validation

Atif Mashkoor 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The main theme of this research is to study and develop techniques for the modeling of software controlled safety critical systems. In this work, we formally specify different entities, phenomena and their inter-relationships, and specially non functional properties related to land transportation systems with refinement based approach at domain level.We also introduce a stepwise validation process to maintain seamlessness between environment and its captured models. We apply our results on two safety critical case studies
Type de document :
Communication dans un congrès
MohammadReza Mousavi and Emil Sekerinski. 16th International Symposium on Formal Methods - FM 2009 (Doctoral Symposium), Nov 2009, Eindhoven, Netherlands. 2009
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00431131
Contributeur : Atif Mashkoor <>
Soumis le : mardi 10 novembre 2009 - 17:38:49
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08
Document(s) archivé(s) le : mardi 16 octobre 2012 - 13:40:17

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00431131, version 1

Collections

Citation

Atif Mashkoor. Formal Domain Modeling: From Specification to Validation. MohammadReza Mousavi and Emil Sekerinski. 16th International Symposium on Formal Methods - FM 2009 (Doctoral Symposium), Nov 2009, Eindhoven, Netherlands. 2009. 〈inria-00431131〉

Partager

Métriques

Consultations de la notice

101

Téléchargements de fichiers

93