Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Testing Enbredded Software
An Action Language for UML: Proposal for a Precise Execution Semantics
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
An Execution Algorithm for UML Activity Graphs
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
ISORC '07 Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
Debugging and testing behavioral UML models
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Execution and simulation of (profiled) UML models using pópulo
Proceedings of the 2008 international workshop on Models in software engineering
GenERTiCA: A Tool for Code Generation and Aspects Weaving
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities
CASCON '08 Proceedings of the 2008 conference of the center for advanced studies on collaborative research: meeting of minds
Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX
Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX
Fast and accurate processor models for efficient MPSoC design
ACM Transactions on Design Automation of Electronic Systems (TODAES)
DERAF: a high-level aspects framework for distributed embedded real-time systems design
Proceedings of the 10th international conference on Early aspects: current challenges and future directions
System-level design: orthogonalization of concerns and platform-based design
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hi-index | 0.00 |
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-driven framework to simulate system's behavior already in early design phases, prior to the implementation phase. More specifically, the mentioned framework simulates the behavior specified within UML models, generating a trace of executed actions for the selected behaviors. The achieved results show that early simulation of UML models is practicable, opening room for its usage in different CASE tools for early verification and validation of embedded and real-time systems.