Skip to Main content Skip to Navigation

Formal Domain Engineering: 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 modeling of software-controlled safety-critical systems. The area we focus in this thesis is the specification of a domain, where such systems are supposed to operate, and its validation. The contribution of this thesis is twofold: First, we model the land transport domain, a good candidate for this study because of its safety-critical nature, in the formal framework of Event-B and propose some guidelines for it. Second, we present an approach, based on the technique of animation and low-cost transformations, for stepwise validation of formal specifications.
Document type :
Complete list of metadata
Contributor : Atif Mashkoor Connect in order to contact the contributor
Submitted on : Tuesday, October 25, 2011 - 5:09:29 PM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Thursday, January 26, 2012 - 2:45:16 PM


  • HAL Id : tel-00614269, version 2



Atif Mashkoor. Formal Domain Engineering: From Specification to Validation. Software Engineering [cs.SE]. Université Nancy II, 2011. English. ⟨tel-00614269v2⟩



Record views


Files downloads