Review
Computer Science, Information Systems
Shakeel Ahamad, Ratneshwer
Summary: This review focuses on the performability analysis of safety critical systems, investigating existing approaches, strengths and limitations, challenges, and strategies. Unlike previous studies, it comprehensively examines both performance and reliability factors. The findings will aid scholars and novice researchers in making effective decisions on the performability of SCSs.
COMPUTER SCIENCE REVIEW
(2021)
Article
Multidisciplinary Sciences
Viacheslav Kovtun, Ivan Izonin, Michal Gregus
Summary: The article presents an information technology for calculating the functional safety metrics, which estimates the instance of the model of a cyber-physical system's operation. By analyzing expert evaluations and statistical processing results, objective estimates of the system are obtained, taking into account the system's configuration scheme and architecture, resulting in concise and easily interpretable evaluation results.
SCIENTIFIC REPORTS
(2022)
Article
Computer Science, Interdisciplinary Applications
Joanna Szkutnik-Rogoz, Jerzy Malachowski, Jaroslaw Ziolkowski
Summary: The aim of this study was to develop an innovative solution using the Laplace transform and the R programming language to determine the reliability measure of a system. A mathematical model based on the theory of reliability was established, and actual numerical data were used for calculations and analyses. An algorithm utilizing the Laplace transform was proposed to evaluate the system's reliability. Results showed that the proposed algorithm simplified complex calculations and allowed for visualization of results, making it a universal and cost-effective solution for determining reliability characteristics.
COMPUTERS & INDUSTRIAL ENGINEERING
(2023)
Article
Computer Science, Information Systems
Mojca Volk, Janez Sterle
Summary: This paper focuses on the application of 5G technology in the public safety and disaster relief sector, emphasizing the need for comprehensive experimentation to ensure its reliability. Through studying virtualized and cloud-native 5G technologies and testing various 5G architectures and deployment options, as well as conducting field performance verification trials, the results confirm the facility's support for 5G challenges and its ability to simulate laboratory experiments and meet the demands of real-world public safety operations.
Article
Computer Science, Interdisciplinary Applications
Qiang Zhou, Zi-Jun Cao, Dian-Qing Li, Kok-Kwang Phoon
Summary: Although reliability-based design is becoming more popular in geotechnical engineering, practitioners still prefer the simplicity of safety factor-based design. This study proposes sufficient conditions for achieving equivalence between these two design methods and demonstrates their validity using examples.
COMPUTERS AND GEOTECHNICS
(2022)
Review
Computer Science, Information Systems
Emil J. J. Khatib, Carlos Simon Alvarez-Merino, Hao Qiang Luo-Chen, Raquel Barco Moreno
Summary: This paper reviews the use cases and requirements, enabling technologies, and challenges in 6G networks, and proposes a flexible testbed architecture for conducting network location-related research and development. This architecture will enable the early validation of 6G technologies by deploying an evolving infrastructure.
Article
Computer Science, Information Systems
Yohannes B. Bekele, Daniel B. Limbrick, John C. Kelly
Summary: Fault Injection (FI) is a method used to evaluate the reliability and resilience of a system by assessing its ability to detect and mitigate faults. This paper presents a survey of FI techniques based on the QEMU emulator, categorizing and comparing them to help researchers understand their capabilities and limitations.
Article
Computer Science, Information Systems
Celso M. Hirata, Ana M. Ambrosio
Summary: This article investigates how to combine system-theoretic process analysis (STPA) with conformance and fault injection (CoFI) to identify system requirements and generate corresponding test cases.
IEEE SYSTEMS JOURNAL
(2022)
Review
Computer Science, Information Systems
Ijaz Ahmad, Felipe Rodriguez, Jyrki Huusko, Kari Seppanen
Summary: Sixth-generation communication networks must be highly dependable for critical infrastructures. Dependability is a compound metric of reliability, availability, safety, and security. This article explores the dependability of 6G networks using these concepts. It also studies the dependability of federated learning and mission-critical applications in 6G. The article provides important research directions for strengthening the dependability of 6G networks.
Review
Green & Sustainable Science & Technology
F. Naseri, S. Gil, C. Barbu, E. Cetkin, G. Yarimca, A. C. Jensen, P. G. Larsen, C. Gomes
Summary: Transportation electrification has seen advancements in battery technology and manufacturing, but faces challenges that can be overcome with digital twining. Digital twins utilize advanced models, AI, sensing units, IoT, and cloud computing to improve performance, safety, and cost-effectiveness of battery systems. Various studies have discussed applications and use cases for digital twins in battery management, testing, and the entire value chain. This comprehensive review examines potential use cases, enabling technologies, and requirements for battery digital twins, including electrical topics and software architectures.
RENEWABLE & SUSTAINABLE ENERGY REVIEWS
(2023)
Review
Computer Science, Information Systems
Jan Mach, Lukas Kohutka, Pavel Cicak
Summary: This paper discusses the importance of protecting on-chip bus interconnects and reviews existing protection approaches used in processors for mission and safety-critical applications. The protection approaches are categorized into three groups: information, temporal, and spatial redundancy, and compared based on their fundamental properties.
Article
Automation & Control Systems
Oleg Bisikalo, Oksana Danylchuk, Viacheslav Kovtun, Oksana Kovtun, Olena Nikitenko, Victoria Vysotska
Summary: The development of the infosphere leads to an increase in personalized information and the threats of unauthorized access. To ensure the dependability of critical information systems, mathematical modeling of system operation under negative factors is necessary. This article presents an improved mathematical model to analyze the impact of cyber attacks on system operation and provides methods to calculate the time to failure and describe the possible system states.
INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS
(2022)
Article
Clinical Neurology
Haitham Jahrami, Khaled Trabelsi, Zahra Saif, Md Dilshad Manzar, Ahmed S. Bahammam, Michael V. Vitiello
Summary: This systematic review investigates the reliability of the Athens Insomnia Scale (AIS) and finds that it has excellent internal consistency and test-retest reliability across different populations and settings. However, the review also suggests that future studies using the AIS should include and discuss reliability estimates based on their own data.
Article
Computer Science, Information Systems
Alberto Rodrigues Da Silva
Summary: This paper discusses linguistic patterns and styles for writing technical documentation systematically and consistently, proposing a cohesive set of patterns and styles for writing use cases and scenarios. It also presents 38 practical guidelines and conducts a pilot evaluation session with 24 subjects, showing positive feedback and scores. The adoption of these patterns, styles, and guidelines can help produce better requirements specifications written more systematically and consistently.
Article
Computer Science, Artificial Intelligence
Ming Yin, Pan Zhou, Taige Xu, Jijiao Jiang
Summary: Requirements are important in software development. Ambiguous requirements lead to problems such as rework and delayed delivery. Extracting actors and use cases from requirement texts is an effective solution. This study proposes a model using BiLSTM and CRF to automatically extract actors and use cases, and the results show significant improvement in accuracy compared to baseline methods.
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS
(2023)
Article
Computer Science, Software Engineering
Bart Meyers, Hans Vangheluwe, Joachim Denil, Rick Salay
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
(2020)
Article
Computer Science, Software Engineering
Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jezequel, Joerg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe
SOFTWARE AND SYSTEMS MODELING
(2020)
Article
Computer Science, Interdisciplinary Applications
Simon Van Mierlo, Hans Vangheluwe, Simon Breslav, Rhys Goldstein, Azam Khan
ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION
(2020)
Article
Computer Science, Software Engineering
Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann
Summary: This paper introduces a framework to describe paradigms and their combinations in the modeling of cyber-physical systems, aiming to support the combination of different formalisms and workflows, and provide a foundation for rigorous formal analysis.
SOFTWARE AND SYSTEMS MODELING
(2021)
Review
Chemistry, Multidisciplinary
Junda Ma, Guoxin Wang, Jinzhi Lu, Hans Vangheluwe, Dimitris Kiritsis, Yan Yan
Summary: This article presents a literature review on the usage and state of the art of the model-based systems engineering (MBSE) tool-chain, as well as the analysis of its usage, advantages, barriers, concerns, and trends.
APPLIED SCIENCES-BASEL
(2022)
Proceedings Paper
Computer Science, Interdisciplinary Applications
Randy Paredis, Joeri Exelmans, Hans Vangheluwe
Summary: This paper explores how Model Based Systems Engineering supports Cyber-Physical Systems design through complex workflows and manipulation of models in different formalisms. By extending the FTG+PM framework, the Process Trace is introduced to record all events of engineering activities and their produced/consumed artifacts in a technology-agnostic manner.
PROCEEDINGS OF THE 2022 ANNUAL MODELING AND SIMULATION CONFERENCE (ANNSIM'22)
(2022)
Proceedings Paper
Computer Science, Interdisciplinary Applications
Randy Paredis, Claudio Gomes, Hans Vangheluwe
Summary: Digital Twins (DTs) can enhance engineering efficiency by optimizing, analyzing, and adapting complex systems. However, there is currently a lack of consensus on the terminology and workflows, leading this paper to propose a more explicit modeling approach.
PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON INNOVATIVE INTELLIGENT INDUSTRIAL PRODUCTION AND LOGISTICS (IN4PL)
(2021)
Proceedings Paper
Computer Science, Interdisciplinary Applications
Bert Van Acker, Joachim Denil, Alexander De Cock, Hans Vangheluwe, Moharram Challenger
Summary: During the product design process, front-loading assembly or production knowledge can reduce costly design iterations but also increase design complexity, requiring a clear co-design process. The use of a Knowledge Base facilitates knowledge exchange between stakeholders and tools, providing handles for data integration, exchange, and collaboration.
24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021)
(2021)
Proceedings Paper
Computer Science, Information Systems
Bentley James Oakes, Mehrdad Moradi, Simon Van Mierlo, Hans Vangheluwe, Joachim Denil
Summary: This study aims to streamline the labor-intensive process of Hazard Analysis and Risk Assessment (HARA) for safety-critical automotive components by using machine learning-based fault injection. The Simulation-Aided Hazard Analysis and Risk Assessment (SAHARA) methodology is used to visually present and suggest hazard classification to safety engineers. Demonstrations show that this approach can discover, visualize, and classify hazardous situations in a (semi-)automated manner in around twenty minutes.
COMPUTER SAFETY, RELIABILITY, AND SECURITY (SAFECOMP 2021)
(2021)
Proceedings Paper
Computer Science, Software Engineering
Bentley James Oakes, Ali Parsai, Simon Van Mierlo, Serge Demeyer, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe
Summary: Digital twins are widely used in industrial domains, but there is still disagreement about their precise definition and essential characteristics. To address these issues, a conceptual structure is provided as a common understanding and checklist to help researchers and practitioners accurately describe the characteristics and capabilities of digital twin solutions.
PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD)
(2021)
Proceedings Paper
Computer Science, Software Engineering
Claudio Gomes, Casper Thule, Levi Lucio, Hans Vangheluwe, Peter Gorm Larsen
SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2019
(2020)
Proceedings Paper
Computer Science, Interdisciplinary Applications
Randy Paredis, Simon Van Mierlo, Hans Vangheluwe
2020 WINTER SIMULATION CONFERENCE (WSC)
(2020)
Proceedings Paper
Computer Science, Interdisciplinary Applications
Yentl Van Tendeloo, Randy Paredis, Hans Vangheluwe
2020 WINTER SIMULATION CONFERENCE (WSC)
(2020)
Proceedings Paper
Computer Science, Theory & Methods
Simon Van Mierlo, Hans Vangheluwe
2019 WINTER SIMULATION CONFERENCE (WSC)
(2019)
Proceedings Paper
Computer Science, Theory & Methods
Yentl Van Tendeloo, Hans Vangheluwe, Romain Franceschini
2019 WINTER SIMULATION CONFERENCE (WSC)
(2019)