scholarly journals Method Based on SEFT-to-Petri for Safety Analysis of Software

2018 ◽  
Vol 179 ◽  
pp. 03030
Author(s):  
Xu Sai-sai ◽  
Chen Jing ◽  
Sun Yu-ning ◽  
Gao Xin-rui ◽  
Wang Bo-han ◽  
...  
Keyword(s):  
Systems Engineering ◽  
Petri Net ◽  
Functional Model ◽  
Logic Gates ◽  
Safety Analysis ◽  
State Machine ◽  
System Software ◽  
Model Based ◽  
Model Based Systems Engineering

System safety is a vital non-functional requirement whose satisfaction is essential for system software. However, modern aerospace system software is more and more complicated, which results in a high complexity of analyzing system faults. With the increased acceptance of Model-based Systems Engineering as a new method for systems engineering, Model-based Safety Analysis is also proposed to formalize the task of safety analysis and automate the safety calculations. Our work is grounded on State/Event Fault Tree to analyze system faults and build functional model. Firstly, we can translate SEFT to state machine based on SysML with fault syntactic messages and match elements together with translating logic gates; after which, transforming state machine into Petri Net model by means of rigorous semantic relations to extract preliminary analytical model is deduced theoretically in this paper; finally, we can derive analyses of causes and results of faults from Petri Net model by adopting a set of mathematical and statistical analysis. Practically, we have also validated our work by a case study of an aeronautic control system to support this paper.

scholarly journals Microgrid System Design Based on Model Based Systems Engineering: the Case Study in the Amazon Region

2021 ◽  
Author(s):  
Miguel Angel Orellana Postigo ◽  
José Reinaldo Silva
Keyword(s):  
Systems Engineering ◽  
Amazon Forest ◽  
Small Communities ◽  
Model Based ◽  
Network Operation ◽  
Engineering Effort ◽  
Definition Of ◽  
And Control ◽  
Model Based Systems Engineering

Microgrid is a technically and economically viable opportunity to meet the demands of populations that, for various reasons, do not have access to electricity. The complexity of Smart Grid (SG) systems requires considerable engineering effort in the design process. Designing this type of complex system requires new approaches, methods, concepts and engineering tools. Where, requirements analysis plays a major role in better characterizing, understanding and specifying the domain of application that SG systems should solve. This work presents a systemic proposal based specifically on System Systems (SoS) which anticipates the formalization of requirements, aiming to understand, analyze and design SG within the scope of Model Based Systems Engineering (MBSE). The definition of a microgrid from the SoS perspective is presented in order to provide a complete view of its life cycle. Requirements would be represented in an Objective Oriented  Requirements Engineering (GORE) approach, specifically using visual diagrams based on the Keep All  Objectives Satisfied (KAOS) method, where network operation and control will be formally represented. A case  study for small communities in the equatorial Amazon forest is used as a case study for the proposed method.

scholarly journals APPLYING MODEL-BASED SYSTEMS ENGINEERING TO THE DEVELOPMENT OF AUTONOMOUS VESSEL FUNCTIONS

2020 ◽  
Vol 1 ◽  
pp. 2455-2464
Author(s):  
O. Bleisinger ◽  
S. Forte ◽  
C. Apostolov ◽  
M. Schmitt
Keyword(s):  
Complex Systems ◽  
Systems Engineering ◽  
Usage Phase ◽  
Model Based ◽  
Civil Sector ◽  
External Actors ◽  
Model Based Systems Engineering ◽  
Autonomous Vessel ◽  
Operational Aspects

AbstractDeveloping autonomous functions for complex systems leads to high demands on the consideration of dependencies to external actors in the usage phase. In Model-Based Systems Engineering (MBSE), this can be achieved by modelling operational aspects. Operational aspects are model elements and their relationships to each other. In this contribution, modelling of operational aspects with a MBSE-approach will be demonstrated exemplary on a case study related to the development of a yacht with an autonomous docking assistant. Currently modelling operational aspects is not common in the civil sector.

scholarly journals Model-Based Systems Engineering Approach with SysML for an Automatic Flight Control System

2021 ◽  
Author(s):  
Haluk Altay ◽  
M. Furkan Solmazgül
Keyword(s):  
Control System ◽  
Complex Systems ◽  
Systems Engineering ◽  
Flight Control ◽  
Flight Control System ◽  
Engineering Approach ◽  
Model Based ◽  
Multidisciplinary Study ◽  
Model Based Systems Engineering

Systems engineering is the most important branch of engineering in interdisciplinary study. Successfully performing a multidisciplinary complex system is one of the most challenging tasks of systems engineering. Multidisciplinary study brings problems such as defining complex systems, ensuring communication between stakeholders, and common language among different design teams. In solving such problems, traditional systems engineering approach cannot provide an efficient solution. In this paper, a model-based systems engineering approach is applied with a case study and the approach is found to be more efficient. In the case study, the design of the helicopter automatic flight control system was realized by applying model-based design processes with integration of tools. Requirement management, system architecture management and model-based systems engineering processes are explained and applied of the case study. Finally, model-based systems engineering approach is proven to be effective compared with the traditional systems engineering methods for complex systems in aviation and defence industries.

Sign in / Sign up

Export Citation Format

Share Document