Luciano Baresi
Formal verification and validation of embedded systems: the UML-based MADES approach
Baresi, Luciano; Blohm, Gundula; Kolovos, Dimitrios S.; Matragkas, Nicholas; Motta, Alfredo; Paige, Richard F.; Radjenovic, Alek; Rossi, Matteo
Authors
Gundula Blohm
Dimitrios S. Kolovos
Nicholas Matragkas
Alfredo Motta
Richard F. Paige
Alek Radjenovic
Matteo Rossi
Abstract
© 2013, Springer-Verlag Berlin Heidelberg. Formal verification and validation activities from the early development phases can foster system consistency, correctness, and integrity, but they are often hard to carry out as most designers do not have the necessary background. To address this difficulty, a possible approach is to allow engineers to continue using familiar notations and tools, while verification and validation are performed on demand, automatically, and transparently. In this paper we describe how the problem of making formal verification and validation tasks more designer-friendly is tackled by the MADES approach. Our solution is based on a tool chain that is built atop mature, popular, and widespread technologies. The paper focuses on the verification and closed-loop simulation (validation) aspects of the approach and shows how it can be applied to significant embedded software systems.
Citation
Baresi, L., Blohm, G., Kolovos, D. S., Matragkas, N., Motta, A., Paige, R. F., Radjenovic, A., & Rossi, M. (2015). Formal verification and validation of embedded systems: the UML-based MADES approach. Software and systems modeling, 14(1), 343-363. https://doi.org/10.1007/s10270-013-0330-z
Journal Article Type | Article |
---|---|
Acceptance Date | Feb 28, 2013 |
Online Publication Date | Jun 12, 2013 |
Publication Date | 2015-02 |
Deposit Date | Feb 6, 2018 |
Journal | Software and Systems Modeling |
Print ISSN | 1619-1366 |
Publisher | Springer Verlag |
Peer Reviewed | Peer Reviewed |
Volume | 14 |
Issue | 1 |
Pages | 343-363 |
DOI | https://doi.org/10.1007/s10270-013-0330-z |
Keywords | Modelling and Simulation; Software |
Public URL | https://hull-repository.worktribe.com/output/584428 |
Publisher URL | https://link.springer.com/article/10.1007/s10270-013-0330-z |
You might also like
Evolving models in model-driven engineering : state-of-the-art and future challenges
(2015)
Journal Article
Constraint programming for type inference in flexible model-driven engineering
(2016)
Journal Article
Type inference in flexible model-driven engineering using classification algorithms
(2018)
Journal Article
Supporting custom quality models to analyse and compare open-source software
(2016)
Presentation / Conference Contribution
Model-connected safety cases
(2017)
Presentation / Conference Contribution
Downloadable Citations
About Repository@Hull
Administrator e-mail: repository@hull.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search