In the new generation of networks, not only computers are connected but also objects like cars, streets, buildings, or just, everything. In general, these things communicate by means of internet using gateways. Simulating these systems can help to validate specific algorithms and concepts. However, it cannot give any accurate information about reality when some problems arise such as delays, disconbectivity, attacks, insecurity, and especially in the case of large networks. Also, the real implementation of such networks is very complex, time consuming and can be impossible when the nodes are situated in different cities or countries. In this demo we propose a new platform called CupCarbon-Lab based on the existing simulator CupCarbon, where the codes used in simulation can be directly injected in real connected embedded cards like Raspberry Pi cards. This platform can automatically generate from the software a real IoT network even it is already deployed, which can be reconfigured without the need to go through each node. It also helps to test the feasibility and the scalability of an algorithm in real conditions.

Evolution of Systems-On-Chip (SoC) increases the challenge of verification and post-silicon debug. Nowadays, Assertion Based Verification (ABV) is a widely used methodology. Languages like PSL (Property Specification Language) or SVA (System Verilog Assertions) allows engineers to define properties at Register Transfer Level (RTL). Properties can then be used to generate simulation/hardware assertion checkers for dynamic verification. In this paper, we propose to consider ANSI-C assertions during High-Level Synthesis (HLS) of hardware accelerators (HWacc) to automatically generate on-chip monitors (OCM). The proposed method is portable to any HLS tool and supports both static and dynamic application behaviors. OCM is implemented separately from the HWacc and an original technique is introduced for their synchronization. Two synthesis options are proposed for the OCM design i.e. speed and area. Experimental results show the interest of the proposed approach: while the cost of the OCMs mainly depends on the complexity of input assertions, setting synthesis option is area allows reducing the complexity of the OCM by 2.37x on average compared to the option for speed optimization.

En préalable à l’engagement 74 du Grenelle de la mer « développer une méthodologie et une stratégie nationale pour la gestion du trait de côte, pour le recul stratégique et la défense contre la mer […] », une synthèse des travaux menés sur l’observation du trait de côte en France métropolitaine et dans les DOM a été réalisée par le BRGM à la demande du MEEDDM. Les conclusions de cette étude insistent sur la très forte hétérogénéité des observatoires allant du suivi ponctuel et limité dans l’espace, à des suivis pérennes régionaux impliquant de nombreux acteurs. Ces différents cas de figure permettent d’établir une typologie en quatre classes des différents types d’observatoire. Ce travail insiste également sur la diversité des maîtres d’oeuvre en charge de ces « observatoires », ayant pour conséquence une hétérogénéité des méthodes et des protocoles d’acquisition des données. De ce fait, la comparaison des informations d’un observatoire à l’autre n’est pas toujours aisée. De même, les diverses modalités de stockage de cette information indiquent que d’un opérateur à l’autre, l’interopérabilité des métadonnées reste faible. Comme le montre l’étude de cas qui est traitée en fin d’article (l’Observatoire du Domaine Côtier de l’IUEM), la mise aux normes des données acquises suivant la directive européenne INSPIRE, accompagnée d’une meilleure structuration et d’une pérennisation des suivis, apparaissent nécessaire. Cela favoriserait les possibilités d’échange et permettrait d’obtenir une vision claire de l’évolution du trait de côte en France métropolitaine et dans les départements d’Outre-mer sur le long terme.