UML-based design and verification method for developing dependable context-aware systems

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

1 Citation (Scopus)

Abstract

This paper proposes a verification mechanism for designing dependable context-aware systems. In our approach, a UML-based design model and actual execution trace data are translated into a logical formula. The validity of a design model, the correspondence between the design and the execution, and the non-functional properties can be verified automatically. For this checking, we use an SMT solver.

Original languageEnglish
Title of host publicationMODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development
Pages89-94
Number of pages6
Publication statusPublished - May 28 2013
Event1st International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2013 - Barcelona, Spain
Duration: Feb 19 2013Feb 21 2013

Publication series

NameMODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development

Other

Other1st International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2013
CountrySpain
CityBarcelona
Period2/19/132/21/13

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Software

Cite this

Ubayashi, N., & Kamei, Y. (2013). UML-based design and verification method for developing dependable context-aware systems. In MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development (pp. 89-94). (MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development).