• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
Bip Summary (English)
 

Bip Summary (English)

on

  • 882 views

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

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

Statistics

Views

Total Views
882
Views on SlideShare
878
Embed Views
4

Actions

Likes
0
Downloads
8
Comments
0

1 Embed 4

http://www.linkedin.com 4

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    Bip Summary (English) Bip Summary (English) Presentation Transcript

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