Ouvrir le menu Fermer le menu

< Retour aux évènements

How to perform Cost-Effective Multicore Verification – An Industrial Tutorial

ISIT
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 :
  • 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)
Lors de cet événement, les partenaires de MASTEC présenteront les dernières approches utilisées dans le monde de l'industrie pour vérifier les systèmes multicœurs complexes dans les applications critiques et sécuritaires. Destinés aux experts, les intervenants expliqueront comment surmonter les défis de la vérification du comportement de synchronisation multicœurs et comment se conformer aux objectifs de certification basés sur la DO-178C (CAST-32A & A(M)C 20-193) et ISO 26262.

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.