Abstract Model-based safety assessment (MBSA) has been one of the major research
thrusts of the System Safety Engineering community for about three decades. It has attracted …

The ever-increasing complexity of cyber-physical systems is driving the need for assurance
of critical infrastructure and embedded systems. However, traditional methods to secure …

Requirements traceability is broadly recognized as a critical element of any rigorous
software development process, especially for building safety-critical software (SCS) systems …

In general, the safety critical systems are zero error tolerance systems, designed with the
high precision approach and with maximum perfection. Hence the authors attempted to …

This paper describes a knowledge-based approach that can reason about effects of faults
and causes of abnormal situations in building automation systems (BAS). Combining an …

The hybrid architecture analysis and design language (AADL) has been proposed to model
the interactions between embedded control systems and continuous physical environment …

Embedded system design is a complex process that demands an extensive system level
modeling. Its implementation encompasses software and hardware components and its …

The problem of how to best classify system errors has been a topic of research for years. In
this paper, we present an established taxonomy that draws on a broad range of previous …

Abstract Model-based systems engineering approaches are commonly used for the
development of various heterogeneous mechatronic systems including nowadays popular …

In modern and complex production systems, the focus is shifted toward the software part.
Software-Defined Manufacturing (SDM) and Cyber-Physical Production Systems (CPPS) …