Software Engineering Research Project (Probabilistic Verification and Model-Based Quality Evaluation), Swinburne University of Technology, Australia
Model Based Development (MBD) has established itself as the key approach to software engineering of increasingly complex systems in automotive and aerospace domains. It has proved successful at managing complexity associated with functionality. A new approach is to use model-based techniques also for quality evaluation and predictions. Since most of quality attributes such as performance, reliability, availability, safety, and security have a probabilistic nature, probabilistic verification techniques are the best solution to perform model-based quality evaluation. The research project shall explore the possibilities of probabilistic modelling and verification techniques to reason about quality attributes early in the software development lifecycle. To get a detailed introduction into this research project please have a look at the following background literature: * Controller dependability analysis by probabilistic model checking ( http://dx.doi.org/10.1016/j.conengprac.2006...