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 …

Abstract The engineering of IoT (Internet of Things) systems brings about various challenges
due to the inherent complexities associated with such adaptive systems. Addressing the …

The effectiveness of the information system that a particular organisation uses for running its
business depends largely on the success in modelling such business. This is due to the fact …

Discovering and documenting potential abnormal situations and irregular user behavior that
can interrupt normal system interaction is of tremendous importance in the context of …

Operation modes are useful structuring units that facilitate design of several safety-critical
systems such as such as avionic, transportation and space systems. Although some support …

Recent research has focused on extending standard requirements elicitation processes to
address potential abnormal situations that can interrupt normal system interaction at run …

The two dependability means considered in this paper are rigorous design and fault
tolerance. It can be complex to rigorously design some classes of systems, including fault …

Survivability is a crucial property for those systems–such as critical infrastructures or military
Command and Control Information Systems–that provide essential services, since the latter …

In this paper, we propose an integration of the Unified Process and a Dependability Analysis
and Modeling (DAM) profile to support quantifiable, testable reliability and availability …

Today, numerous organisations rely on information software systems to run their
businesses. The effectiveness of the information software system then, depends largely on …