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

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 bu...

Full description

Saved in:

Bibliographic Details
Published in:	2014 Second World Conference on Complex Systems (WCCS) pp. 128 - 133
Main Author:	Sahraoui, Abd-El-Kader
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01-11-2014
Subjects:	EIA 632 Emergent properties Pre-Post conditions Safety
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	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).
DOI:	10.1109/ICoCS.2014.7060971