Previous month Previous day Next day Next month
By Year By Month By Week Today Search Jump to month

Guest Talk: "Implementing Reliable Software with Model-Driven Development"

Download as iCal file
Tuesday, 8. September 2015, 17:00 - 18:00
Category: Lectures & Presentations | created by This email address is being protected from spambots. You need JavaScript enabled to view it.

Sebastian Gabmeyer, Business Informatics Group, TU Wien gives a talk about "Implementing Reliable Software with Model-Driven Development"

Abstract: In today‘s software, defects and failures are more common than not. From a brief look at the history of software development we learn that defects in safety-critical, presumably reliable, software can have troublesome consequences.  Numerous techniques have thus been proposed over the past decades to ensure that computations performed by software satisfy their specification.  Parallel to these developments, which led to test-based and verification-based quality assurance techniques, the software development process has changed considerably.  Nowadays, best practices suggest a combination of agile, iterative, test-driven or model-driven paradigms to complete a software development project in a timely and stakeholder-satisfying manner, yet, advances in the development process demand adaptions of the quality assurance techniques.

In this talk I will thus focus on the model-driven development of reliable software and, in particular, on the verification of models and model transformations.  For this purpose, I will introduce two novel, model checking based verification tools, called MocOCL and Gryphon, that can automatically assert whether a system starting in a given initial state is correct with respect to its specification.  Along an in depth discussion of the underlying techniques realized in the two tools I present several running examples that demonstrate the broad applicability of MocOCL and Gryphon.

Location SBA Research gGmbH, Vienna
Contact Bettina Bauer (This email address is being protected from spambots. You need JavaScript enabled to view it.)