How to perform Cost-Effective Multicore Verification – An Industrial Tutorial
ISIT
Participez le 18 novembre prochain, au webinaire gratuit MASTEC qui présentera comment faciliter la certification des systèmes basés sur MCP (Multicœurs) pour les applications critiques et sécuritaires.
Durant ce webinaire, des experts de BSC, Rapita, Collins Aerospace et Marelli expliqueront - avec quelques exemples pratiques - les innovations apportées par le projet MASTECS à l'analyse de synchronisation MCP ainsi que l’apport d’un séparateur de noyaux/hyperviseur tel que LynxSecure.
Durant cette session, vous apprendrez :
Cette présentation se concentrera sur la façon dont les concepteurs de systèmes avioniques et automobiles peuvent rendre la vérification multicœurs aussi automatisable et rentable que possible. Des experts du domaine industriel offriront une combinaison de démonstrations d'outillage avancées, d'études de cas industriels et de conseils pratiques qui vous amèneront une aide précieuse pour obtenir la certification multicœurs.
- Comment atteindre les objectifs multicœurs DO-178C (CAST-32A/A(M)C 20-193) et ISO 26262.
- Comment les principales sociétés du domaine avionique/spatial (Collins Aerospace Applied Research & Technology) et automobiles (Marelli) prévoient d'utiliser de nouvelles technologies et approches pour développer des systèmes multicœurs robustes.
- Comment utiliser la technologie MicroBenchmark de BSC (nommée RapiDaemons par Rapita) pour caractériser et quantifier les canaux d'interférence multicœurs.
- Comment caractériser et sélectionner le matériel multicœurs.
- Comment automatiser la collecte de métriques de timing multicœurs (y compris WCET)
Cette présentation se concentrera sur la façon dont les concepteurs de systèmes avioniques et automobiles peuvent rendre la vérification multicœurs aussi automatisable et rentable que possible. Des experts du domaine industriel offriront une combinaison de démonstrations d'outillage avancées, d'études de cas industriels et de conseils pratiques qui vous amèneront une aide précieuse pour obtenir la certification multicœurs.