Abstract Context: Safety-Critical Systems (SCS) require more sophisticated requirements
engineering (RE) approaches as inadequate, incomplete or misunderstood requirements …

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 …

The intent of this document is to define a common case study for the aspect-oriented
modeling research community. The domain of the case study is crisis management systems …

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 …

Requirements engineering (RE) plays an essential role in the success of system and
software development. Textual use case models are valuable for capturing diverse …

The engineering of IoT systems brings about various challenges due to the inherent
complexities associated with such adaptive systems. Addressing the adaptive nature of IoT …

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 …

An overview of the techniques traditionally used in dependability analysis that are compliant
with current industrial standards (ie, the International Electrotechnical Commission …

Context: A suitable representation of Safety-Critical Systems (SCS) requirements is crucial to
avoid misunderstandings in safety requirements and issues in safety specification. However …

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