Constructing true model-based requirements in SysML

A Salado, P Wach - Systems, 2019 - mdpi.com
Some authors suggest that transitioning requirements engineering from the traditional
statements in natural language with shall clauses to model-based requirements within a …

Model-based requirements engineering: Architecting for system requirements with stakeholders in mind

Y Mordecai, D Dori - 2017 IEEE International Systems …, 2017 - ieeexplore.ieee.org
Specifying system requirements (SysReqs) is a critical activity in complex systems
development. The SysReqs and emerging architecture are constructed through gradual and …

The need for semantic extension of SysML to model the problem space

P Wach, A Salado - Recent Trends and Advances in Model Based …, 2022 - Springer
Requirements in natural language, like shall statements, while commonly used, present
inherent limitations in terms of accuracy and precision. Modeling requirements within a …

Repetition between stakeholder (user) and system requirements

R Ellis-Braithwaite, R Lock, R Dawson… - Requirements Engineering, 2017 - Springer
Stakeholder requirements (also known as user requirements) are defined at an early stage
of a software project to describe the problem (s) to be solved. At a later stage, abstract …

Model-based security requirements for cyber-physical systems in SysML

P Wach, A Salado - 2020 IEEE Systems Security Symposium …, 2020 - ieeexplore.ieee.org
Capturing system requirements with accuracy and precision remains a challenge for secure
cyber-physical systems. Current research efforts continue to fundamentally rely on natural …

Model-based requirements

A Salado - Handbook of Model-Based Systems Engineering, 2023 - Springer
This chapter presents several approaches to capture requirements using models. The
different modeling constructs are presented, followed by examples of how they work when …

True model-based requirements (TMBR): Application to an Earth observation satellite

P Wach, A Salado - AIAA Scitech 2021 Forum, 2021 - arc.aiaa.org
View Video Presentation: https://doi. org/10.2514/6.2021-0094. vid The capture of system
requirements with accuracy and precision remains a challenge for space systems. There is …

[HTML][HTML] Structured Representation of Pre-Defined Information Backflow in Standards and Directives

M Layer, J Luttmer, A Nagarajah, R Stelzer - Standards, 2024 - mdpi.com
This publication examines the representation of information within test specifications and
formulas defined in standards and directives. This information often pre-defines not only the …

Model-Based Requirements (TMBR) of a Satellite TTC Transponder

P Wach, A Salado - 2021 IEEE Aerospace Conference (50100), 2021 - ieeexplore.ieee.org
Accuracy and precision remains a challenge for capturing system requirements in general,
space systems are no exception. Current research efforts continue to fundamentally rely on …

From model-based requirements to a virtual systems engineering advisor that identifies gaps in requirements: An application to space systems

A Salado - ASCEND 2020, 2020 - arc.aiaa.org
Requirements have traditionally had a prominent role in the development of space systems.
Engineers pursue completeness when establishing sets of requirements to avoid …