曝光臺 注意防騙 網曝天貓店富美金盛家居專營店坑蒙拐騙欺詐消費者

 Design documentation is always up to date
 Software implementation and verification errors
 Automatic certified code generation ensures application integrity and
cost effectiveness
 Cost of finding bugs late
 Through static and dynamic analysis, we eliminate specification and
design flaws early and enable full specification coverage
 Cost of verification & testing imposed by standards such as
DO-178B, IEC 61508, EN 50128, IEC 60880
 Certified code generation eliminates unit testing
© Esterel Technologies - An ISO 9001:2000 Certified Company - Confidential & Proprietary
10
We also Solve…
 Compiler verification
Detects compilation errors
 Design flow integration
 Links to other tools in the development chain
Seamless integration with Configuration Management,
Requirements Tools, IDEs
 Design collaboration
 Ability to easily share in the development,
review and verification of the designs
© Esterel Technologies - An ISO 9001:2000 Certified Company - Confidential & Proprietary
11
Model-Based Development
for Critical Embedded Systems and Software
© Esterel Technologies - An ISO 9001:2000 Certified Company - Confidential & Proprietary
Existing Capabilities
Control Engineering
Embedded Software
On-Board
Embedded Graphics
12
The SCADE™ Certified Software Factory
Copyright © Esterel Technologies 2008 - An ISO 9001:2000 Certified Company - Confidential & Proprietary
DESIGN VERIFY GENERATE
MANAGE & TRACE
SYSTEM
SPEC
SYSTEM
TEST
Model Coverage
Analysis
Debugging &
Simulation
Formal
Verification
Automatic
Design
Documentation
Integrated
Configuration
Management
SCADE
Suite
KCG
Architecture
Design Capture
RTOS
Adaptors
DO-178B
IEC 61508
EN 50128
Certification Kits,
Certificates &
Handbooks
Object Code
Verification
Requirements
Management
Gateway
Rapid
Simulation
Design
Checking
SCADE Suite/SCADE Display
Integration
Algorithm
Design Capture
Time & Stack
Analysis
SCADE
Display
KCG
13
What is Unique About SCADE?
 SCADE is being developed specifically to address
critical embedded system and software applications
 SCADE is certified/qualified according to following
international safety standards:
DO-178B qualification up to Level A – Aerospace & Defense
 IEC 61508 certification up to SIL 3 – Transportation & Industry
EN 50128 certification up to SIL 3/4 – Rail Transportation
 IEC 60880 full compliance – Nuclear Industry
© Esterel Technologies - An ISO 9001:2000 Certified Company - Confidential & Proprietary
14
Esterel SCADE Professional Services
 Team of Consultants and Experts experienced in all aspects of
Mission and Safety-critical Software Development
 ISO 9001:2000 Certification to Deliver Expert Consulting and
Training in the Mission and Safety-critical Market
 Programs
Fast Ramp-Up Services
 Product training, over-the-shoulder ramp up support, and methodology
guidelines
 Project Support Services
 Seamlessly integrate SCADE Suite and SCADE Display into your toolchain
and workflow
Certification Support Services
 Ranges of services from certification plan development, document
generation qualification, and relationship assistance with certification
authorities
© Esterel Technologies - An ISO 9001:2000 Certified Company - Confidential & Proprietary
15
Why Esterel SCADE is the Solution…
© Esterel Technologies - An ISO 9001:2000 Certified Company - Confidential & Proprietary
SCADE provides a common representation between
systems and software Standards teams sharing SCADE models
Esterel Technologies has worldwide training and
Support support capabilities
SCADE generates portable C or Ada Code which
Portability is RTOS, hardware & bus platform independent
SCADE has been integrated to leading Requirements
Management Tools, Traceability, RTOSes, IDEs,
Compilers, Testing and Code analysis tools
Partners
SCADE users have experienced a 2X speed-up
improvement in time-to-certification and a 37%
reduction in project development costs!
　
中國航空網 m.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料2(22)