SCADE
From Wikipedia, the free encyclopedia
SCADE is a commercial product from the Esterel Technologies Company. It stands for Safety Critical Application Development Environment.
It is based upon the formal, synchronous and data-flow oriented Lustre programming language and generates C or Ada. It is qualified as a development tool for DO-178B up to level A. As a result, its main application fields are aerospace and avionics, but it's also used in other industries as well (automotive, rail transportation, heavy equipments, etc.).
Contents |
[edit] Features
- Graphical and textual editor
- Simulator
- Formal proof, known as Design verifier
- Code Generators (DO-178B and IEC 61508 certified)
- Model Test Coverage
- Fixed Point implementer
- Various Gateways (Simulink, DOORS, Altia, etc.)
[edit] Versions
- Latest available version SCADE 5.1.1 : (31 Sep 2006)
- SCADE Suite 5.1 : (31 Mar 2006)
- SCADE Suite 5.0.1 : (7 Jul 2005)
- SCADE Suite 5.0 : (4 Feb 2005)
- SCADE Suite 4.3.1 : (26 Apr 2004)
- SCADE Suite 4.3 : (2 Mar 2004)
- SCADE Suite 4.2.1 : (7 Jun 2003)
- SCADE Suite 4.2 : (16 Apr 2003)
- SCADE Suite 4.1.4 : (8 Nov 2002)
- SCADE Suite 4.1.3 : (July 2002)
- SCADE Suite 4.1.2 : (Apr 2002)
[edit] Industrial uses
- Primary Flight control system (FCS) of the Airbus A380
- Secondary FCS of the Airbus A340
- Automatic Pilots for Eurocopter: EC-135, EC-145, EC-155, EC-225.
- More than 10 nuclear power plants in Europe
- Eurostar ITCS (Interlocking and Train Control Systems)
- Falcon 7X Landing Gear Control and Steering System, Flight Control and Braking System
- Pratt & Whitney PW610, PW615F and PW535 engine's FADEC (resp. in the Eclipse, Cessna Citation Mustang and Citation Encore+)
[edit] Example
The above diagram is a sample SCADE diagram used for Cruise-control.
