Ces transparents présentent un résumé de l\’offre BIP. BIP est une plateforme pour le développement et l\’analyse des systèmes embarqués critiques temps-réel.
1. La plateforme BIP Développement et analyse de systèmes embarqués critiques temps-réel
2. Domain d’application Le contrôle logiciel de systèmes critiques… Transport (automobile, avionique, etc.) Robotique Appareils médicaux …doit satisfaire des propriétés de sûreté Absence d’interblocages BIP permet Le développement d’applications correctes par construction L’analyse d’applications existantes
3. Maîtriser le parallélisme Les systèmes parallèles sont difficiles à concevoir et à vérifier Cause : explosion combinatoire de l’espace d’états Solution : approche compositionnelle… Composants atomiques séquentielles Colle – coordination sans ajout de comportement …avec BIP Synthèse de la couche de coordination Garanties par construction Analyse indépendante des composants et de la colle
4. Qu’est-ce qu’est BIP ? Langage formel de modélisation par composants Langage de coordination pour leC Outils d’analyse et de transformation Analyse de propriétés de sûreté (absence d’interblocages – D-Finder) Optimisation de performances sous des contraintes architecturales Analyse fonctionnelle et non-fonctionnelle Chaîne de compilation Parseur, générateur de code Noyau de simulation Exécution sur des plateformes multi-cœur et distribuées
5. Pourquoi utiliser BIP ? Expressivité Tout type de coordination sans ajout de comportement Construction par intégration des fonctions élémentaires Généralité Compatible avec différentes modèles de programmation Flots de données synchrones Mémoire partagée Envoi de messages Garanties par construction Synthèse de colle Transformations source-to-source Optimisation de performances sous des contraintes architecturales Génération automatique de modèles distribués
9. Transformation dans BIP réalisée par « l’usine aux langages » – un jeu d’outils de transformation à partir de formalismes existants
10.
11. Componentisation Robot autonome Dala développé au LAAS (Toulouse) http://homepages.laas.fr/matthieu/robots/dala.shtml Couche contrôle : ~300 000 lignes de code initial Componentisation Vérification des propriétés de sûreté Génération de code Le projet MARAE distingué par FNRAE Fondation de Recherche pour l’Aéronautique et l’Espace EADS, Safran, Thalès, … http://www.ujf-grenoble.fr/1274965794187/0/fiche___actualite/
12. Quels bénéfices ? Analyse Réduction de coûts V&V Aide à la qualification et certification Développement Méthodologie de développement appuyé par des résultats théoriques Réduction du cycle de développement (meilleur time-to-market) Déplacement de l’effort sur les problématiques métier Componentisation Simplification et de la base de code et élimination de bugs Réutilisation des composants à travers l’entreprise Facilité de coordination avec partenaires extérieurs
13. Contacts Joseph Sifakis Joseph.Sifakis@imag.fr Simon Bliudze Simon.Bliudze@cea.fr Page web de la plateforme http://www-verimag.imag.fr/BIP,196.html