Assertion-based dynamic verification for executable UML specifications

Authors:
Masahito Sugai;Akira Teruya;Eiichiro Iwata;Nurul Azma Zakaria;Noriko Matsumoto;Norihiko Yoshida
Affiliations:
Saitama University, Department of Information and Computer Sciences, Saitama, Japan;Saitama University, Department of Information and Computer Sciences, Saitama, Japan;Saitama University, Department of Information and Computer Sciences, Saitama, Japan;Saitama University, Department of Information and Computer Sciences, Saitama, Japan;Saitama University, Department of Information and Computer Sciences, Saitama, Japan;Saitama University, Department of Information and Computer Sciences, Saitama, Japan
Venue:
ACS'08 Proceedings of the 8th conference on Applied computer scince
Year:
2008

Citing 3
Cited 0

Executable UML: A Foundation for Model-Driven Architectures

Executable UML: A Foundation for Model-Driven Architectures
Assertion-Based Design

Assertion-Based Design
Unified Property Specification for Hardware/Software Co-Verification

COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 01

Quantified Score

Hi-index	0.00

Visualization

Abstract

Embedded systems have grown large and complex, and the man-hour requirement of their verification is increasing. In embedded systems design, Executable UML (xUML) is attracting attentions. It is a crucial issue to improve the efficiency of verification in xUML. We propose an assertion-based dynamic verification for xUML in this paper. The assertion-based verification improves verification efficiency and reliability of the systems. We implement a tool realize the assertion-based dynamic verification for xUML, and confirm the validity of our proposal through some experiments.