A Model-Based Framework for Analyzing the Safety of System Architectures

Author(s):  
Panagiotis Manolios ◽  
Kit Siu ◽  
Michael Noorman ◽  
Hongwei Liao
2021 ◽  
Vol 12 (3) ◽  
pp. 97
Author(s):  
Christian Raulf ◽  
Moritz Proff ◽  
Tobias Huth ◽  
Thomas Vietor

Today, vehicle development is already in a process of substantial transformation. Mobility trends can be derived from global megatrends and have a significant influence on the requirements of the developed vehicles. The sociological, technological, economic, ecological, and political developments can be determined by using the scenario technique. The results are recorded in the form of differently shaped scenarios; however, they are mainly document-based. In order to ensure a holistic approach in the sense of model-based systems engineering and to be able to trace the interrelationships of the fast-changing trends and requirements, it is necessary to implement future scenarios in the system model. For this purpose, a method is proposed that enables the consideration of future scenarios in model-based vehicle development. The procedure of the method is presented, and the location of the future scenarios within the system architectures is named. The method is applied and the resulting system views are derived based on the application example of an autonomous people mover. With the help of the described method, it is possible to show the effects of a change of scenario (e.g., best-case and worst-case) and the connections with the highest level of requirements: stakeholder needs.


Author(s):  
Nicolas Albarello ◽  
Jean-Baptiste Welcomme

The design of systems architectures often involve a combinatorial design-space made of technological and architectural choices. A complete or large exploration of this design space requires the use of a method to generate and evaluate design alternatives. This paper proposes an innovative approach for the design-space exploration of systems architectures. The SAMOA (System Architecture Model-based OptimizAtion) tool associated to the method is also introduced. The method permits to create a large number of various system architectures combining a set of possible components to address given system functions. The method relies on models that are used to represent the problem and the solutions and to evaluate architecture performances. An algorithm first synthesizes design alternatives (a physical architecture associated to a functional allocation) based on the functional architecture of the system, the system interfaces, a library of available components and user-defined design rules. Chains of components are sequentially added to an initially empty architecture until all functions are fulfilled. The design rules permit to guarantee the viability and validity of the chains of components and, consequently, of the generated architectures. The design space exploration is then performed in a smart way through the use of an evolutionary algorithm, the evolution mechanisms of which are specific to system architecting. Evaluation modules permit to assess the performances of alternatives based on the structure of the architecture model and the data embedded in the component models. These performances are used to select the best generated architectures considering constraints and quality metrics. This selection is based on the Pareto-dominance-based NSGA-II algorithm or, alternatively, on an interactive preference-based algorithm. Iterating over this evolution-evaluation-selection process permits to increase the quality of solutions and, thus, to highlight the regions of interest of the design-space which can be used as a base for further manual investigations. By using this method, the system designers have a larger confidence in the optimality of the adopted architecture than using a classical derivative approach as many more solutions are evaluated. Also, the method permits to quickly evaluate the trade-offs between the different considered criteria. Finally, the method can also be used to evaluate the impact of a technology on the system performances not only by a substituting a technology by another but also by adapting the architecture of the system.


2019 ◽  
Vol 97 ◽  
pp. 153-167 ◽  
Author(s):  
Jennifer Brings ◽  
Marian Daun ◽  
Torsten Bandyszak ◽  
Vanessa Stricker ◽  
Thorsten Weyer ◽  
...  

Author(s):  
Aleksandr A. Kerzhner ◽  
Christiaan J. J. Paredis

Design synthesis is a fundamental engineering task that involves the generation of a structural specification from a desired functional specification. Although the use of computer tools is common throughout the design process, design synthesis is often a task left to the designer. Formally capturing design synthesis knowledge in models and applying computational synthesis may result in better exploration of the design space and eliminate repetitive design tasks. In this paper, a graph-based framework for capturing and combining design synthesis knowledge is presented for scenarios involving the composition of well defined components into larger systems. This approach fits in the context of Model-Based Systems Engineering where a variety of formal models are used to represent knowledge about a system. This approach uses the Systems Modeling Language developed by The Object Management Group (OMG SysML™) to define both models of possible components and possible system architectures. The framework is illustrated by combining it with an evolutionary algorithm and applying it to an example problem of hydraulic circuit synthesis.


Author(s):  
Simon Gradel ◽  
Benedikt Aigner ◽  
Eike Stumpf

AbstractTraditional system technology modeling in conceptual aircraft design mainly relies on empirical knowledge and methods derived from conventional systems, for which valid system architecture designs are known. Since these systems have been proven valid especially from a safety perspective, detailed system safety analyses are usually not necessary. For unconventional systems and innovative technologies, on contrary, new architectures have to be designed and system safety has, therefore, to be taken into account. Therefore, the application of model-based safety assessment (MBSA) for designing system architectures in conceptual aircraft design studies is proposed. A MBSA approach based on a Simulink architecture model is presented which is tailored for use in conceptual design studies. It is applied to the cryocooling system of a hybrid-electric powertrain architecture from an already-published study. The original architecture as well as possible architecture alternatives are investigated. As a result, a safer architecture version with lower number of components can be proposed. The application example indicates that using MBSA in conceptual design benefits the latter by providing insights into safety properties of the system and by pointing out architecture safety weaknesses. This could result in safer, thus more realistic system architectures.


2020 ◽  
Vol 43 ◽  
Author(s):  
Peter Dayan

Abstract Bayesian decision theory provides a simple formal elucidation of some of the ways that representation and representational abstraction are involved with, and exploit, both prediction and its rather distant cousin, predictive coding. Both model-free and model-based methods are involved.


Sign in / Sign up

Export Citation Format

Share Document