Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
System Design with SystemC
Application of design patterns for hardware design
Proceedings of the 40th annual Design Automation Conference
Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation
Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation
System-on-chip validation using UML and CWL
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
A SoC Design Methodology Involving a UML 2.0 Profile for SystemC
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Message Sequence Charts: A Survey
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Modeling and Prototyping of Communication Systems Using Java: A Case Study
RSP '05 Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping
A framework for embedded system specification under different models of computation in SystemC
Proceedings of the 43rd annual Design Automation Conference
Proceedings of the conference on Design, automation and test in Europe
Hi-index | 0.00 |
System-level specification can benefit from the feature-rich UML visual notations. However, it is necessary to integrate UML into current SoC design flows. Unlike previous approaches that relied on code generation or static analysis, this paper proposes the direct co-simulation of SoC specifications and UML sequence diagrams. In order to cope with the lack of formal execution semantics in UML sequence diagrams, we benefit from the flexibility of actor-orientation so that alternative execution semantics can be assigned to a given diagram by the designer using an extensible library of directors.