Requirements engineering for safety-critical systems: overview and challenges

LEG Martins, T Gorschek - IEEE software, 2017 - ieeexplore.ieee.org
In a world that depends increasingly on complex, critical, and intertwined systems,
requirements engineering is crucial to develo** and maintaining safety-critical systems …

Supporting model-based safety analysis for safety-critical IoT systems

F Ihirwe, D Di Ruscio, K Di Blasio… - Journal of Computer …, 2024 - Elsevier
Dependability is regarded as the ability of the system to provide services that can be trusted
within a specific period. As the complexity and heterogeneity of Internet of Things (IoT) …

Enhancing project success: the impact of sociotechnical integration on project and program management using earned value management systems

V Aramali, GE Gibson, H Sanboskani… - International Journal of …, 2024 - emerald.com
Purpose Earned value management systems (EVMS), also called integrated project and
program management systems, have been greatly examined in the literature, which has …

[HTML][HTML] Assessing risk of AR and organizational changes factors in socio-technical robotic manufacturing

SS Bahaei, B Gallina - Robotics and Computer-Integrated Manufacturing, 2024 - Elsevier
Technological changes such as the use of Augmented Reality (AR) along with the advent of
new organizational changes such as digitalization are on the one hand positively changing …

Using a cognitive psychology perspective on errors to improve requirements quality: An empirical investigation

V Anu, G Walia, W Hu, JC Carver… - 2016 IEEE 27th …, 2016 - ieeexplore.ieee.org
Software inspections are an effective method for early detection of faults present in software
development artifacts (eg, requirements and design documents). However, many faults are …

Towards a modeling and analysis environment for industrial IoT systems

F Ihirwe, D Di Ruscio, S Mazzini… - arxiv preprint arxiv …, 2021 - arxiv.org
The development of Industrial Internet of Things systems (IIoT) requires tools robust enough
to cope with the complexity and heterogeneity of such systems, which are supposed to work …

[PDF][PDF] CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems.

S Mazzini, JM Favaro, S Puri, L Baracchi - EduSymp/OSS4MDE …, 2016 - ceur-ws.org
This paper presents the CHESS open source methodology and toolset, aiming to improve
MDE practices and technologies to better address safety, reliability, performance …

Model-based analysis support for dependable complex systems in CHESS

A Debiasi, F Ihirwe, P Pierini, S Mazzini… - … Conference on Model …, 2021 - hal.science
The challenges related to dependable complex systems are heterogeneous and involve
different aspects of the system. On one hand, the decision-making processes need to take …

SafeConcert: A metamodel for a concerted safety modeling of socio-technical systems

L Montecchi, B Gallina - International Symposium on Model-Based Safety …, 2017 - Springer
Socio-technical systems are characterized by the interplay of heterogeneous entities ie,
humans, organizations, and technologies. Application domains such as petroleum, e-health …

Multiconcern, dependability-centered assurance via a qualitative and quantitative coanalysis

B Gallina, L Montecchi, AL De Oliveira… - IEEE …, 2022 - ieeexplore.ieee.org
To contribute to multiconcern assurance, we focus on system design and present a high-
level process that builds on top of the synergy between qualitative and quantitative …