Constructing True Model-Based Requirements in SysML

Salado, Alejandro; Wach, Paul

doi:10.3390/systems7020019

Cited by 32 publications

(37 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Although recent work on model-based requirements [81] and value models continues to emphasize the need for mathematical rigor in SE, there is still a lack for a formalism that can enable direct and rigorous representation of stakeholder preferences, facilitate evaluation of consistency in preferences, and enable distributed decision-making in a multi-agent organization. This article moves towards a holistic model-centric approach for preference representation and communication.…”

Section: Discussionmentioning

confidence: 99%

Theoretical Foundations for Preference Representation in Systems Engineering

Kannan

Bhatia

Mesmer

et al. 2019

Systems

View full text Add to dashboard Cite

The realization of large-scale complex engineered systems is contingent upon satisfaction of the preferences of the stakeholder. With numerous decisions being involved in all the aspects of the system lifecycle, from conception to disposal, it is critical to have an explicit and rigorous representation of stakeholder preferences to be communicated to key personnel in the organizational hierarchy. Past work on stakeholder preference representation and communication in systems engineering has been primarily requirement-driven. More recent value-based approaches still do not offer a rigorous framework on how to represent stakeholder preferences but assume that an overarching value function that can precisely capture stakeholder preferences exists. This article provides a formalism based on modal preference logic to aid in rigorous representation and communication of stakeholder preferences. Formal definitions for the different types of stakeholder preferences encountered in a systems engineering context are provided in addition to multiple theorems that improve the understanding of the relationship between stakeholder preferences and the solution space.

show abstract

Section: Discussionmentioning

confidence: 99%

Theoretical Foundations for Preference Representation in Systems Engineering

Kannan

Bhatia

Mesmer

et al. 2019

Systems

View full text Add to dashboard Cite

show abstract

“…Additionally, the use of SysML can facilitate communication and make design easier between system users, maintenance personnel, and those who may debug, integrate, extend, modify and change the system [46]. SysML is mainly composed of nine types of diagrams: activity diagrams, sequence diagrams, state machine diagrams, use case diagrams, requirement diagrams, block definition diagrams, internal block diagrams, parameter diagrams and package diagrams [47]. The mapping relationship between FFIP and SysML elements is shown in Table 3.…”

Section: Improvement Of Sysml Based On Failure Logic 41 Conversion Methods From Ffip To Sysmlmentioning

confidence: 99%

An Improved FFIP Method Based on Mathematical Logic and SysML

et al. 2021

View full text Add to dashboard Cite

In recent years, the model-based safety analysis (MBSA) has been developing continuously. The Functional Failure Identification and Propagation (FFIP) method is a graphics processing technology which supports the analysis of fault propagation paths before making costly design commitments. However, the traditional FFIP has some deficiencies. In this paper, we extend the functional failure logic (FFL) in the FFIP and introduce the concept of deviation. So, FFIP can be used to analyze the failure process of the systems and make the logical analysis of functional failure easier. Based on the extended FFL, we present a new overview of the FFIP. The FFIP is improved by using mathematical logic and Systems Modeling Language (SysML). The standard expression of FFL is realized, which is conducive to the subsequent modeling and modification. Additionally, we use the failure logic analysis in the FFIP to improve the state machine diagram (SMD) in SysML. Finally, the improved FFIP method is used to analyze the fault propagation paths of the system and Simulink is used for simulation. The fault tree is generated according to the simulation results, the minimum cut set is calculated, and the key failure parts of the system are obtained.

show abstract

“…In order to avoid this, innovative approaches are proposed (e.g. [37], [38]), where SysML elements are used to model requirement statements. However, other researchers (e.g.…”

Section: Literature Review On the Definition And Modeling Of Stakeholders Needs And Requirementsmentioning

confidence: 99%

An MBSE Architectural Framework for the Agile Definition of System Stakeholders, Needs and Requirements

Boggero

Ciampa

Nagel

2021

Aiaa Aviation 2021 Forum

View full text Add to dashboard Cite

Model Based Systems Engineering (MBSE) approaches are rapidly spreading among organizations and industries due to all their claimed benefits over traditional documentbased approaches. Benefits include for instance enhanced design quality of systems, clearer development of system requirements and specifications and improved communications within the design teams. Currently, MBSE methods and tools are mainly employed to successfully develop complex systems, such as aircraft or its components. However, this paper proposes to adopt MBSE also in the design of development systems, which aim to design complex systems. In particular, this paper focuses on the first activities of a typical Systems Engineering Product Development process: identification of system stakeholders, collection of their needs and development of system requirements. The main outcome delivered from this paper is an architectural framework, i.e. a guideline for the modeling of complex systems. More specifically, the architectural framework is still under development, and hence the current version focuses on the modeling of stakeholders, needs and requirements of complex systems. The focus of the proposed architectural framework is on the agility for the definition phases of complex systems. In other words, it is developed to streamline, improve and accelerate the definition and modeling of complex systems. Details of the architectural framework including the means to represent all the system information are provided. In addition, the architectural framework for the development of complex systems is supported by an MBSE development system, currently being addressed in the EUfunded research project AGILE 4.0. The MBSE development system is presented in this paper together with an example of its application for the definition of complex systems: an horizontal tail plane for a regional jet aircraft, designed and manufactured within an aeronautical supply chain consisting of different companies. Nomenclature

show abstract

Constructing True Model-Based Requirements in SysML

Cited by 32 publications

References 31 publications

Theoretical Foundations for Preference Representation in Systems Engineering

Theoretical Foundations for Preference Representation in Systems Engineering

An Improved FFIP Method Based on Mathematical Logic and SysML

An MBSE Architectural Framework for the Agile Definition of System Stakeholders, Needs and Requirements

Contact Info

Product

Resources

About