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. © 2012 Springer-Verlag.
CITATION STYLE
Radjenovic, A., Matragkas, N., Paige, R. F., Rossi, M., Motta, A., Baresi, L., & Kolovos, D. S. (2012). MADES: A tool chain for automated verification of UML models of embedded systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7349 LNCS, pp. 340–351). https://doi.org/10.1007/978-3-642-31491-9_26
Mendeley helps you to discover research relevant for your work.