The notion of nuclear reactors with battery-like capabilities, called fission batteries, puts forth
system requirements and design constraints that have so far been unseen in the nuclear …

This paper addresses a probabilistic approach to error propagation analysis of a
mechatronic system. These types of systems require highly abstractive models for the proper …

This paper conducts a focused probabilistic risk assessment (PRA) on the reliability of
commercial off-the-shelf (COTS) drones deployed for surveillance in areas with diverse …

The reduction of the effort required for integration of a module into a production plant is the
fundamental aim of modular plant architectures. Effective module integration can be …

Model-driven software development methods are widely used in safety-critical domains
including space robotics. The MATLAB Simulink environment is the common choice of …

Mechatronic systems consist of heterogeneous components: mechanical parts, hardware,
and software. Appropriate models, which describe the mutual physical interaction on …

Embedded hardware and software systems are vulnerable to environmental impacts, such
as single event upsets or electromagnetic interference that may cause silent data corruption …

Failures of avionic and aerospace control hardware, caused by negative environmental
impacts like increasing heat or cosmic radiation, can lead to silent data corruption and …

Concurrent processes of distributed systems might be not perfectly synchronized because of
various design limitations. This is a potential cause of timing errors, eg a data package from …

This paper discusses modern model-based design aspects for ensuring high dependability
of mechatronic systems, ie ensuring most reliable and safe operation under presence of non …