Mobile and general-purpose robots increasingly support everyday life, requiring
dependable robotics control software. Creating such software mainly amounts to …

Isolating fine-grained business functionalities byboundaries into entities called
microservices is a core activityunderlying microservitization. We define microservitization …

Context Software architecture design creates and documents the high-level structure of a
software system. Such structure, expressed in architectural models, comprises software …

Abstract Model-based robustness testing requires precise and complete behavioral,
robustness modeling. For example, state machines can be used to model software behavior …

Engineering dependable software for mobile robots is becoming increasingly important. A
core asset to engineering mobile robots is the mission specification-a description of the …

Architectural languages (ALs) have attracted much attention as the modeling notations for
specifying and reasoning about important design decisions. In this study, 124 different …

Cyber-physical systems (CPSs) are deemed as the key enablers of next generation
applications. Needless to say, the design, verification and validation of cyber-physical …

Abstract Context Architecture description languages (ADLs) are a well-accepted approach to
software architecture representation. The majority of well-known ADLs are defined by means …

This work presents an approach called Ambient-PRISMA for modelling and developing
distributed and mobile applications. Ambient-PRISMA enriches an aspect-oriented software …

Context: Testing for properties such as robustness or security is complicated because their
concerns are often repeated in many locations and muddled with the normal code. Such …