Bip Summary (English)
Download as PPTX, PDF0 likes853 views
The BIP framework is designed for the development and analysis of critical real-time embedded systems across various applications like transportation, robotics, and healthcare, focusing on deadlock-free operation and safety requirements. It enables correct-by-construction implementations through a compositional approach, utilizing a formal language for component-based modeling and tools for performance optimization and safety analysis. BIP supports centralized, multi-core, and distributed modeling while facilitating component re-use and code refactoring for enhanced efficiency and quality in software development.
Bip Summary (English)
- 1. BIP frameworkDevelopment and analysis of critical real-time embedded systems
- 2. Target applicationsSoftware control of critical systems…Transport (automotive, avionics, etc.)RoboticsHealthcare…must satisfy safety requirementsDeadlock-freedomBIP is your solutionFor the analysis of existing applicationsFor the development of correct by construction applications
- 3. Harness the concurrencyConcurrent systems are hard to design and verifyCause : state space explosionSolution: compositional approach…Sequential atomic componentsGlue – coordination without additional behavior…with BIPSynthesis of the coordination layerCorrectness by constructionIndependent analysis of components and glue
- 4. Formal language for component-based modelingCoordination language for CTools for analysis and transformationSafety properties analysis (e.g. deadlock-freedom with DFinder)Performance optimization with respect to architectural constraintsFunctional and non-functional analysisCompilation chainParser, code generationSimulation engineExecution on multi-core and distributed architecturesWhat is BIP?
- 5. ExpressivityDirect expression of any type of coordination without additional behaviorConstruction by integration of elementary functionsGenerality Compatible with many programming modelsSynchronous dataflowShared memoryMessage passingCorrectness by constructionGlue synthesisSource-to-source transformationsPerformance optimization with respect to architectural constraintsAutomatic generation of distributed modelsWhy use BIP?
- 6. How to use BIP?Component-based designHarness the system complexityComponent re-useCorrect-by-construction implementationcentralized, multi-core, distributedModeling and analysisSimulation and/or verificationSW/HW co-designComponentization of existing code base Code refactoringOutsourcing possibilities Component-based designDeadlock analysisPerformance optimizationModels & information at different design stagesIn light blue – provided by the designerIn black – generated by automatic transformation toolsTranslation into BIP realized by the “language factory” – a set of tools for translation from different formalisms to BIPLustre, MATLAB/Simulink, AADL, DOL, GeNoM
- 7. Modeling and analysisD-Finder – a BIP tool for the analysis of safety properties satisfactionCompositional and incremental deadlock detectionHigh performance even on models that other tools fail to analyzeRed curve in the graph shows D-Finder analysis time for the Dining philosophers problem
- 8. ComponentizationAutonomous robot Dala developed at LAAS (Toulouse)http://homepages.laas.fr/matthieu/robots/dala.shtmlControl layer: ~300 000 lines of initial source codeComponentizationVerification of safety propertiesCode generationThe MARAE project awarded by FNRAEFondation de Recherche pour l’Aéronautique et l’EspaceFoundation for Research in Aeronautics and SpaceEADS, Safran, Thalès, …http://www.ujf-grenoble.fr/1274965794187/0/fiche___actualite/
- 9. BenefitsAnalysisV&V cost reductionQualification and certification assistanceDevelopmentDevelopment methodology supported by theoretical resultsShorter time-to-marketDevelopment effort focused on business specific challengesComponentizationSimplification and quality improvement of the existing code baseComponent re-use throughout the companySimplified coordination with outside partners
- 10. ContactsJoseph SifakisJoseph.Sifakis@imag.frSimon BliudzeSimon.Bliudze@cea.frBIP framework web page http://www-verimag.imag.fr/BIP,196.html