Modeling in Event-B: system and software engineering, 2010. ,
, SystemC AMS extensions Users Guide, Version 1.0. Accellera Systems Initiative, Accellera Systems Initiative, 2010.
Pre-Simulation Formal Analysis of Synchronization Issues between Discrete Event and Timed Data Flow Models of Computation, Design, Automation and Test in Europe, DATE Conference, 2015. ,
Webpage of TTool, 2011. ,
Metropolis: An integrated electronic system design environment, IEEE Computer, vol.36, issue.4, pp.45-52, 2003. ,
, Beyond Dreams (Design Refinement of Embedded Analogue and Mixed-Signal Systems), Beyond Dreams Consortium, 2008.
Transformation of sysml structure diagrams to vhdl-ams, 2012 Second Workshop on Design, Control and Software Implementation for Distributed MEMS, pp.74-81, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00762089
DEVS formalism: A framework for hierarchical model development, IEEE Transactions on Software Engineering, vol.14, issue.2, pp.228-241, 1988. ,
Integration of SystemC-AMS simulation platforms into TTool. Master's thesis, 2018. ,
A next-generation design framework for platform-based design, DV-Con, vol.152, 2007. ,
A model-driven design framework for massively parallel embedded systems, ACM Trans. Embedded Comput. Syst, vol.10, issue.4, p.39, 2011. ,
Multi-level Latency Evaluation with an MDE Approach, MODELSWARD, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01670546
, Heterogeneous Inception Project, 2012.
A framework for heterogeneous specification and design of electronic embedded systems in systemc, ACM Transactions on Design Automation of Electronic Systems (TODAES), vol.12, issue.3, p.22, 2007. ,
, SystemC. IEEE Standard, pp.1666-2011, 2011.
Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing, IEEE Transactions on Computers, C, vol.36, issue.1, pp.24-35, 1987. ,
Synchronous data flow, Proceedings of the IEEE, vol.75, issue.9, pp.1235-1245, 1987. ,
Formal and virtual multi-level design space exploration, MODELSWARD, Springer Communications in Computer and Information Science, vol.880, pp.47-71, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01900180
Formal heterogeneous system modeling with systemc, Specification and Design Languages (FDL), 2012 Forum on, pp.160-167, 2012. ,
, System Design, Modeling, and Simulation using Ptolemy II, 2014.
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems, 2013. ,
, The SoCLib project: An integrated system-on-chip modelling and simulation platform, SocLib consortium, 2003.
An entirely model-based framework for hardware design and simulation, DIPES/BICC, vol.329, pp.31-42, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00526737
Analog and mixed signal modelling with SystemC-AMS, ISCAS (3), pp.914-917, 2003. ,
A co-design approach for embedded system modeling and code generation with UML and MARTE, DATE, pp.226-231, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00369036
Virtual Component Interface Standard (OCB 2 2.0), 2000. ,
Hetmoc: Heterogeneous modelling in systemc, Specification & Design Languages (FDL 2010), 2010 Forum on, pp.1-6, 2010. ,