A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998. ,
Composing heterogeneous reactive systems, ACM Trans. Embed. Comput. Syst, vol.7, p.43, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00555841
Platform-Based Design and Frameworks: Metropolis and Metro II" in ModelBased Design for Embedded Systems, pp.259-289, 2009. ,
Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, Int. Journal in Computer Simulation, 1994. ,
A contract-based formalism for the specification of heterogeneous systems" in FDL, pp.142-147, 2008. ,
Verify Contract-Based Designed Discrete Systems by Simulation, 2010. ,
, SPEEDS project
The UML MARTE Standardized Profile, Proceedings of the 17th IFAC World Congress, 2008. ,
Heterogeneous systemlevel specification in SystemC, Advances in Design and Specification Languages for SoCs, P. Boulet ,
HetMoC: Heterogeneous modeling in systemc, Proceedings of the Forum on Design Languages (FDL), 2010. ,
,
,
The Semantics and Execution of a Synchronous Block-Diagram Language, Science of Computer Programming, vol.48, pp.21-42, 2003. ,