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 …

An llm-based approach to recover traceability links between security requirements and goal models

J Hassine - Proceedings of the 28th International Conference on …, 2024 - dl.acm.org
The recovery of requirements traceability links between goal models and requirements is
crucial for ensuring alignment between stakeholder objectives and system specifications …

Automatic test cases generation from business process models

A Yazdani Seqerloo, MJ Amiri, S Parsa… - Requirements …, 2019 - Springer
Traditional test case generation approaches focus on design and implementation models
while a large percentage of software errors are caused by the lack of understanding in the …

Preliminary systematic literature review of software and systems traceability

H Kaiya, R Sato, A Hazeyama, S Ogata, T Okubo… - Procedia computer …, 2017 - Elsevier
Traceability is important knowledge for improving the artifacts of software and systems and
processes related to them. Even in a single system, various kinds of artifacts exist. Various …

Using model-based systems engineering to avoid unnecessary technology resulting from dynamic requirements

V Mittal, S Gillespie - IEEE Transactions on Engineering …, 2022 - ieeexplore.ieee.org
As systems develop and evolve, operational requirements, system architecture, and
technological capabilities change. These changes can result in design changes, making …

A comparative experiment between textual requirements and model‐based requirements on proxies for contractual safety

A Salado, N Shadab - Systems Engineering, 2024 - Wiley Online Library
Requirements form the backbone of contracting in acquisition programs. Requirements
define the problem boundaries within which contractors try to find acceptable solutions …

Using obstacle analysis to support SysML-based model testing for cyber physical systems

M Alenazi, N Niu, W Wang… - 2018 IEEE 8th …, 2018 - ieeexplore.ieee.org
Cyber-physical systems play a crucial role in various applications, ranging from critical
infrastructure control like power grid to the technological revolution of Industry 4.0 aimed to …

[PDF][PDF] A survey-driven feature model for software traceability approaches

ER Batot, S Gérard, J Cabot - International Conference on …, 2022 - library.oapen.org
Traceability is the capability to represent, understand and analyze the relationships between
software artefacts. Traceability is at the core of many software engineering activities. This is …

Topology-aware VM placement for network optimization in cloud data centers

Z Lian, X Li, X Qin - … on Parallel and Distributed Processing with …, 2017 - ieeexplore.ieee.org
Cloud data centers are hosting more and more complicated applications or services. This
makes the network bandwidth becoming essential and critical for the normal application …

Traceability for automated production systems: a position paper

M Alenazi, N Niu, W Wang… - 2017 IEEE 25th …, 2017 - ieeexplore.ieee.org
Automated production systems are design-to-order, custom-built mechatronic systems that
are intended to deliver automation capabilities to satisfy the stakeholder requirements in the …