Formal system-level design space exploration - Archive ouverte HAL Access content directly
Conference Papers Year :

Formal system-level design space exploration


The paper focuses on the formal aspects of the DIPLODOCUS environment. DIPLODOCUS is a UML pro- file intended for the modeling and verification of real-time and embedded applications meant to be executed on complex Systems-on-Chip. Application tasks and architectural elements (e.g., CPUs, bus, memories) are described with a UML-based language, using an open-source toolkit named TTool. Those descriptions may be automatically transformed into a formal hardware and software specification. From that specification, model-checking techniques may be applied to evaluate several properties of the system, e.g., safety, schedulability, and perfor- mance properties. The approach is exemplified with an MPEG2 decoding application.
Not file

Dates and versions

hal-02893147 , version 1 (08-07-2020)



Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet. Formal system-level design space exploration. 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), May 2010, Tozeur, France. pp.1-8, ⟨10.1109/NOTERE.2010.5536852⟩. ⟨hal-02893147⟩
18 View
0 Download



Gmail Facebook Twitter LinkedIn More