璧水师徒H,红酒灌阴然后吸出来

log in immediately

If you already have an account on this site, you can log in directly.

注册新会员 * Register new members for required fields

  • log-in name: *
  • login password: *
  • Repeat password: *
  • Name: *
  • company name: *
  • Position:
  • contact number: *
  • e-mail: *
  • Verification code: *

log in immediately

If you already have an account on this site, you can log in directly.

找回密码 * Retrieve password for required fields

  • register e-mail:

    The verification code will be sent to your mailbox by email!

  • Verification code: *
  • Please enter a new password: *

Safety critical software integrated development environment ASIDE

Provide comprehensive support for the development, management and approval of software throughout its life cycle

contact us

021-61680661

SCADE High Security Application Development Environment

首页 > 产品中心 > SCADE高安全性应用开发环境 Your location: Home > Products > SCADE High Security Application Development Environment

SCADE High Security Application Development Environment



France Esterel Technology Co., Ltd. is a company focused on providing certification-level solutions for key systems and software developers, assisting users to improve software quality, improve development efficiency, shorten software development cycles and reduce software development costs.


Esterel was formally established in November 1999 and is headquartered in Elancourt, France, with branches or representative offices in China, the United States, Germany, the United Kingdom, Russia, Brazil, India, and South Korea. The company has more than 300 large customers worldwide, and its solutions have been taught in more than 100 well-known universities around the world. It is a world-renowned manufacturer that provides model-based design and verification tools for key embedded systems.


SCADE product system


SCADE is the main product series of France Esterel Technology Co., Ltd. SCADE is the abbreviation of High Security Application Development Environment (Safety Critical Application Development Environment), and its products cover all contents and stages of high security embedded system development. Its main products are:


1. SCADE Suite: The industry's leading integrated software development environment for high security, through the use of scade language and unified formal semantics, can achieve model-based design, simulation, verification, certification-level code generation, and other development tools and Platform interaction. SCADE Suite code generator can automatically generate C code and Ada code.

The basic module of SCADE Suite is composed of SCADE Suite Advanced Modeler (SCADE Advanced Modeler), SCADE Suite KCG (Code Generator), and SCADE Suite Documentation Generator (Model Design Document Generator).


2. SCADE Display: It is a flexible design and development environment for high-security graphic displays and HMIs. It is a new generation graphics software development platform, based on which it can complete prototype generation, design simulation, verification and certification level code generation.


3. SCADE LifeCycle: Expands the SCADE product's management functions for the complete lifecycle of high-security systems and software. The main functions include requirements and traceability management tools, certification plan templates that comply with DO-178B standards, and automated document generators.


4. SCADE System: Based on the SysML and Eclipse standards, by using SCADE System to connect SCADE Suite, SCADE Display and SCADE LifeCycle, system engineers and software engineers can work under the same framework, thereby avoiding duplication of labor and the definition of system structure and software behavior Deviation.


5. SCADE ARINC 661 solution: SCADE provides a complete set of solutions in line with the ARINC 661 standard for avionics display system development units. This solution is based on the existing SCADE product module, and provides UA page customization, server-side widget customization and communication code generation based on "what you see is what you get" to ensure that the appearance seen at runtime and customization is the same. At the same time, developers can bind and map the UA-side logic and Server-side Widgets attributes or events in SCADE Suite to realize the co-simulation of the UA-side control logic and the Server-side graphical page (DF file).



Features of SCADE


SCADE is a high-security embedded software development environment. It has the following characteristics, which can effectively solve the problems in the current traditional software development:

采用形式化的设计方法,以严格的数学理论保证设计的完整性和无二义性; Adopt formal design method, ensure the integrity and unambiguousness of design with strict mathematical theory;

使用图形化建模方式,易学易用,采用“基于模型”开发方式替代传统的“基于代码”的开发方式,减少了开发人员的工作量; Using graphical modeling method, easy to learn and use, adopting "model-based" development method to replace the traditional "code-based" development method, reducing the workload of developers;

自动生成高质量、无需单元测试的产品级C/Ada代码,代码与模型严格一致; Automatically generate high-quality product-level C / Ada code without unit testing, and the code is strictly consistent with the model;

提供高效和可靠的仿真和测试手段,可对各个开发流程进行定量的验证。 Provide efficient and reliable simulation and test methods, which can quantitatively verify each development process.


The SCADE solution provided by France Esterel Technology Co., Ltd. has standardized and automated the development of secure embedded software by means of its accurate software requirements description, model simulation, formal verification, and high-quality automatic code generation technology. , Can generate more than 70% of the product code; omit large-scale unit testing; reduce more than half of the verification work; save more than 50% of the development cost; expedite the development progress; ensure the safety of the product reliably; Meet the requirements of DO-178B standard.


COPYRIGHT © 2017SHAVIATION Shanghai Aiweixun Information Technology Co., Ltd. All rights reserved. 沪 ICP 备 13019901 号 -1 COPYRIGHT © 2017SHAVIATION Postcode: 201203