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 …

In this position paper, we explore the opportunities and challenges of running pocket
hypervisors on commodity mobile devices through four proposed applications: secure …

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE
explains how to apply the complex MARTE standard in practical situations. This …

The class of Trustworthy Autonomous Systems (TAS) includes cyber-physical systems
leveraging on self-x technologies that make them capable to learn, adapt to changes, and …

Context: Software quality estimation is a challenging and time-consuming activity, and
models are crucial to face the complexity of such activity on modern software applications. In …

Communication both between development teams and between individual developers is a
common source of safety-related faults in safety–critical system design. Communication …

Our society increasingly depends on computer-based systems; the number of applications
deployed has increased dramatically in recent years and this trend is accelerating. Many of …

Context With the ever-increasing evolution of software systems, their architecture is subject
to frequent changes due to multiple reasons, such as new requirements. Appropriate …

Patterns embody the experience and knowledge of designers and are effective ways to
improve nonfunctional aspects of software systems. Although there are several catalogs and …

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 …