VECS

The Verification Environment for Critical Systems (VECS) was designed to allow engineers to use model-based analyzing techniques without the need to gain deep knowledge in the field of formal model checkers. We aim at creating an intuitive and user-friendly experience, hiding the technical layer of this type of analysis and displaying the results of the formal model checkers in a comprehensive way.

Read More

Contact

We are happy that you are interested in VECS and are open to questions. Contact us!

Read More

TrySAML

On trysaml.org we aim to provide you with the best-possible introduction to the world of modelchecking! TrySAML offers you an editor to test and experiment with the language SAML. TrySAML includes tutorials to learn the language.
Read More

Case Studies

The Saml language consists of several modeling features, like qualitative and quantitative elements, templates or failure components. They enables the engineer to easily models with systems with different apspects as well as for a wide range of analyzis. To evaluate the praticability of our language and VECS, we modeled several case studies. 

Read More

Why and What? In this section we give an overview over motivation and the core features of VECS.

Read more: Product

On trysaml.org we aim to provide you with the best-possible introduction to the world of modelchecking! TrySAML offers you an editor to test and experiment with the language SAML. TrySAML includes tutorials to learn the language.

Read more: TrySAML

Am Donnerstag, dem 08.09.2016 veranstaltete der Lehrstuhl für Software Engineering der Otto-von-Guericke Universität Magdeburg unter Leitung von Prof. Dr. Frank Ortmeier mit großem Erfolg den dritten Expertenworkshop zum Thema „Anwendung innovativer modellbasierter Sicherheitsanalysemethoden im Zulassungsprozess sicherheitskritischer Anwendungen“.

Read More