research-article

TTool for DIPLODOCUS: an environment for design space exploration

Author:

Ludovic ApvrilleAuthors Info & Claims

NOTERE '08: Proceedings of the 8th international conference on New technologies in distributed systems

Article No.: 28, Pages 1 - 4

https://doi.org/10.1145/1416729.1416764

Published: 23 June 2008 Publication History

Abstract

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.

References

[1]

The CADP toolkit. http://www.inrialpes.fr/vasy/cadp.

[2]

SystemC. In http://www.systemc.org.

[3]

I. 13818--1. Generic coding of moving pictures and associated audio information. 2007.

[4]

S. Ahumada et al. Specifying Fractal and GCM components with UML. In XXVI International Conference of the Chilean Computer Science Society (SCCC '07), Iquique, Chile, nov 2007.

Digital Library

[5]

L. Apvrille et al. TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. In IEEE transactions on Software Engineering, volume 30, pages 473--487, Jul 2004.

Digital Library

[6]

L. Apvrille et al. A UML-based environment for system design space exploration. In 13th IEEE International Conference on Electronics, Circuits and Systems (ICECS '2006), Nice, France, Dec 2006.

[7]

I. Assayad and S. Yovine. A framework for modelling and performance analysis of multiprocessor embedded systems: Models and benefits. In Proceedings of the 8th conference on Nouvelles Technologies de la Distribution (NOTERE '2007), Marrakech, Marocco, June 2007.

[8]

F. Balarin et al. Hardware-Software Co-Design of Embedded Systems, The POLIS Approach. KLUWER ACADEMIC PUBLISHERS, 5 edition, 2003.

Digital Library

[9]

J. Bengtsson and W. Yi. Timed automata: Semantics, algorithms and tools. In Lecture Notes on Concurrency and Petri Nets. W. Reisig and G. Rozenberg (eds.), LNCS 3098, Springer-Verlag, 2004.

[10]

A. Chatelain et al. High-level architectural co-simulation using Esterel and C. In Proc. of IEEE/ACM symposium on Hardware/software codesign, April 2001.

Digital Library

[11]

ISO-LOTOS. A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. In Draft International Standard 8807, International Organization for Standardization - Information Processing Systems - Open Systems Interconnection, Geneva, July 1987.

[12]

P. Kukkala et al. Performance Modeling and Reporting for the UML 2.0 Design of Embedded Systems. In Proc. of the 2005 International Symposium on System-on-Chip), pages 50--53, Nov 2005.

[13]

LabSoc. The TURTLE Toolkit. In http://labsoc.comelec.enst.fr/turtle/ttool.html.

[14]

W. Muhammad et al. Abstract application modeling for system design space exploration. In Eromicro Conference on Digital System Design (DSD '06), Dubrovnik, Croatia, August 2006.

Digital Library

[15]

OMG. UML 2.0 Superstructure Specification. In http://www.omg.org/docs/ptc/03-08-02.pdf, Geneva, 2003.

[16]

T. Schattkowsky et al. A model-based approach for executable specifications on recon figurable hardware. In Proc. of the Design, Automation and Test in Europe (DATE), pages 692--697, Nov 2005.

Digital Library

[17]

Y. Watanabe. Metropolis: An integrated environment for electronic system design. Cadence Berkeley labs, 2001.

[18]

P. V. D. Wolf et al. A methodology for architecture exploration of heterogeneous signal processing systems. In 1999 IEEE Workshop on Signal Processing Systems (SiPS99), 1999.

Cited By

Sabaliauskaite GBryans JJadidbonab HAhmad FShaikh SWooderson P(2024)TOMSAC - methodology for trade-off management between automotive safety and cyber securityComputers & Security10.1016/j.cose.2024.103798(103798)Online publication date: Mar-2024
https://doi.org/10.1016/j.cose.2024.103798
Souza FHirata CNadjm-Tehrani S(2022)Synthesis of a Controller Algorithm for Safety-Critical SystemsIEEE Access10.1109/ACCESS.2022.319243610(76351-76375)Online publication date: 2022
https://doi.org/10.1109/ACCESS.2022.3192436
Nigam VTalcott C(2022)Automated construction of security integrity wrappers for Industry 4.0 applicationsJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2021.100745126(100745)Online publication date: Apr-2022
https://doi.org/10.1016/j.jlamp.2021.100745
Show More Cited By

Index Terms

TTool for DIPLODOCUS: an environment for design space exploration
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems

Recommendations

Tools for secure systems development with UML

For model-based development to be a success in practice, it needs to have a convincing added-value associated with its use. Our goal is to provide such added-value by developing tool-support for the analysis of UML models against difficult system ...
Model Checking UML Statechart Diagrams Using JACK
HASE '99: The 4th IEEE International Symposium on High-Assurance Systems Engineering

Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branching time model-checking approach to the automatic verification of formal ...
MDA-based approach for embedded software generation from a UML/MOF repository
SBCCI '06: Proceedings of the 19th annual symposium on Integrated circuits and systems design

This work presents a UML/MOF meta-modeling infrastructure, following the MDA approach, which is oriented to the design space exploration of embedded systems, based on the independent specification of application and platform. A mapping from the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

NOTERE '08: Proceedings of the 8th international conference on New technologies in distributed systems

June 2008

399 pages

ISBN:9781595939371

DOI:10.1145/1416729

Conference Chairs:
Djamal Benslimane
University of Lyon, France
,
Aris Ouksel
Northwestern University

Copyright © 2008 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Lyon 1 University
SIGAPP: ACM Special Interest Group on Applied Computing
Mairie de Villeurbanne
Conseil Général du Rhône
INSA Lyon: Institut National des Sciences Appliquées de Lyon
Conseil Régional Rhône-Alpes
Mutuelle d'assurance MAIF
I.U.T.A LYON 1: Institute of Technology Lyon 1
Ministère de l'Enseignement Supérieur et de la Recherche
Lyon 2 University
ISTASE: High-Level Engineering School in Telecommunication
France Telecom
LIRIS: Lyon Research Center for Images and Intelligent Information Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 June 2008

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

19
Total Citations
View Citations
96
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Sabaliauskaite GBryans JJadidbonab HAhmad FShaikh SWooderson P(2024)TOMSAC - methodology for trade-off management between automotive safety and cyber securityComputers & Security10.1016/j.cose.2024.103798(103798)Online publication date: Mar-2024
https://doi.org/10.1016/j.cose.2024.103798
Souza FHirata CNadjm-Tehrani S(2022)Synthesis of a Controller Algorithm for Safety-Critical SystemsIEEE Access10.1109/ACCESS.2022.319243610(76351-76375)Online publication date: 2022
https://doi.org/10.1109/ACCESS.2022.3192436
Nigam VTalcott C(2022)Automated construction of security integrity wrappers for Industry 4.0 applicationsJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2021.100745126(100745)Online publication date: Apr-2022
https://doi.org/10.1016/j.jlamp.2021.100745
Jeong EJeong DHa S(2021)Dataflow Model–based Software Synthesis Framework for Parallel and Distributed Embedded SystemsACM Transactions on Design Automation of Electronic Systems10.1145/344768026:5(1-38)Online publication date: 5-Jun-2021
https://dl.acm.org/doi/10.1145/3447680
Suri KPedroza GLeserf P(2021)Model-Based Approach for Co-optimization of Safety and Security Objectives in Design of Critical ArchitecturesModel and Data Engineering10.1007/978-3-030-78428-7_2(18-32)Online publication date: 14-Jun-2021
https://doi.org/10.1007/978-3-030-78428-7_2
Tanzi TBertolino M(2020)Autonomous Systems for Rescue Missions: Design, Architecture and Configuration ValidationInformation Systems Frontiers10.1007/s10796-020-10085-6Online publication date: 4-Nov-2020
https://doi.org/10.1007/s10796-020-10085-6
Apvrille LLi L(2019)Harmonizing Safety, Security and Performance Requirements in Embedded Systems2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE.2019.8715124(1631-1636)Online publication date: Mar-2019
https://doi.org/10.23919/DATE.2019.8715124
Genius DApvrille L(2018)System-Level Design and Virtual Prototyping of a Telecommunication Application on a NUMA Platform2018 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)10.1109/ReCoSoC.2018.8449375(1-8)Online publication date: Jul-2018
https://doi.org/10.1109/ReCoSoC.2018.8449375
Enrici AApvrille LPacalet R(2017)A Model-Driven Engineering Methodology to Design Parallel and Distributed Embedded SystemsACM Transactions on Design Automation of Electronic Systems10.1145/299953722:2(1-25)Online publication date: 4-Jan-2017
https://dl.acm.org/doi/10.1145/2999537
Abdallah FTrabelsi CAtitallah RAbed M(2017)Model-Driven Approach for Early Power-Aware Design Space Exploration of Embedded SystemsJournal of Signal Processing Systems10.1007/s11265-016-1144-387:3(271-286)Online publication date: 1-Jun-2017
https://dl.acm.org/doi/10.1007/s11265-016-1144-3
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten