Formal Domain Modeling: From Specification to Validation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Formal Domain Modeling: From Specification to Validation

Atif Mashkoor
  • Function : Author
  • PersonId : 854132


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
Fichier principal
Vignette du fichier
main.pdf (112.98 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00431131 , version 1 (10-11-2009)


  • 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⟩
51 View
85 Download


Gmail Facebook Twitter LinkedIn More