Skip to Main content Skip to Navigation
Conference papers

A formal model of EIA-632 standard: An approach for emergent properties analysis

Abd-El-Kader Sahraoui 1 
1 LAAS-ISI - Équipe Ingénierie Système et Intégration
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : This paper gives a preliminary investigation on emergent properties analysis in a systems engineering framework. the contribution is twofold, the first is to give a formal model of requirements in EIA-632 standards and then propose an approach for emergent properties analysis. The formal model is built upon existing best practice in systems engineering by mapping Pre-Post conditions for each requirement mainly the technical requirements. The emergent property as safety issues, as assumption in the model as an identified property that can be generated either through the process or through non reliable component. The process can be either a transformation (machining) or a composition (assembly).
Document type :
Conference papers
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download
Contributor : Abd-El-Kader Sahraoui Connect in order to contact the contributor
Submitted on : Wednesday, February 7, 2018 - 2:34:31 PM
Last modification on : Wednesday, June 1, 2022 - 4:28:53 AM


A Formal Model of EIA _WCCS 20...
Files produced by the author(s)



Abd-El-Kader Sahraoui. A formal model of EIA-632 standard: An approach for emergent properties analysis. 2014 Second World Conference on Complex Systems (WCCS 2014), Nov 2014, Agadir, Morocco. ⟨10.1109/ICoCS.2014.7060971⟩. ⟨hal-01702752⟩



Record views


Files downloads