Esterel Technologies

Esterel Technologies Company was officially established in November 1999, with its headquarters in France Elancourt. The company distributed a total of more than 100 staff in six countries and regions, and already has more than 50 large customers. The company has a solution in the world more than 50 institutions of higher education in teaching.

The company is to provide real-time embedded systems and electronic systems development tools and methodologies. These tools and methodology suited to the demanding security system, the specific application areas have air defense, automotive electronics, atomic energy control, transportation, SoC, microprocessors and so on. Companies use correct by construction concept, the demand from the norms of precision automatic generation HDL and embedded software development process to achieve a fully automated, on the one hand called world leaders.

SCADE is the main products. It is a highly secure application development environment, covering the entire embedded software development process: demand modeling, model checking, simulation, formal verification, code generation, document generation, and so on, in large measure, to achieve the automation of the software development can save 50% to the development costs and development time. In addition, SCADE code generator (KCG) is the world's only satisfy the Civil Aviation DO-178B level A standard.

ESTEREL Studio is another product technology company, which mainly used for a number of electronic systems development. As SCADE, it also covers the entire electronic systems development process. ESTEREL Studio under the template can automatically generate test cases, and 100% coverage of the testing, greatly reducing the test time and test cost.

SCADE Intro

SCADE ,Safety-Critical Application Development Environment acronym, it is a highly secure application development environment. Esterel Technologies Company in the development of a joint SCADE software avionics, automotive electronics, military aircraft and nuclear power plant control, and other areas of cooperation partners, such as AIRBUS, Schneider Electric, Dassault Aviation and THALES, a number of areas of integrated embedded software development to the different requirements proposed a set of high security embedded software development tools and the automation of the corresponding methodology.
SCADE use of a correct by construction concept, covering embedded software development needs of the embedded code from the entire process: demand modeling, model checking, simulation, formal verification, embedded code generated automatically, and automatic documentation generation, and so on. Additionally, it and many other tools for the bridge.

1 The demand to code

Graphical Modeling
Real-time high security software design tools SCADE through graphical modeling to achieve software development automation, user from the task of lengthy dry freed, have more time to take an interest in other more important areas. SCADE editor provides a mechanism to carry out two sets of graphical modeling: data flow diagram and finite state machine. These two sets of mechanisms are built strictly on the basis of the mathematical model, has a strict mathematical semantics, they ensured the design of model accuracy, completeness, consistency, exactly the same meaning of. These are high-security system's basic characteristics.
Data flow mechanism for continuous system modeling, finite state machine is suitable for discrete systems modeling. These two sets of mechanisms SCADE well together, make it possible to be tailored to different types of systems in particular the development of hybrid systems. SCADE graphic editor interface is friendly, easy to use, contribute to system design software design group with the exchanges between the group so as to shorten the product development time. In the graphical modeling, we can check the model: the model of inconsistency, type mismatch, data circuits, and so on all models wrong, SCADE will take a hypertext approach to positioning, to error correction.
Two forms of Model checking: partial model check our block selected types, constants, block or operator; Overall model check the entire model.

Simulation
The system modeling, we can be on the whole system or a system of arbitrary modules simulation. SCADE simulator is based on the generation of the simulation code, it is a powerful graphical visualization of debugging tools can be set up, that the breakpoint, interrupted conditions; Checks can input data, the internal variables and output data values; Recording and playback can also Simulation scene (scenario) . The input and output simulator can be used in the form of text or tables are given, but also by the famous TCL language to drive.
For a large number of input and output with the system, we in the simulation, it was perhaps the only system in a number of changes in signal interest. SCADE tools can easily signal our interest to concentrate together and the way records used graphic simulation when these signals changes in order to facilitate the inspection.
SCADE also provide a good interface for users based on actual application, design and friendly simulation panel.

Formal verification

Modeling and simulation can to a certain extent, the test system is a good model to achieve our desired functions, but it can not guarantee that the system is expected to do should not be done outside the matter. Therefore, the simulation tests only after the security of the system can not be fully ensured. SCADE built-in formal verification functions solved the problem. Detailed formal verification, it does not require the implementation of model does not need the help of test vectors, we can test whether SCADE model of security, reliability and other aspects of the request. SCADE the Prover Plug-Prover company will integrate the latest technology to SCADE graphical interface, good design of the system requirements and the safety of a "characteristic of observation" after Users only need to press a button can be verified SCADE model of security. If the model is safe, it is a safe proof; If the model is unsafe, it could give a counter-examples, and this counter-examples in the simulator can also tune out in the simulation to detailed observation system is a step by step how to enter a state of insecurity. Formal verification of the functions of the system to a large extent facilitate the FEC, at the same time ensure that the target system's security.

The automatic generation of embedded code
Through simulation and formal verification to ensure the safety of the model after, SCADE-oriented projects can be generated automatically or the ANSI C language embedded Ada 83/95 code.
It generated code to meet a series of security features, for example, bounded stack, no dynamic pointer, no recursive call, no dead code, and so on. In addition, SCADE automatic generation of code space and the operation of the running time with very basic handwritten code, but more than handwritten code easy maintenance and adjustment.
And other than many code generator, SCADE code generation have two notable features.第一, SCADE code generated by the fully-oriented projects, which can be directly embedded into the system to the development needs to be done without any changes. Second, SCADE data based on strict theory, it generated guarantee the correctness of the code and the code generated by the commitment to the behavior and the behavior simulation exactly the same. This two is a lot of code generator by the impossible.

KCG
The CAD system development process must satisfy DO-178B international standards. KCG is love Noriega technology provided by the company to meet DO-178B level A civil aviation safety standards code generator. As KCG itself to meet this standard and to ensure the correctness of the code, which not only greatly save the coding work, and entirely removed from the test code modules, to a large extent to save the validation and verification time. (See Chapter 3 KCG and DO-178B standard) KCG the use of Airbus (AIRBUS) A340/500 projects and the European helicopters (Eurocopter), EC135, EC155, such as project development and quality certification bring tremendous help.

2 the bridge with other tools
The bridge with DOORS
DOORS is a needs analysis and tracking tool. SCADE and bridge tools DOORS一个SCADE model can be automatically imported into DOORS environment to facilitate the needs analysis and follow-up to SCADE demand in the design and test models or plans and other documents linked.
Needs analysis and tracking in the process, if we want to understand DOORS in SCADE corresponding to an object in which entities, the bridge also provides a tool for positioning function. Simply click of a button, it will start SCADE, out of the corresponding SCADE model, and positioning the cursor on in the corresponding entities.

the bridge with Configuration management tools
SCADE ASCII format to preserve all data, and support SCCI standard configuration management interface. Therefore, SCADE can easily support SCCI with all the standard bridge configuration management tools, such as Telelogic Synergy, MERANT PVCS, Rational Clearcase and Wincvs and so on. SCADE editor also integrates a common version management orders, such as checkin and checkout, and so on.

the bridge with Simulink
　　 If you are in the process of development in the past, the use of Matlab / Simulink control rate design done, then the bridge SCADE and Simulink give you much help. The tools can bridge the Simulink model we need software modules automatically converted into一个Scade model of this area to help us reuse existing models and design, reduce the workload; On the other hand we also it also enabled the full enjoyment of SCADE comparative advantages, such as the uncertainty of the system, formal verification , the embedded code generated automatically, and so on. In addition, the bridge can also generate code to SCADE return to the internal model as a Simulink S-function, and this may software code in its operating environment simulation.

if need more about Esterel,please send mail to Sales@cinsofot.com