A formal model of EIA-632 standard: An approach for emergent properties analysis - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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

Résumé

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).
Fichier principal
Vignette du fichier
A Formal Model of EIA _WCCS 2014 Nov IEEE.pdf (75.49 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01702752 , version 1 (07-02-2018)

Identifiants

Citer

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⟩
60 Consultations
7 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More