曝光台 注意防骗
网曝天猫店富美金盛家居专营店坑蒙拐骗欺诈消费者
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!
中国航空网 www.aero.cn
航空翻译 www.aviation.cn
本文链接地址：
航空资料2(22)
