The goal is to survey dependability modeling and analysis of software and systems specified
with UML, with focus on reliability, availability, maintainability, and safety (RAMS). From the …

We study the hardware cost of implementing hash-tree based verification of untrusted
external memory by a high performance processor. This verification could enable …

SysML language, proposed by OMG, is a commonly accepted standard to model and study
systems-of-systems (SoS). It provides the means to depict SoS components and their …

The wall between computer science and electrical engineering has kept the potential of
embedded systems at bay. It is time to build a new scientific foundation with embedded …

At the dawn of the 21st century and the information age, communication and c-puting power
are becoming ever increasingly available, virtually pervading almost every aspect of modern …

During the last two decades, a major challenge for the researchers working on modeling
and evaluation of computer-based systems has been the assessment of system Non …

Abstract Self-Adaptive Systems modify their behavior at run-time in response to changing
environmental conditions. For these systems, Non-Functional Requirements play an …

Recent studies indicate that the number of system failures caused by main memory errors is
much higher than expected. In contrast to the commonly used hardware-based …

UML statecharts are widely used to specify the dynamic behaviours of systems. To support
systematic simulation of such models, we propose an approach to map systems specified …

Software systems that do not meet their timing constraints can cause risks. In this work, we
propose a comprehensive method for assessing the risk of timing failure by evaluating the …