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

https://hal.inria.fr/inria-00431131
Contributor : Atif Mashkoor <>
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

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00431131, version 1

Collections

Citation

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⟩

Share