Bip Summary (English)

957 views

Published on

These slides present the summary of the BIP offer. BIP is a framework for the development and analysis of critical real-time embedded systems.

Published in: Technology, Business
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
957
On SlideShare
0
From Embeds
0
Number of Embeds
7
Actions
Shares
0
Downloads
14
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Bip Summary (English)

  1. 1. BIP framework<br />Development and analysis of critical real-time embedded systems<br />
  2. 2. Target applications<br />Software control of critical systems…<br />Transport (automotive, avionics, etc.)<br />Robotics<br />Healthcare<br />…must satisfy safety requirements<br />Deadlock-freedom<br />BIP is your solution<br />For the analysis of existing applications<br />For the development of correct by construction applications<br />
  3. 3. Harness the concurrency<br />Concurrent systems are hard to design and verify<br />Cause : state space explosion<br />Solution: compositional approach…<br />Sequential atomic components<br />Glue – coordination without additional behavior<br />…with BIP<br />Synthesis of the coordination layer<br />Correctness by construction<br />Independent analysis of components and glue<br />
  4. 4. Formal language for component-based modeling<br />Coordination language for C<br />Tools for analysis and transformation<br />Safety properties analysis (e.g. deadlock-freedom with DFinder)<br />Performance optimization with respect to architectural constraints<br />Functional and non-functional analysis<br />Compilation chain<br />Parser, code generation<br />Simulation engine<br />Execution on multi-core and distributed architectures<br />What is BIP?<br />
  5. 5. Expressivity<br />Direct expression of any type of coordination without additional behavior<br />Construction by integration of elementary functions<br />Generality <br />Compatible with many programming models<br />Synchronous dataflow<br />Shared memory<br />Message passing<br />Correctness by construction<br />Glue synthesis<br />Source-to-source transformations<br />Performance optimization with respect to architectural constraints<br />Automatic generation of distributed models<br />Why use BIP?<br />
  6. 6. How to use BIP?<br />Component-based design<br />Harness the system complexity<br />Component re-use<br />Correct-by-construction implementation<br />centralized, multi-core, distributed<br />Modeling and analysis<br />Simulation and/or verification<br />SW/HW co-design<br />Componentization of existing code base <br />Code refactoring<br /><ul><li>Outsourcing possibilities </li></li></ul><li>Component-based design<br />Deadlock analysis<br />Performance optimization<br />Models & information at different design stages<br />In light blue – provided by the designer<br />In black – generated by automatic transformation tools<br />Translation into BIP realized by the “language factory” – a set of tools for translation from different formalisms to BIP<br />Lustre, MATLAB/Simulink, AADL, DOL, GeNoM<br />
  7. 7. Modeling and analysis<br />D-Finder – a BIP tool for the analysis of safety properties satisfaction<br />Compositional and incremental deadlock detection<br />High performance even on models that other tools fail to analyze<br />Red curve in the graph shows D-Finder analysis time for the Dining philosophers problem<br />
  8. 8. Componentization<br />Autonomous robot Dala developed at LAAS (Toulouse)<br />http://homepages.laas.fr/matthieu/robots/dala.shtml<br />Control layer: ~300 000 lines of initial source code<br />Componentization<br />Verification of safety properties<br />Code generation<br />The MARAE project awarded by FNRAE<br />Fondation de Recherche pour l’Aéronautique et l’Espace<br />Foundation for Research in Aeronautics and Space<br />EADS, Safran, Thalès, …<br />http://www.ujf-grenoble.fr/1274965794187/0/fiche___actualite/<br />
  9. 9. Benefits<br />Analysis<br />V&V cost reduction<br />Qualification and certification assistance<br />Development<br />Development methodology supported by theoretical results<br />Shorter time-to-market<br />Development effort focused on business specific challenges<br />Componentization<br />Simplification and quality improvement of the existing code base<br />Component re-use throughout the company<br />Simplified coordination with outside partners<br />
  10. 10. Contacts<br />Joseph Sifakis<br />Joseph.Sifakis@imag.fr<br />Simon Bliudze<br />Simon.Bliudze@cea.fr<br />BIP framework web page <br />http://www-verimag.imag.fr/BIP,196.html<br />

×