Smart mobile medical computing systems (SMDCSes), eg, mobile medical applications use
context information from the environment to provide useful and often critical healthcare …

Product-forms in Stochastic Petri nets (SPNs) are obtained by a compositional technique for
the first time, by combining small SPNs with product-forms in a hierarchical manner. In this …

Body area networks (BANs) are networks of wireless sensors and medical devices
embedded in clothing, worn on or implanted in the body, and have the potential to …

Body area networks (BANs) are networks of medical devices implanted within or worn on the
human body. Analysis and verification of BAN designs require (i) early feedback on the BAN …

Software performance engineering deals with the consideration of quantitative analysis of
the behaviour of software systems from the early development phases in the life cycle. This …

Performance is a critical non-functional parameter for real-time systems and performance
analysis is an important task making it more challenging for complex real-time systems …

Energy use is becoming a key design consideration in computing infrastructures and
services. In this paper we focus on service-based applications and we propose an …

According to EN 50129, manufacturers of rail vehicles shall justify via a safety case that their
vehicles are adequately safe for their intended applications. MBASafe is a recently proposed …

Performance is an important non-functional attribute to be considered for producing quality
software. Software performance engineering (SPE) is a methodology having significant role …

Modelling system security is not common practise in software projects yet. Among other
problems, there is not a widely accepted methodology which unifies the actual heterogeneity …