Embedded Systems, Computing and Control

1
Embedded Systems,Computing and Control
Cyrille FAGUE ESTEREL TECHNOLOGIES V.P.
International Operations
2
Agenda / content

• Description of the organisation/company
• Esterel Technologies products and customers
• Research activities of the organisation/company
• Research activities where co-operation is sought

3
1. Description of Esterel Technologies

• Esterel Technologies mission is to deliver
  Model-Based Development tools services for
  Mission Safety-Critical embedded applications
  to be Certified according to Intl Safety
  Standards such as
• DO-178B for Aerospace Defense
• IEC 61508 for Industry Transportation
• EN 50128 for Railways
• IEC 60880 for Nuclear industry
• Esterel is already participating to FP7
• Esterel is leading the INTERESTED project

4
2. Esterel Products Customers

• Esterel SCADE products Model Based Design
  tools for embedded software and graphics

For Control Engineering Embedded Software
On-Board Embedded Displays

• SCADE customers include Airbus, AVIC, Boeing,
  Dassault Aviation, Eurocopter, Embraer, General
  Electric, Pratt Whitney, Safran, Thales,
• and Sukhoi, GosNIIAS, Avionika and NIIAS in
  Russia !

5
3. Research activities at Esterel

• Design capture of embedded systems software
• Design of the logics (SCADE Suite)
• Design of the HMI (SCADE Display)
• Automatic Code generation chain
• from formal notation for both logic and HMI to
  safe subset of the C language
• Code generator is meant to be qualified/Certified
  according to international safety standards
• DO-178B for Aerospace Defense
• IEC 61508 for Industry Transportation
• EN 50128 for Railways
• IEC 60880 for Nuclear industry

6
4. Research activities where
co-operation is sought

• Creation of design tools to cope with interactive
  embedded displays development beyond ARINC 661
• Integrated tool set for development of embedded
  systems including the link between system design
  and simulation and software development

7
Thank you !

• Cyrille FAGUE
• cyrille.fague_at_esterel-technologies.com
• Tel. [phone]