The role of information systems (IS) as representations of real-world systems is changing in
an increasingly digitalized world, suggesting that conceptual modeling is losing its …

Considering the safety significance, safety critical systems (SCS) of nuclear power plant
(NPP) needs to be validated for their performance. Authors are putting their continuous …

Making an effective traffic strategy is a challenging problem that involves efficiency and
safety, where traffic lights play an important role. Especially in cases without traffic lights …

During the last decade, researchers have proposed a number of model transformations
enabling performance predictions. These transformations map performance-annotated …

Technological progress in recent years in the Cyber-Physical Systems (CPSs) area has
given designers unprecedented possibilities and computational power, but as a …

High-availability assurance of cloud service is a critical and challenging issue for cloud
service providers. To quantify the availability of cloud services from both architectural and …

Life critical applications like space missions and flight controls require their computing
systems to be equipped with some fault-tolerance mechanism to meet stringent reliability …

A software model can be analysed for non-functional requirements by extending it with
suitable annotations and transforming it into analysis models for the corresponding non …

The multifaceted nature of cyber-physical systems needs holistic study methods to detect
essential aspects and interrelations among physical and cyber components. Like the …

In Software Engineering, early detection of architectural issues is key. It helps mitigate the
risk of poor performance, and lowers the cost of repairing these issues. Metrics give a quick …