Thumbnail
Access Restriction
Subscribed

Author Bouffaron, F. ♦ Marange, P. ♦ Morel, G.
Sponsorship IEEE Ind. Electron. Soc.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2014
Language English
Subject Domain (in DDC) Technology ♦ Engineering & allied operations ♦ Applied physics
Subject Keyword Knowledge engineering ♦ co-specification ♦ Automation ♦ model-checking ♦ verification/validation ♦ Process control ♦ Aerospace electronics ♦ dependability requirements ♦ Modeling ♦ model based systems engineering ♦ Power generation
Abstract Recurrent incident reports indicate that critical systems such as power plants exhibit unintended emergent behaviors outside of acceptable limits, despite of the increasing development of dependable automation technologies as well as of a lot of techniques related to dependability issues. Among many causes, the role of human for operating technical artefacts is of importance, but also for designing them from the early stages of specification in order to check the basic property of wholeness of any system. A mean is to ensure a continuum of compliant models to component integration through an iterative process between all the disciplines involved to engineer these systems as whole all along their life cycle. However, a human-based process to check the “right-system requirements-right” remains not fully adequate at the scale of real systems engineering projects and in any case to critical issues. This paper explores the formal checking compliance of architecting models with dependability requirements. These models are refined iteratively by specialist and specialty engineers interoperating with a system engineer through a co-specification process on a particular case study of a critical power-plant sub-system.
Description Author affiliation: CRAN, Univ. de Lorraine, Vandmuvre-lès-Nancy, France (Bouffaron, F.; Marange, P.; Morel, G.)
ISBN 9781479949052
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2014-07-27
Publisher Place Brazil
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 721.54 kB
Page Count 7
Starting Page 248
Ending Page 254


Source: IEEE Xplore Digital Library