[HTML][HTML] Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri nets

N Ali, S Punnekkat, A Rauf - Journal of Systems and Software, 2024 - Elsevier
Context Collaborative systems enable multiple independent systems to work together
towards a common goal. These systems can include both human-system and system-system …

A taxonomy for system of autonomous systems

M Torkjazi, AK Raz - 2022 17th Annual System of Systems …, 2022 - ieeexplore.ieee.org
Artificial Intelligence and machine learning is rapidly equip** modern systems with real-
time learning and autonomous decision-making capabilities allowing these systems to …

A Review on Integrating Autonomy into System of Systems: Challenges and Research Directions

M Torkjazi, AK Raz - IEEE Open Journal of Systems …, 2024 - ieeexplore.ieee.org
Artificial intelligence and machine learning (AI/ML) technologies convert conventional
engineered systems into autonomous systems that are capable of performing tasks in their …

Model‐based analysis and specification of functional requirements and tests for complex automotive systems

C Wiecher, C Mandel, M Günther… - Systems …, 2024 - Wiley Online Library
The specification of requirements and tests are crucial activities in automotive development
projects. However, due to the increasing complexity of automotive systems, practitioners fail …

Using SysML models as digital twins for early validation of modular systems and systems of systems

H Wagner, L Portenlänger… - 2023 18th Annual System …, 2023 - ieeexplore.ieee.org
For early validation of system concepts, reviews of SysML models can be complemented by
employing simulation models as virtual prototypes. Such simulation models can be …

A systematic identification of formal and semi-formal languages and techniques for software-intensive systems-of-systems requirements modeling

CA Lana, M Guessi, PO Antonino… - IEEE systems …, 2018 - ieeexplore.ieee.org
Software-intensive systems-of-systems (SoS) refer to an arrangement of managerially and
operationally independent systems (ie, constituent systems), which work collaboratively …

Towards an Approach to Co‐Execute System Models at the Enterprise Level

J Bankauskaite, Z Strolia, A Morkevicius - INSIGHT, 2024 - Wiley Online Library
ABSTRACT Industry 4.0, the Internet of Things, and large‐scale system‐to‐system
interactions are driving digital transformation in the industry. Model‐based systems …

A feature-oriented approach: from usage scenarios to automated system of systems validation in the automotive domain

C Wiecher - Proceedings of the 23rd ACM/IEEE International …, 2020 - dl.acm.org
New mobility solutions can be characterized as a System of Systems (SoS). SoS
characteristics such as emergent system behavior and the operational and managerial …

[HTML][HTML] On the verification of mission-related properties in software-intensive systems-of-systems architectural design

E Silva, T Batista, F Oquendo - Science of Computer Programming, 2020 - Elsevier
One of the prominent domains of nowadays software engineering concerns on building and
maintaining the so-called system-of-systems (SoS). The activity of integrating independent …

[PDF][PDF] Mitigation ontology for analysis of safety-critical systems

N Ali, K Lundqvist, K Hänninen - the 34-th European Safety and …, 2024 - es.mdh.se
This study introduces a Mitigation Ontology (MO) designed for the analysis of safety-critical
systems. Recognizing the paramount importance of systematically addressing potential risks …