SYSTEMIC MODELING OF INTEGRATED SYSTEMS FOR DECISION MAKING EARLY ON IN THE DESIGN PROCESS

Integrated systems design has new possibilities due to the use of intelligent devices. However, these new technologies introduce new constraints for designing innovative architectures and assessing their dependability. This article presents the Safe-SADT formalism, an extension of the structured analysis and design technique (SADT), for dependability studies and a computer-aided design (CAD) tool/software for modeling and comparing several architecture design choices early on in the design process. Its originality is based on operational architecture composed of function entities executed by material entities. A Monte Carlo approach allows simulation of “possible life history” and points out design's weaknesses using sensitivity analysis. We illustrate the tool functionalities with a temperature system. Possibilities for future research in terms of software development and industrial applications are provided.

[1]  Sylvain Pasquet.  Analyse de sûreté de fonctionnement de systèmes dynamiques à l'aide de diagrammes de flux et réseaux de neurones , 1999 .

[2]  Laurent Cauffriez,et al.  The Safe-SADT method for aiding designers to choose and improve dependable architectures for complex automated systems , 2008, Reliab. Eng. Syst. Saf..

[3]  Vincent Cocquempot,et al.  Design of dependable system architectures for a railroad smart wagon using shared functions , 2010, 13th International IEEE Conference on Intelligent Transportation Systems.

[4]  熊本 博光.  Satisfying safety goals by probabilistic risk assessment , 2007 .

[5]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[6]  Arie Dubi,et al.  Monte Carlo applications in systems engineering , 2000 .

[7]  David A. Marca,et al.  SADT: structured analysis and design technique , 1987 .

[8]  Darek M. Eriksson,et al.  A principal exposition of Jean-Louis Le Moigne's systemic theory , 1997 .

[9]  Mekki Ksouri,et al.  A fast identification algorithm for systems with delayed inputs , 2011, Int. J. Syst. Sci..

[10]  Laurent Cauffriez,et al.  A New Formalism for Designing and Specifying RAMS Parameters for Complex Distributed Control Systems: The Safe-SADT Formalism , 2006, IEEE Transactions on Reliability.

[11]  Horacio P. Leone,et al.  TracED: A tool for capturing and tracing engineering design processes , 2010, Adv. Eng. Softw..

[12]  J Gandibleux,et al.  Improving the reliability/availability of a complex system by an active monitoring based onto ""augmentation concept"": Application onto a railway system , 2011 .

[13]  Sergio B. Guarro,et al.  Reliability, availability, maintainability and safety assessment: By Alain Villemeur. John Wiley & Sons Ltd, Baffins Lane, Chichester, West Sussex PO19 1UD, UK, ISBN 0-471-93048-2 (vol. 1) and ISBN 0-471-93049-0 (vol. 2) , 1994 .

[14]  Marcel Staroswiecki,et al.  Dependable Distributed Computer Control Systems: Analysis of the Design Step Activities , 1995 .

[15]  Morten Lind,et al.  Modeling goals and functions of complex industrial plants , 1994, Appl. Artif. Intell..

[16]  Mohamed Najeh Lakhoua,et al.  Application of Functional Analysis on a SCADA System of a Thermal Power Plant , 2009 .

[17]  Sohrab Asgarpoor,et al.  Parallel Monte Carlo simulation for reliability and cost evaluation of equipment and systems , 2011 .

[18]  Vinod Kumar,et al.  Identifying some important success factors in adopting agile software development practices , 2009, J. Syst. Softw..

[19]  et al.,et al.  Design of intelligent distributed control systems: a dependability point of view , 2004, Reliab. Eng. Syst. Saf..

[20]  Christophe Bérenguer,et al.  Reliability analysis for new technology-based transmitters , 2011, Reliab. Eng. Syst. Saf..

[21]  Ghulam Rasool,et al.  Design pattern recovery based on annotations , 2010, Adv. Eng. Softw..