Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Unreliable failure detectors for reliable distributed systems
Journal of the ACM (JACM)
Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems
Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems
Application of design patterns for hardware design
Proceedings of the 40th annual Design Automation Conference
System-on-chip validation using UML and CWL
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Design Patterns for Reconfigurable Computing
FCCM '04 Proceedings of the 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines
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
Software design patterns for TinyOS
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
MSE '05 Proceedings of the 2005 IEEE International Conference on Microelectronic Systems Education
Early Embedded Software Design Space Exploration Using UML-Based Estimation
RSP '06 Proceedings of the Seventeenth IEEE International Workshop on Rapid System Prototyping
Proceedings of the 20th annual conference on Integrated circuits and systems design
Characterising embedded applications using a UML profile
SOC'09 Proceedings of the 11th international conference on System-on-chip
Power-aware dynamic mapping heuristics for NoC-based MPSoCs using a unified model-based approach
ACM Transactions on Embedded Computing Systems (TECS)
Hi-index | 0.00 |
Behavioral patterns are useful abstractions to simplify the design of the communication-centric systems. Such patterns are traditionally described using UML diagrams, but the lack of execution semantics in UML prevents the co-validation of the patterns together with simulation models and executable specifications which are the mainstream in today's system level design flows. This paper proposes a method to validate UML-based behavioral patterns within executable system models. The method is based on actor orientation and was implemented as an extension of the Ptolemy II framework. A case study is presented and potential applications and extensions of the proposed method are discussed.