Support for early verification of embedded real-time systems through UML models simulation


Identifying errors in early design phases leads to a decrease in the repairing cost compared to the situation in which such problems are discovered only in advanced design phases. This work is a first step toward an automatic verification approach for embedded and real-time systems' high-level specifications, such as UML models. This paper presents a model… (More)
DOI: 10.1145/2146382.2146396


8 Figures and Tables

Slides referencing similar topics