Esterel Technologies - Wind River
Esterel Technologies - Wind River
Esterel Technologies - Wind River
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Esterel</strong> <strong>Technologies</strong><br />
Certified Solutions for Critical<br />
Embedded Systems and Software
3<br />
<strong>Esterel</strong> <strong>Technologies</strong> - Mission<br />
To provide critical embedded system and software<br />
developers a certified, domain optimized, model-based<br />
development environment and associated services to<br />
reduce time-to-deployment, and as required, time-tocertification<br />
for:<br />
DO-178B – Aerospace and Defense<br />
EN 50128 – Rail Transportation<br />
IEC 61508 – Industrial and Transportation<br />
IEC 60880 - Nuclear<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary
4<br />
Founded in 1999<br />
ISO 9001:2000 Certified for<br />
Design and Sale of Critical<br />
Software Tools and Services<br />
Core competency: Critical<br />
embedded systems modeling<br />
and application development<br />
Invented the formal SCADE<br />
language for critical design<br />
and development<br />
Worldwide presence<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary<br />
Who We Are…<br />
<strong>Esterel</strong> <strong>Technologies</strong> Growth<br />
30%+ a year revenue<br />
growth since inception<br />
Revenues (M$)
5<br />
Direct Offices<br />
USA<br />
Canada<br />
UK<br />
France<br />
Germany<br />
Russia<br />
China<br />
Channel Partners<br />
Australia : APC Technology<br />
China: VISION <strong>Technologies</strong><br />
India: TRIDENT INFOSOL<br />
Israel: ITEC<br />
Italy: MICROTask<br />
Japan: CD Adapco Japan (CDAJ)<br />
Korea: ENESYS<br />
Russia: AVD Systems<br />
Spain: Embedded <strong>Technologies</strong><br />
Turkey: TEKTRONIK<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary<br />
<strong>Esterel</strong> Locations
6<br />
Aerospace & Defense<br />
Aircraft Braking Systems Corp<br />
Airbus<br />
AVIC<br />
Avionika<br />
BAE SYSTEMS<br />
BIESE<br />
Bundeswehr (BWB)<br />
CASC<br />
CETC<br />
CS-SI<br />
Dassault Aviation<br />
Diehl Aerospace<br />
DS&S (Rolls Royce)<br />
EADS Military<br />
EADS Astrium<br />
EADS SD&E<br />
Edisoft<br />
Elbit Systems<br />
Elbit UAV<br />
Embraer<br />
ELV<br />
ELTA (Areva Group)<br />
ESA<br />
ESG<br />
Eurocopter<br />
Flight Dynamics<br />
General Electric<br />
Goodrich<br />
GosNIIAS<br />
Hispano-Suiza<br />
Honeywell CR<br />
Intertechnique<br />
Liebherr Aerospace<br />
Lockheed Martin<br />
Meggitt<br />
MBDA<br />
NASA<br />
Nord Micro<br />
Messier-Bugatti<br />
ONERA<br />
Parker<br />
QinetiQ<br />
Parker HSD,<br />
Pratt & Whitney<br />
Rockwell Collins<br />
Rolls Royce<br />
Rovsing<br />
Saab Avitronics<br />
SAIC<br />
Safran<br />
Sagem<br />
Snecma<br />
Sukhoi<br />
Turkish Aerospace (TAI)<br />
Teuchos<br />
Thales DAE<br />
Turbomeca<br />
Samsung Thales<br />
UAE Air Force<br />
US Air Force<br />
Ultra Electronics<br />
VEGA<br />
Alstom Transportation<br />
Ansaldo Signal<br />
AREVA TA<br />
BJTU (China)<br />
Deuta Werke<br />
NRIET<br />
RATP<br />
SNCF<br />
Siemens Rail<br />
Transportation<br />
Systerel<br />
Thales Rail Signalling<br />
Systems<br />
Union Switch<br />
NIIAS<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary<br />
Our Customers…<br />
Rail Transportation Industrial, Automotive<br />
& Energy<br />
AREVA NP<br />
Audi<br />
BARC (India)<br />
China Techenergy Denso<br />
DS&S, owned by Rolls-<br />
Royce<br />
FTE<br />
Fuji Heavy<br />
General Motors<br />
Honda<br />
IKV<br />
KAERI<br />
Korea Power<br />
Liebherr Construction<br />
Mitsubishi<br />
Johnson Controls<br />
NIAT<br />
Nihon Seiko<br />
Nissan<br />
Nuclear Research Center<br />
NPIC<br />
PSA Peugeot Citroën<br />
Renault<br />
Subaru<br />
Toyota<br />
Volvo Construction
7<br />
Their Problems…<br />
…Decreasing Increasing…<br />
Tolerance for defects<br />
Loss of life or physical damage<br />
Product recalls<br />
Development cycles<br />
Resource availability<br />
Ability to effectively manage<br />
requirements<br />
Ability to ensure long-term<br />
maintenance<br />
Safety critical requirements in<br />
Aerospace & Defense<br />
Energy<br />
Transportation<br />
Industrial<br />
Medical<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary<br />
Application complexity and life<br />
span<br />
Number of requirements changes<br />
Cost of code testing, validation<br />
and verification, and certification<br />
Need for Systems and software<br />
design reusability
8<br />
Manual Methods… are No Longer Sufficient…<br />
Lack of specification quality & accuracy<br />
Documentation lapses<br />
Requirements are not traceable into the design<br />
Specifications are left ambiguous<br />
Manual software implementation and verification are error prone<br />
Response time to requirements changes are unacceptable<br />
Application integrity is not ensured<br />
Design flaws are not caught until late in the process<br />
Cost of verification and testing to achieve certification is<br />
unacceptable<br />
It used to be about the cost of missing a market window…<br />
now it is that PLUS liability, post sale support costs<br />
and corporate reputation<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary
9<br />
We Address the Following Problems<br />
Specification quality & accuracy<br />
Providing formal and deterministic specifications<br />
Requirements easily traced into and throughout the design<br />
Design documentation is always up to date<br />
Software implementation and verification errors<br />
Automatic certified code generation ensures application integrity and<br />
cost effectiveness<br />
Cost of finding bugs late<br />
Through static and dynamic analysis, we eliminate specification and<br />
design flaws early and enable full specification coverage<br />
Cost of verification & testing imposed by standards such as<br />
DO-178B, IEC 61508, EN 50128, IEC 60880<br />
Certified code generation eliminates unit testing<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary
10<br />
Compiler verification<br />
Detects compilation errors<br />
Design flow integration<br />
Links to other tools in the development chain<br />
Seamless integration with Configuration Management,<br />
Requirements Tools, IDEs<br />
Design collaboration<br />
Ability to easily share in the development,<br />
review and verification of the designs<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary<br />
We also Solve…
11<br />
Model-Based Development<br />
for Critical Embedded Systems and Software<br />
Control Engineering<br />
Embedded Software<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary<br />
Existing Capabilities<br />
On-Board<br />
Embedded Graphics
12<br />
SYSTEM<br />
SPEC<br />
Algorithm<br />
Design Capture<br />
Architecture<br />
Design Capture<br />
Requirements<br />
Management<br />
Gateway<br />
The SCADE Certified Software Factory<br />
DESIGN VERIFY GENERATE<br />
Debugging &<br />
Simulation<br />
Model Coverage<br />
Analysis<br />
Rapid<br />
Simulation<br />
Integrated<br />
Configuration<br />
Management<br />
Time & Stack<br />
Analysis<br />
MANAGE & TRACE<br />
Formal<br />
Verification<br />
Object Code<br />
Verification<br />
SCADE Suite/SCADE Display<br />
Integration<br />
Design<br />
Checking<br />
Automatic<br />
Design<br />
Documentation<br />
Copyright © <strong>Esterel</strong> <strong>Technologies</strong> 2008 - An ISO 9001:2000 Certified Company - Confidential & Proprietary<br />
SCADE<br />
Suite<br />
KCG<br />
RTOS<br />
Adaptors<br />
SCADE<br />
Display<br />
KCG<br />
SYSTEM<br />
TEST<br />
DO-178B<br />
IEC 61508<br />
EN 50128<br />
Certification Kits,<br />
Certificates &<br />
Handbooks
13<br />
What is Unique About SCADE?<br />
SCADE is being developed specifically to address<br />
critical embedded system and software applications<br />
SCADE is certified/qualified according to following<br />
international safety standards:<br />
DO-178B qualification up to Level A – Aerospace & Defense<br />
IEC 61508 certification up to SIL 3 – Transportation & Industry<br />
EN 50128 certification up to SIL 3/4 – Rail Transportation<br />
IEC 60880 full compliance – Nuclear Industry<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary
14<br />
<strong>Esterel</strong> SCADE Professional Services<br />
Team of Consultants and Experts experienced in all aspects of<br />
Mission and Safety-critical Software Development<br />
ISO 9001:2000 Certification to Deliver Expert Consulting and<br />
Training in the Mission and Safety-critical Market<br />
Programs<br />
Fast Ramp-Up Services<br />
Product training, over-the-shoulder ramp up support, and methodology<br />
guidelines<br />
Project Support Services<br />
Seamlessly integrate SCADE Suite and SCADE Display into your toolchain<br />
and workflow<br />
Certification Support Services<br />
Ranges of services from certification plan development, document<br />
generation qualification, and relationship assistance with certification<br />
authorities<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary
15<br />
Standards<br />
Portability<br />
Support<br />
Partners<br />
Results<br />
Why <strong>Esterel</strong> SCADE is the Solution…<br />
SCADE provides a common representation between<br />
systems and software teams sharing SCADE models<br />
SCADE generates portable C or Ada Code which<br />
is RTOS, hardware & bus platform independent<br />
<strong>Esterel</strong> <strong>Technologies</strong> has worldwide training and<br />
support capabilities<br />
SCADE has been integrated to leading Requirements<br />
Management Tools, Traceability, RTOSes, IDEs,<br />
Compilers, Testing and Code analysis tools<br />
SCADE users have experienced a 2X speed-up<br />
improvement in time-to-certification and a 37%<br />
reduction in project development costs!<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary
Case Studies
<strong>Esterel</strong> SCADE<br />
in Aerospace & Defense<br />
Applications
18<br />
<strong>Esterel</strong> in Aerospace & Defense Applications<br />
Flight control systems<br />
Power management<br />
Reconfiguration<br />
management<br />
Autopilots<br />
Engine control systems<br />
(FADEC)<br />
Braking systems<br />
Cockpit display and alarm<br />
management<br />
Fuel management<br />
(DO-178B EASA & FAA Qualified – up to level A)<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary<br />
AIRBUS – A340-600 & A380<br />
US Air Force - F16
19<br />
Commercial Programs<br />
Airbus A340 & A380<br />
Boeing 787<br />
Eurocopter EC135/145/155/225<br />
Eurocopter AS 350<br />
Sikorsky S76D<br />
Dassault Falcon 7X, Falcon SMS<br />
Sukhoi Superjet 100<br />
ARJ-21 (Chinese Regional Jet)<br />
Cessna Citation Mustang<br />
Cessna Citation Encore+<br />
Cessna Citation XLS+<br />
Be200e (Amphibious Jet)<br />
Eclipse 500<br />
Embraer Phenom 100/300<br />
Gulfstream G500<br />
Mitsubishi MRJ<br />
SCADE Usage Overview by Programs<br />
<strong>Esterel</strong> <strong>Technologies</strong> Confidential<br />
Airbus A400M<br />
Defense Programs<br />
Dassault Rafale / Mirage 2000-9<br />
EADS Astrium M51 Missile<br />
MBDA FREMM Frigate Missile<br />
Launcher<br />
Eurocopter Super Puma, NH90<br />
Chinese Helicopters Z8, Z10<br />
US Air Force F16<br />
US-101 (Presidential Helicopter)<br />
Watchkeeper (UAV)<br />
Neuron (UAV)<br />
Space Programs<br />
ARIANE 5 Launcher<br />
ATV Launcher<br />
ESA’s VEGA Launcher<br />
Shenzhou II Rocket<br />
CEV Program
20<br />
SCADE is present in the following<br />
A380 systems:<br />
Flight Control system<br />
Flight Warning system<br />
Electrical Load Management system<br />
Anti Icing system<br />
Braking and Steering system<br />
Cockpit Display system<br />
Part of ATSU (Board / Ground comms)<br />
FADEC (Engine Control)<br />
EIS2 : Specification GUI Cockpit:<br />
PFD : Primary Flight Display<br />
ND : Navigation Display<br />
EWD : Engine Warning Display<br />
SD : System Display<br />
SCADE in the Airbus A380<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary<br />
Flight Control<br />
Primary & Secondary<br />
Commands<br />
Braking & Steering<br />
Control Unit<br />
Anti Ice<br />
Control Unit<br />
Flight<br />
Warning<br />
System
Control and Display<br />
System (CDS)<br />
21<br />
Eight screens, two<br />
keyboards/cursor control<br />
devices<br />
Head-Up Display (HUD)<br />
Incorporating LCD<br />
technology<br />
On-board Airport<br />
Navigation System<br />
(OANS)<br />
SCADE Display & OpenGL<br />
graphics<br />
SCADE in the A380 Cockpit…<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary
<strong>Esterel</strong> SCADE<br />
in Rail Automation<br />
Systems<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary
23<br />
SCADE Suite Rail Automation Applications<br />
Train Control & Protection Systems<br />
Emergency braking<br />
Overspeed protection / Vehicle speed<br />
control<br />
Computer-based train control (CBTC)<br />
Automatic Train Protection<br />
Automatic Train Operation<br />
Door opening & departure interlocks<br />
Systems Control<br />
Human Machine Interfaces<br />
Fault reporting<br />
European Train Control System (ETCS)<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary
24<br />
SCADE Suite Rail Automation Applications<br />
Interlocking Systems<br />
Signaling<br />
Train vacancy detection<br />
Axle Counters<br />
Level Crossing protection<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary
25<br />
Alstom Transportation<br />
Ansaldo Signal / CSEE<br />
AREVA TA<br />
BJTU (Chinese Railways)<br />
Deuta Werke<br />
RATP<br />
SNCF (French Railways)<br />
Rail Automation Customers Examples<br />
Siemens Rail Transportation<br />
Systerel<br />
Thales Rail Signalling Systems<br />
Union Switch & Signal<br />
VNIIAS (Russian Railways)<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary
26<br />
SCADE Suite is currently being<br />
used by ANSALDO Signal on<br />
several large production<br />
projects to develop interlocking<br />
and train control systems<br />
Within the PAI-NG program,<br />
SNCF’s major interlocking<br />
renewal project for the whole<br />
french main line system<br />
SCADE at ANSALDO Signal<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary<br />
Dukovany 1,2,3,4<br />
Cattenom 1,2,3,4
SCADE Suite is currently<br />
being used by AREVA TA to<br />
design its i-CBTC signalling<br />
solution<br />
Within the OURAGAN<br />
program, RATP’s major<br />
signalling renewal project for<br />
the Paris Metro<br />
27<br />
By kaffeeeinstein - Creative Commons<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary<br />
SCADE at AREVA TA<br />
By Ostromentsky - Creative Commons
28<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary
<strong>Esterel</strong> SCADE<br />
in Nuclear I&C Applications<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary
30<br />
SCADE Nuclear I&C Applications…<br />
Reactor Protection Systems:<br />
Reactor limitation system<br />
Trip processing & Emergency shutdown<br />
Safety actuation<br />
Nuclear Instrumentation Systems:<br />
Power measurement system<br />
Neutron detectors<br />
Pressurizer heating controllers<br />
Neutron instrumentation systems<br />
Boron meters<br />
Other Safety Systems<br />
Safety valve control system<br />
Rod control systems<br />
Diesel sequencing system<br />
Rod position instrumentation systems<br />
(IEC 60880 Compliance)<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary
<strong>Esterel</strong> SCADE<br />
in Automotive & Industrial<br />
Applications<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary
32<br />
<strong>Esterel</strong> in Automotive & Industrial Applications…<br />
Automotive & 2-Wheelers:<br />
Airbags<br />
Braking Systems, ABS & ESP<br />
Steering<br />
Chassis & Suspension Systems<br />
Restraining systems<br />
Engine regulation<br />
X-By-Wire applications<br />
Heavy Duty Industrial systems:<br />
Cranes<br />
Tractors<br />
Tanks<br />
Earth Moving Machines<br />
Trucks<br />
Construction equipment<br />
Mining machines, etc…<br />
(IEC 61508 Certified by TÜV – up to SIL 3)<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary<br />
AUDI - A8<br />
BMW motorcycles
33<br />
Active Suspension<br />
System Control<br />
SCADE in the Peugeot 407…<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary
34<br />
OEM MODULE PARTNERS<br />
<strong>Esterel</strong> <strong>Technologies</strong> Partners<br />
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary<br />
REAL-TIME OPERATING SYSTEM PARTNERS<br />
DEVELOPMENT TOOL CHAIN PARTNERS OPENGL LIBRARY PARTNERS
© <strong>Esterel</strong> <strong>Technologies</strong> - An ISO 9001:2000 Certified Company - Confidential & Proprietary