poster Atelier Logiciel

Atelier Logiciel: un code sûr, sécurisé et robuste pour vos applications embarquées Automobiles et Aérospatiales

Améliorez vos compétences en matière de test de code statique et dynamique lors d’une journée pratique « hands on » autour des outils d’AbsInt et de PikeTec. Prochaine étape le mardi 27 juin 2023 à Paris La Défense. Apprenez comment gagner en efficacité et être plus rapide pour atteindre les plus hauts niveaux de certification en matière de sûreté et de sécurité software.

Inscrivez vous et participez à une journée conviviale et interactive de démonstration et d’échanges autour des challenges du codage d’applications embarquées pour l’aéronautique et l’automobile. Découvrez 3 outils de tests statiques et dynamiques et appliquez les sur votre code C/C++.
Cet atelier est gratuit. Il durera de 9H00 à 17H00 et inclura boissons et buffet du midi.

Atelier gratuit limité à 20 ingénieurs. Votre inscription est sujette à validation par les organisateurs, sous réserve des places disponibles.

2 dates, 2 lieux:
* Radisson Blu Hotel Toulouse Airport, Blagnac le mardi 7 février 2023 de 9H00 à 17H00 (inscriptions closes)
* Châteauform’ Learning Lab La Défense, Paris le mardi 27 juin 2023 de 9H00 à 17H00

Co-organisé par AbsInt GmbH, Antycip Technologies et PikeTec GmbH











    Vos challenges

    L’empilement de standards réglementaires pour l’Automotive, ISO26262/FuSa, ISO21434/Sec, ISO21448/SOTIF et l’Aerospace, DO-178C/safety, DO-326/Sec, rend le codage d’applications critiques de plus en plus lourd. Les développeurs et les testeurs doivent réaliser des tâches de vérifications toujours plus nombreuses et chronophages qui s’accompagnent par l’introduction de nouveaux outils de tests statiques et dynamiques.

    Répondre aux exigences strictes de ces standards doit se faire avec facilité tout en réduisant l’effort, évitant ainsi la surcharge des équipes.

    Venez découvrir

    Pendant l’atelier, nous développerons les cas d’usages suivants:
    1/ Détection statique de bugs critiques cachés et vérification de règles MISRA-C dans un code C/C++ avec l’outil Astrée d’AbsInt.
    2/ Génération de test cases, exécution des tests sur un code C/C++, résolution de la matrice de traçabilité avec l’outil TPT de PikeTec.
    3/ Analyse statique du timing et de la stack d’un code C/C++ avec les outils StackAnalyzer et TimeWeaver d’AbsInt.

    Vous aurez la possibilité de pratiquer l’outil de votre choix, rejouer les cas d’usage démontrés avec l’assistance des ingénieurs d’application des éditeurs et repartir avec une version d’évaluation fonctionnelle installée sur votre PC.

    Pourquoi moi

    Cet atelier s’adresse aux Software Architects, Integration Specialists, Product Owners, Project Managers, Quality Assurance Specialists, Software Developers, Testers, Test Automators, intéressés par la pratique d’outils d’analyses statiques et dynamiques de code embarqué.

    Agenda

    Cet atelier aura lieu mardi 27 juin au Chateauform’ Learning Lab de Paris la Défense. Il durera de 9H00 à 17H00 et inclura boissons et buffet du midi.

    Intervenants

    • Robert Fey, Testing Expert PikeTec
    • Rudi Abi Akl, Test Manager PikeTec
    • Christian Hümbert, Technical Consultant AbsInt
    • Jörg Herter, Technical Consultant AbsInt

     

    Antycip Technologies est un distributeur à valeur ajoutée d’outils pour l’optimisation et la validation de software embarqué sensible, essentiellement. Nos outils sont leaders sur leurs marchés et ils intéressent les R&D’s logicielles impactées par des exigences de sureté de fonctionnement, de cybersécurité, d’obligations réglementaires et de passage à l’échelle.
    Nous couvrons la France et servons particulièrement les industries de l’Aérospatial, de la Défense, de l’Automobile, du Médical et du Gaming.