TTool for DIPLODOCUS: An environment for design space exploration

Ludovic Apvrille

doi:10.1145/1416729.1416764

TTool for DIPLODOCUS: An environment for design space exploration

Ludovic Apvrille

CNRS LTCI

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

TToolfor 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.

Original language	English
Title of host publication	Proceedings - The 8th International Conference on New Technologies in Distributed Systems, NOTERE 2008
DOIs	https://doi.org/10.1145/1416729.1416764
Publication status	Published - 1 Dec 2008
Externally published	Yes
Event	8th International Conference on New Technologies in Distributed Systems, NOTERE 2008 - Lyon, France Duration: 23 Jun 2008 → 27 Jun 2008

Publication series

Name	Proceedings - The 8th International Conference on New Technologies in Distributed Systems, NOTERE 2008

Conference

Conference	8th International Conference on New Technologies in Distributed Systems, NOTERE 2008
Country/Territory	France
City	Lyon
Period	23/06/08 → 27/06/08

Keywords

Design space exploration
Formal verification
Simulation
System-on-Chip
UML

Access to Document

10.1145/1416729.1416764

Cite this

@inproceedings{72d86b7eaffd4988b73a1d07b21faf86,

title = "TTool for DIPLODOCUS: An environment for design space exploration",

abstract = "TToolfor 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.",

keywords = "Design space exploration, Formal verification, Simulation, System-on-Chip, UML",

author = "Ludovic Apvrille",

year = "2008",

month = dec,

day = "1",

doi = "10.1145/1416729.1416764",

language = "English",

isbn = "9781595939371",

series = "Proceedings - The 8th International Conference on New Technologies in Distributed Systems, NOTERE 2008",

booktitle = "Proceedings - The 8th International Conference on New Technologies in Distributed Systems, NOTERE 2008",

note = "8th International Conference on New Technologies in Distributed Systems, NOTERE 2008 ; Conference date: 23-06-2008 Through 27-06-2008",

}

Apvrille, L 2008, TTool for DIPLODOCUS: An environment for design space exploration. in Proceedings - The 8th International Conference on New Technologies in Distributed Systems, NOTERE 2008., 28, Proceedings - The 8th International Conference on New Technologies in Distributed Systems, NOTERE 2008, 8th International Conference on New Technologies in Distributed Systems, NOTERE 2008, Lyon, France, 23/06/08. https://doi.org/10.1145/1416729.1416764

TTool for DIPLODOCUS: An environment for design space exploration. / Apvrille, Ludovic.
Proceedings - The 8th International Conference on New Technologies in Distributed Systems, NOTERE 2008. 2008. 28 (Proceedings - The 8th International Conference on New Technologies in Distributed Systems, NOTERE 2008).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - TTool for DIPLODOCUS

T2 - 8th International Conference on New Technologies in Distributed Systems, NOTERE 2008

AU - Apvrille, Ludovic

PY - 2008/12/1

Y1 - 2008/12/1

N2 - TToolfor 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.

AB - TToolfor 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.

KW - Design space exploration

KW - Formal verification

KW - Simulation

KW - System-on-Chip

KW - UML

U2 - 10.1145/1416729.1416764

DO - 10.1145/1416729.1416764

M3 - Conference contribution

AN - SCOPUS:70349099259

SN - 9781595939371

T3 - Proceedings - The 8th International Conference on New Technologies in Distributed Systems, NOTERE 2008

BT - Proceedings - The 8th International Conference on New Technologies in Distributed Systems, NOTERE 2008

Y2 - 23 June 2008 through 27 June 2008

ER -

TTool for DIPLODOCUS: An environment for design space exploration

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this