MADES: A tool chain for automated verification of UML models of embedded systems

Alek Radjenovic*, Nicholas Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution


The benefits of Model Driven Development may be achieved through exploitation of its potential for automation. Automated model verification is one of the most important examples of this. The usage of automated model verification in everyday software engineering practice is far from widespread. One of the reasons for this is that model designers do not have the necessary background in mathematical methods. An approach where model designers can remain working in their domain while the verification is performed on demand, automatically and transparently, is desirable. We present one such approach using a tool chain built atop mature, popular and widespread technologies. Our approach was verified on industrial experiments from the embedded systems domain in the fields of avionics and surveillance.

Original languageEnglish
Title of host publicationModelling Foundations and Applications - 8th European Conference, ECMFA 2012, Proceedings
Number of pages12
Publication statusPublished - 25 Jul 2012
Event8th European Conference on Modelling Foundations and Applications, ECMFA 2012 - Kgs. Lyngby, Denmark
Duration: 2 Jul 20125 Jul 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7349 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference8th European Conference on Modelling Foundations and Applications, ECMFA 2012
CityKgs. Lyngby

Cite this