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

doi:10.1007/978-3-642-31491-9_26

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

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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 language	English
Title of host publication	Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Proceedings
Pages	340-351
Number of pages	12
DOIs	https://doi.org/10.1007/978-3-642-31491-9_26
Publication status	Published - 25 Jul 2012
Event	8th European Conference on Modelling Foundations and Applications, ECMFA 2012 - Kgs. Lyngby, Denmark Duration: 2 Jul 2012 → 5 Jul 2012

Publication series

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

Conference

Conference	8th European Conference on Modelling Foundations and Applications, ECMFA 2012
Country/Territory	Denmark
City	Kgs. Lyngby
Period	2/07/12 → 5/07/12

Access to Document

10.1007/978-3-642-31491-9_26

Cite this

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 Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Proceedings (pp. 340-351). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7349 LNCS). https://doi.org/10.1007/978-3-642-31491-9_26

Radjenovic, Alek ; Matragkas, Nicholas ; Paige, Richard F. et al. / MADES : A tool chain for automated verification of UML models of embedded systems. Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Proceedings. 2012. pp. 340-351 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{63d8a8d98f29480eaff67065e686782f,

title = "MADES: A tool chain for automated verification of UML models of embedded systems",

abstract = "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.",

author = "Alek Radjenovic and Nicholas Matragkas and Paige, {Richard F.} and Matteo Rossi and Alfredo Motta and Luciano Baresi and Kolovos, {Dimitrios S.}",

year = "2012",

month = jul,

day = "25",

doi = "10.1007/978-3-642-31491-9_26",

language = "English",

isbn = "9783642314902",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "340--351",

booktitle = "Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Proceedings",

note = "8th European Conference on Modelling Foundations and Applications, ECMFA 2012 ; Conference date: 02-07-2012 Through 05-07-2012",

}

Radjenovic, A, Matragkas, N, Paige, RF, Rossi, M, Motta, A, Baresi, L & Kolovos, DS 2012, MADES: A tool chain for automated verification of UML models of embedded systems. in Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7349 LNCS, pp. 340-351, 8th European Conference on Modelling Foundations and Applications, ECMFA 2012, Kgs. Lyngby, Denmark, 2/07/12. https://doi.org/10.1007/978-3-642-31491-9_26

MADES: A tool chain for automated verification of UML models of embedded systems. / Radjenovic, Alek; Matragkas, Nicholas; Paige, Richard F. et al.
Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Proceedings. 2012. p. 340-351 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7349 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - MADES

T2 - 8th European Conference on Modelling Foundations and Applications, ECMFA 2012

AU - Radjenovic, Alek

AU - Matragkas, Nicholas

AU - Paige, Richard F.

AU - Rossi, Matteo

AU - Motta, Alfredo

AU - Baresi, Luciano

AU - Kolovos, Dimitrios S.

PY - 2012/7/25

Y1 - 2012/7/25

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84864050564&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-31491-9_26

DO - 10.1007/978-3-642-31491-9_26

M3 - Conference contribution

AN - SCOPUS:84864050564

SN - 9783642314902

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 340

EP - 351

BT - Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Proceedings

Y2 - 2 July 2012 through 5 July 2012

ER -

Radjenovic A, Matragkas N, Paige RF, Rossi M, Motta A, Baresi L et al. MADES: A tool chain for automated verification of UML models of embedded systems. In Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Proceedings. 2012. p. 340-351. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-31491-9_26

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

Abstract

Publication series

Conference

Access to Document

Other files and links

Cite this