Telefon: +43(0) 662 834 602 - 0

Program

13:30 - 14:40: "Continual Verification of Non-Functional Properties in Cloud-Based Systems"
Radu Calinescu, University of York
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"
Martin Fleck, Vienna University of Technology
Luca Berardinelli, University of L'Aquilla
Philip Langer, Vienna University of Technology
Tanja Mayerhofer, Vienna University of Technology
Vittorio Cortellessa, University of L'Aquilla
 
15:00 - 15:30 Break
 
15:30 - 15:50 "Performance Modeling of Distributed Collaboration Services with Independent Inputs/Outpus"
Toqeer Israr, University of Ottawa
Gregor Bochmann, University of Ottawa
 
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"
Sinem Getir, University of Stuttgart
Andre van Hoorn, University of Stuttgart
Lars Grunske, University of Stuttgart
Matthias Tichy, Chalmers University of Technology and University of Gothenburg
 
16:10 - 16:30 "Integrated Timing Analysis in the Model-Driven Design of Automotive Systems"
Dulcineia Oliveira Da Penha, Fraunhofer Institute for Embedded Systems and Communication Technologies ESK
Gereon Weiss, Fraunhofer Institute for Embedded Systems and Communication Technologies ESK
 
16:30 - 16:50 "A Continuous Design Validation based on Non-functional Requirements"
Alexandra Mazak, Research Studios Austria Forschungsgesellschaft mbH
Horst Kargl, SparxSystems Software GmbH
Marko Boskovic, Research Studios Austria Forschungsgesellschaft mbH
 
16:50 - 17:00 Wrap up discussion session
 

Telefon: +43(0) 662 834 602 - 0