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.
Home page |
Contact |
Site Map |
Sign In |
Statistics |
visits: 3603
Site created with SPIP 2.1.26 + AHUNTSIC
