ANR Arpege HELP 2009-2012

Related Projects

- ANR ARESA and ARESA2: part of these projects is devoted to the global (and formal) modeling of energy consumption in sensor networks. In ARESA2, this topic is related to the security aspects.

- Minalogic openTLM 2006-2010: open tools for the transaction-level modeling of systems-on-a-chip.

- ANR FoToVP 2006-2009: one of the topics is the extraction of formal models from engineering languages (like SystemC); another topic is the use of analytical models (e.g., the real-time calculus) for the modeling of various non-functional properties of embedded systems.

- Minalogic Athole
- ANR SocLib
- ANR OpenPeople


Home page | Contact | Site Map | | Statistics | visits: 4015

Follow-up of the site's activity en  Follow-up of the site's activity Documents   ?

Site created with SPIP 2.1.26 + AHUNTSIC

Creative Commons License