曝光臺 注意防騙
網曝天貓店富美金盛家居專營店坑蒙拐騙欺詐消費者
30%+ a year revenue
growth since inception
Esterel Technologies Growth
Revenues (M$)
5
Esterel Locations
Direct Offices
USA
Canada
UK
France
Germany
Russia
China
Channel Partners
Australia : APC Technology
China: VISION Technologies
India: TRIDENT INFOSOL
Israel: ITEC
Italy: MICROTask
Japan: CD Adapco Japan (CDAJ)
Korea: ENESYS
Russia: AVD Systems
Spain: Embedded Technologies
Turkey: TEKTRONIK
© Esterel Technologies - An ISO 9001:2000 Certified Company - Confidential & Proprietary
6
Our Customers…
© Esterel Technologies - An ISO 9001:2000 Certified Company - Confidential & Proprietary
Aerospace & Defense
Alstom Transportation
Ansaldo Signal
AREVA TA
BJTU (China)
Deuta Werke
NRIET
RATP
SNCF
Siemens Rail
Transportation
Systerel
Thales Rail Signalling
Systems
Union Switch
NIIAS
AREVA NP
Audi
BARC (India)
China Techenergy Denso
DS&S, owned by Rolls-
Royce
FTE
Fuji Heavy
General Motors
Honda
IKV
KAERI
Korea Power
Liebherr Construction
Mitsubishi
Johnson Controls
NIAT
Nihon Seiko
Nissan
Nuclear Research Center
NPIC
PSA Peugeot Citroën
Renault
Subaru
Toyota
Volvo Construction
Rail Transportation Industrial, Automotive
& Energy
Aircraft Braking Systems Corp
Airbus
AVIC
Avionika
BAE SYSTEMS
BIESE
Bundeswehr (BWB)
CASC
CETC
CS-SI
Dassault Aviation
Diehl Aerospace
DS&S (Rolls Royce)
EADS Military
EADS Astrium
EADS SD&E
Edisoft
Elbit Systems
Elbit UAV
Embraer
ELV
ELTA (Areva Group)
ESA
ESG
Eurocopter
Flight Dynamics
General Electric
Goodrich
GosNIIAS
Hispano-Suiza
Honeywell CR
Intertechnique
Liebherr Aerospace
Lockheed Martin
Meggitt
MBDA
NASA
Nord Micro
Messier-Bugatti
ONERA
Parker
QinetiQ
Parker HSD,
Pratt & Whitney
Rockwell Collins
Rolls Royce
Rovsing
Saab Avitronics
SAIC
Safran
Sagem
Snecma
Sukhoi
Turkish Aerospace (TAI)
Teuchos
Thales DAE
Turbomeca
Samsung Thales
UAE Air Force
US Air Force
Ultra Electronics
VEGA
7
Their Problems…
Safety critical requirements in
Aerospace & Defense
Energy
Transportation
Industrial
Medical
Application complexity and life
span
Number of requirements changes
Cost of code testing, validation
and verification, and certification
Need for Systems and software
design reusability
Tolerance for defects
Loss of life or physical damage
Product recalls
Development cycles
Resource availability
Ability to effectively manage
requirements
Ability to ensure long-term
maintenance
© Esterel Technologies - An ISO 9001:2000 Certified Company - Confidential & Proprietary
…Decreasing Increasing…
8
Manual Methods… are No Longer Sufficient…
Lack of specification quality & accuracy
Documentation lapses
Requirements are not traceable into the design
Specifications are left ambiguous
Manual software implementation and verification are error prone
Response time to requirements changes are unacceptable
Application integrity is not ensured
Design flaws are not caught until late in the process
Cost of verification and testing to achieve certification is
unacceptable
It used to be about the cost of missing a market window…
now it is that PLUS liability, post sale support costs
and corporate reputation
© Esterel Technologies - An ISO 9001:2000 Certified Company - Confidential & Proprietary
9
We Address the Following Problems
Specification quality & accuracy
Providing formal and deterministic specifications
Requirements easily traced into and throughout the design
中國航空網 www.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：
航空資料2(21)
