Skip to Main content Skip to Navigation
Conference papers

Formal system-level design space exploration

Abstract : 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.
Complete list of metadatas
Contributor : Renaud Pacalet <>
Submitted on : Wednesday, July 8, 2020 - 9:31:04 AM
Last modification on : Friday, October 16, 2020 - 4:19:21 PM



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⟩



Record views