Abstract
The increasing complexity of embedded system designs calls for highlevel specification formalisms and for automated transformations towards lowerlevel descriptions. In this paper, a metamodel and a transformation chain are defined from a high-level modeling framework, Gaspard, for data-parallel systems towards a formalism of synchronous equations. These equations are translated in synchronous data-flow languages, such as Lustre, which provide designers with formal techniques and tools for validation. In order to benefit from the methodological advantages of re-usability and platform-independence, a Model-Driven Engineering approach is applied.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Amar, A., Boulet, P., Dumont, P.: Projection of the ARRAY-OL specification language onto the kahn process network computation model. In: Proceedings of the International Symposium on Parallel Architectures, Algorithms, and Networks, Las Vegas, NV (2005)
Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages twelve years later. In: Proceedings of the IEEE 91(1), 64–83 (2003)
Boulet, P.: ARRAY-OL revisited, multidimensional intensive signal processing specification. Research Report RR-6113, INRIA, http://hal.inria.fr/inria-00128840/en/ (2007)
Brunette, C., Talpin, J.-P., Besnard, L., Gauthier, T.: Modeling multi-clocked data-flow programs using the generic modeling environment. In: Synchronous Languages, Applications, and Programming. Elsevier, Vienna Austria, (2006)
Dumont, P., Boulet, P.: Another multidimensional synchronous dataflow: Simulating ARRAY-OL in PTOLEMY II. Tech. Rep. 5516, INRIA, www.inria.fr/rrrt/rr-5516.html (2005)
Eclipse: Eclipse Modeling Framework. http://www.eclipse.org/emf
Eclipse: EMFT JET. http://www.eclipse.org/emft/projects/jet
Gamatié, A., Rutten, E., Yu, H., Boulet, P., Dekeyser, J.L.: Synchronous modeling of data intensive applications. Research Rep. 5876, INRIA. http://hal.inria.fr/inria-00001216/en (2006)
Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language LUSTRE. In: Proceedings of the IEEE 79(9) (1991)
INRIA Atlas Project: ATL. http://www.sciences.univ-nantes.fr/lina/atl/
INRIA DaRT Project: Presentations and demonstrations: GASPARD2 towards LUSTRE. http://www2.lifl.fr/west/DaRTShortPresentations
INRIA Triskell Project: KERMETA. http://www.kermeta.org/
Labbani, O., Dekeyser, J.L., Boulet, P., Rutten, E.: Advances in Design and Specification Languages for SoCs, Selected contributions from FDL′06, chap. UML2 Profile for Modeling Controlled Data Parallel Applications. Springer, TU Darmstadt, Germany (2007)
Object Management Group (OMG): MOF Query/Views/Transformations (QVT). http://www.omg.org/cgibin/doc?ptc/2005–11-01 (2005)
INRIA DaRT Project: GASPARD. http://www.lifl.fr/west/gaspard/
Rioux, L., Saunier, T., Gerard, S., Radermacher, A., de Simone, R., Gautier, T., Sorel, Y., Forget, J., Dekeyser, J.L., Cuccuru, A., Dumoulin, C., André, C.: MARTE: A new profile rfp for the modeling and analysis of real-time embedded systems. In: UML-SoC’05, DAC 2005 Workshop UML for SoC Design. Anaheim, CA (2005)
Schmidt, D.C.: Model-driven engineering. IEEE Computer 39(2) (2006)
Yu, H., Gamatié, A., Rutten, E., Dekeyser, J.L.: Model transformations from a data parallel formalism towards synchronous languages. Research Report 6291, INRIA. http://hal.inria.fr/inria-00172302/en/ (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer Science + Business Media B.V
About this chapter
Cite this chapter
Yu, H., Gamatié, A., Rutten, E., Dekeyser, JL. (2008). Model Transformations from a Data Parallel Formalism Towards Synchronous Languages. In: Villar, E. (eds) Embedded Systems Specification and Design Languages. Lecture Notes in Electrical Engineering, vol 10. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-8297-9_13
Download citation
DOI: https://doi.org/10.1007/978-1-4020-8297-9_13
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-8296-2
Online ISBN: 978-1-4020-8297-9
eBook Packages: EngineeringEngineering (R0)