Hardware-software co-design of embedded systems: the POLIS approach
Hardware-software co-design of embedded systems: the POLIS approach
High-level architectural co-simulation using Esterel and C
Proceedings of the ninth international symposium on Hardware/software codesign
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit
IEEE Transactions on Software Engineering
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Abstract Application Modeling for System Design Space Exploration
DSD '06 Proceedings of the 9th EUROMICRO Conference on Digital System Design
Specifying Fractal and GCM Components with UML
SCCC '07 Proceedings of the XXVI International Conference of the Chilean Society of Computer Science
TEPE: a SysML language for time-constrained property modeling and formal verification
ACM SIGSOFT Software Engineering Notes
Completeness-driven development
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Hi-index | 0.00 |
TTool for DIPLODOCUS is an open-source UML-based toolkit for the design space exploration of system-on-chip. DIPLODOCUS is the name of the underlying UML profile. This profile includes a three-step methodology: a description of application tasks, a description of candidate distributed architectures, and the mapping of application tasks onto those candidate architectures. Our contribution not only offers SystemC-based automatic simulation but also automatic formal verification, in both cases directly from UML diagrams.