Skip to Main content Skip to Navigation
Theses

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 :
Theses
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-00614269
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

Identifiers

  • HAL Id : tel-00614269, version 2

Collections

Citation

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

Share

Metrics

Record views

300

Files downloads

568