La plateforme BIP Développement et analyse de systèmes embarqués critiques temps-réel
Qu’est-ce qu’est BIP ? <ul><li>Langage  formel  de modélisation  par composants   </li></ul><ul><ul><li>Extension de C </l...
Maîtriser le parallélisme <ul><li>Les systèmes parallèles sont difficiles à concevoir et à vérifier </li></ul><ul><ul><li>...
Exemple : Robot de secours <ul><li>Interfaces des composants élémentaires séquentiels </li></ul><ul><ul><li>Moteur (action...
Exemple : contrôle d’un robot <ul><li>Robot autonome Dala développé au LAAS (Toulouse) </li></ul><ul><ul><li>http://homepa...
Garanties de sûreté <ul><li>DFinder – outil pour l’analyse des propriétés de sûreté des modèles BIP </li></ul><ul><li>Déte...
Pourquoi utiliser BIP ? <ul><li>Généralité  </li></ul><ul><ul><li>Englobe différentes modèles de programmation, par exempl...
Quelle utilisation pour BIP ? <ul><li>Modélisation </li></ul><ul><ul><li>Simulation et/ou vérification </li></ul></ul><ul>...
Quels bénéfices ? <ul><li>Analyse </li></ul><ul><ul><li>Réduction de coûts V&V </li></ul></ul><ul><ul><li>Aide à la qualif...
Contacts <ul><li>Joseph Sifakis </li></ul><ul><ul><li>[email_address] </li></ul></ul><ul><li>Simon Bliudze </li></ul><ul><...
Bip Résumé (French)
Prochain SlideShare
Chargement dans…5
×

Bip Résumé (French)

802 vues

Publié le

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.

Publié dans : Technologie, Business
0 commentaire
0 j’aime
Statistiques
Remarques
  • Soyez le premier à commenter

  • Soyez le premier à aimer ceci

Aucun téléchargement
Vues
Nombre de vues
802
Sur SlideShare
0
Issues des intégrations
0
Intégrations
10
Actions
Partages
0
Téléchargements
10
Commentaires
0
J’aime
0
Intégrations 0
Aucune incorporation

Aucune remarque pour cette diapositive

Bip Résumé (French)

  1. 1. La plateforme BIP Développement et analyse de systèmes embarqués critiques temps-réel
  2. 2. Qu’est-ce qu’est BIP ? <ul><li>Langage formel de modélisation par composants </li></ul><ul><ul><li>Extension de C </li></ul></ul><ul><li>Outils d’analyse et de transformation </li></ul><ul><ul><li>Analyse de propriétés de sûreté (e.g. interblocages) </li></ul></ul><ul><ul><li>Performances et prise en compte de contraintes architecturales </li></ul></ul><ul><li>Chaîne de compilation </li></ul><ul><ul><li>Parseur, générateur de code </li></ul></ul><ul><li>Noyau d’exécution </li></ul>
  3. 3. Maîtriser le parallélisme <ul><li>Les systèmes parallèles sont difficiles à concevoir et à vérifier </li></ul><ul><ul><li>Cause : explosion combinatoire de l’espace d’états </li></ul></ul><ul><li>Solution : approche compositionnelle </li></ul><ul><ul><li>Composants atomiques séquentielles </li></ul></ul><ul><ul><li>Colle – coordination sans ajout de comportement </li></ul></ul><ul><li>Avec BIP </li></ul><ul><ul><li>Synthèse de la couche de coordination </li></ul></ul><ul><ul><li>Garanties par construction </li></ul></ul><ul><ul><li>Analyse indépendante des composants et de la colle </li></ul></ul>
  4. 4. Exemple : Robot de secours <ul><li>Interfaces des composants élémentaires séquentiels </li></ul><ul><ul><li>Moteur (actions : avancer , tourner ) </li></ul></ul><ul><ul><li>Capteur (actions : mesurer , chaud ) </li></ul></ul><ul><ul><li>Navigation (actions : mettre-à-jour , objectif , frontière ) </li></ul></ul><ul><li>Exigences de sûreté </li></ul><ul><ul><li>Ne pas avancer et tourner en même temps </li></ul></ul><ul><ul><li>Ne pas sortir de la région (indiqué par frontière ) </li></ul></ul><ul><ul><li>Éviter les zones de danger (indiqué par chaud ) </li></ul></ul><ul><ul><li>Arrêter lorsque l’objectif est atteint (indiqué par objectif ) </li></ul></ul><ul><ul><li>Mettre à jour la position et la température après chaque mouvement </li></ul></ul><ul><li>La couche de contrôle est synthétisée </li></ul>
  5. 5. Exemple : contrôle d’un robot <ul><li>Robot autonome Dala développé au LAAS (Toulouse) </li></ul><ul><ul><li>http://homepages.laas.fr/matthieu/robots/dala.shtml </li></ul></ul><ul><li>Couche contrôle : ~300 000 lignes de code initial </li></ul><ul><ul><li>Componentisation </li></ul></ul><ul><ul><li>Vérification des propriétés de sûreté </li></ul></ul><ul><ul><li>Génération de code </li></ul></ul><ul><li>Le projet MARAE distingué par FNRAE </li></ul><ul><ul><li>Fondation de Recherche pour l’Aéronautique et l’Espace : EADS, Safran, Thalès, … </li></ul></ul><ul><ul><li>http://www.ujf-grenoble.fr/1274965794187/0/fiche___actualite/ </li></ul></ul>
  6. 6. Garanties de sûreté <ul><li>DFinder – outil pour l’analyse des propriétés de sûreté des modèles BIP </li></ul><ul><li>Détection compositionnelle et incrémentale d’interblocages </li></ul>
  7. 7. Pourquoi utiliser BIP ? <ul><li>Généralité </li></ul><ul><ul><li>Englobe différentes modèles de programmation, par exemple </li></ul></ul><ul><ul><ul><li>Flots de données synchrones (Lustre, SCADE) </li></ul></ul></ul><ul><ul><ul><li>Mémoire partagée </li></ul></ul></ul><ul><ul><ul><li>Envoi de messages </li></ul></ul></ul><ul><li>Expressivité </li></ul><ul><ul><li>Tout type de coordination sans ajout de comportement </li></ul></ul><ul><ul><li>Construction par intégration des fonctions élémentaires </li></ul></ul><ul><li>Garanties par construction </li></ul><ul><ul><li>Synthèse de colle </li></ul></ul><ul><ul><li>Transformations source-to-source </li></ul></ul><ul><ul><ul><li>Optimisation de performances </li></ul></ul></ul><ul><ul><ul><li>Prise en compte de contraintes architecturales </li></ul></ul></ul>
  8. 8. Quelle utilisation pour BIP ? <ul><li>Modélisation </li></ul><ul><ul><li>Simulation et/ou vérification </li></ul></ul><ul><ul><li>SW/HW co-design </li></ul></ul><ul><li>Développement </li></ul><ul><ul><li>Maîtrise de complexité </li></ul></ul><ul><ul><li>Réutilisation de composants </li></ul></ul><ul><ul><li>Implémentation avec un noyau BIP </li></ul></ul><ul><ul><ul><li>centralisé, multi-cœur, distribué </li></ul></ul></ul><ul><li>Componentisation de code existant </li></ul><ul><li>Possibilité d’externalisation </li></ul>
  9. 9. Quels bénéfices ? <ul><li>Analyse </li></ul><ul><ul><li>Réduction de coûts V&V </li></ul></ul><ul><ul><li>Aide à la qualification et certification </li></ul></ul><ul><li>Développement </li></ul><ul><ul><li>Réduction du cycle de développement (meilleur time-to-market ) </li></ul></ul><ul><ul><li>Déplacer l’effort sur les problématiques métier </li></ul></ul><ul><li>Componentisation </li></ul><ul><ul><li>Simplification et de la base de code et élimination de bugs </li></ul></ul><ul><ul><li>Réutilisation des composants à travers l’entreprise </li></ul></ul><ul><ul><li>Facilité de coordination avec partenaires extérieurs </li></ul></ul>
  10. 10. Contacts <ul><li>Joseph Sifakis </li></ul><ul><ul><li>[email_address] </li></ul></ul><ul><li>Simon Bliudze </li></ul><ul><ul><li>[email_address] </li></ul></ul><ul><li>Page web de la plateforme </li></ul><ul><ul><li>http://www-verimag.imag.fr/BIP,196.html </li></ul></ul>

×