TY - GEN
T1 - UML-based design and verification method for developing dependable context-aware systems
AU - Ubayashi, Naoyasu
AU - Kamei, Yasutaka
PY - 2013/5/28
Y1 - 2013/5/28
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84878049688&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84878049688&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84878049688
SN - 9789898565426
T3 - MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development
SP - 89
EP - 94
BT - MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development
T2 - 1st International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2013
Y2 - 19 February 2013 through 21 February 2013
ER -