13:30 - 14:40: "Continual Verification of Non-Functional Properties in Cloud-Based Systems"
Abstract: Cloud-based systems are used to deliver business-critical and safety-critical services in domains ranging from e-commerce and e-government to finance and healthcare. Many of these systems are expected to comply with strict non-functional requirements while evolving in order to adapt to changing workloads and environments. To achieve such compliance, formal techniques traditionally employed to verify the non-functional properties of critical systems during their design must also be used during their operation. This talk will describe how a formal technique called quantitative verification can be used to verify evolving cloud-based systems continually. Quantitative verification is a mathematically based technique for the modelling and analysis of the correctness, performance and reliability of systems that exhibit stochastic behaviour. The talk will present several successful applications of the technique in cloud-based systems, and will discuss the research challenges that must be addressed in order to extend its applicability to additional cloud computing scenarios.
14:40 - 15:00 "Resource Contention Analysis of Cloud-based System through fUML-driven Model Execution"
15:30 - 15:50 "Performance Modeling of Distributed Collaboration Services with Independent Inputs/Outpus"
15:50 - 16:10 "Co-Evolution of Software Architecture and Fault Tree models: An Explorative Case Study on a Pick and Place Factory Automation System"
16:10 - 16:30 "Integrated Timing Analysis in the Model-Driven Design of Automotive Systems"
16:30 - 16:50 "A Continuous Design Validation based on Non-functional Requirements"