A MARTE-Based Reactive Model for Data-Parallel Intensive Processing: Transformation Toward the Synchronous Model

Yu Huafeng 1
1 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract :

The work presented in this dissertation is carried out in the context of System-on-Chip (SoC) and embedded system design, particularly dedicated to data-parallel intensive processing applications (DIPs). Examples of such applications are found in multimedia processing and signal processing. On the one hand, safe design of DIPs is considered to be important due to the need of Quality of Service, safety criticality, etc., in these applications. However, the complexity of current embedded systems makes it difficult to meet this requirement. On the other hand, high-level safe and verifiable control, is highly demanded in order to ensure the correctness and strengthen the flexibility and adaptivity of DIPs.

As an answer to this issue, we propose to take advantage of synchronous languages to assist safe DIPs design. First, a synchronous modeling bridges the gap between the Gaspard framework, which is dedicated to SoC design for DIPs, and synchronous languages that act as a model of computation enabling formal validation. The latter, together with their tools, enable high-level validation of Gaspard specifications.

Secondly, a reactive extension and improvement to a previous control proposition in Gaspard, is also addressed. This extension is based on mode automata and contributes to conferring safe and verifiable features onto the previous proposition. As a result, model checking and discrete controller synthesis can be applied for the purpose of correctness verification.

Finally, a Model-Driven Engineering (MDE) approach is adopted in order to implement and validate our proposition, as well as benefit from the advantages of MDE to address system complexity and productivity issues. Synchronous modeling, MARTE-based (the UML profile for Modeling and Analysis of Real-Time and Embedded system) control modeling, and model transformations, including code generation, are dealt with in the implementation.

Complete list of metadatas

Cited literature [110 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00497248
Contributor : Yu Huafeng <>
Submitted on : Friday, July 2, 2010 - 7:23:37 PM
Last modification on : Thursday, February 21, 2019 - 10:52:49 AM
Long-term archiving on : Monday, October 4, 2010 - 12:14:55 PM

Identifiers

  • HAL Id : tel-00497248, version 1

Collections

Citation

Yu Huafeng. A MARTE-Based Reactive Model for Data-Parallel Intensive Processing: Transformation Toward the Synchronous Model. Modeling and Simulation. Université des Sciences et Technologie de Lille - Lille I, 2008. English. ⟨tel-00497248⟩

Share

Metrics

Record views

456

Files downloads

504