Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download
Contributor : Atif Mashkoor Connect in order to contact the contributor
Submitted on : Tuesday, November 10, 2009 - 5:38:49 PM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Tuesday, October 16, 2012 - 1:40:17 PM


Files produced by the author(s)


  • HAL Id : inria-00431131, version 1



Atif Mashkoor. Formal Domain Modeling: From Specification to Validation. 16th International Symposium on Formal Methods - FM 2009 (Doctoral Symposium), Nov 2009, Eindhoven, Netherlands. ⟨inria-00431131⟩



Record views


Files downloads