SCADE

from Wikipedia, the free encyclopedia
SCADE Suite
Basic data

developer Esterel Technologies
Current  version 6.2.1
(March 25, 2011)
operating system Microsoft Windows 2000 SP4 , Microsoft Windows XP SP2
category Integrated development environment , formal method , graphic programming language
License Proprietary
www.esterel-technologies.com

SCADE Suite is a tool for model-driven software development to make it easier for system and software engineers to develop mission- and safety-critical software applications. SCADE Suite is a commercial product from Esterel Technologies and is based on the formal, synchronous and data flow-oriented language Luster . It generates C or Ada code.

SCADE Suite is qualified as a development tool for DO-178B up to Level A. Therefore, SCADE Suite is mainly used in the aviation and defense industries. The features of SCADE Suite also prove to be very useful in software development in the transport sector , for the automotive sector, in the energy sector and in other branches of industry.

Features

  • Graphics and text editor
  • simulator
  • Formal verification , referred to as a design verifier
  • Code generators ( DO-178B -qualifiable, EN-50128- and IEC-61508 -certified)
  • Model Test Coverage, for measuring test coverage
  • Different gateways: Simulink , DOORS, Altia, UML / SysML etc.

example

Example model of a cruise control.

The diagram shows a SCADE Suite 6.0 example model of a cruise control .

A special feature of SCADE Suite is the unrestricted use of data flow modeling and state machines (Safe State Machines - SSMs (r)) in the so-called Unified Modeling Style ™. Both modeling constructs can be mixed as desired within a diagram. The state machine semantics as well as that of the data flow are synchronous. This is the basis for the deterministic behavior of SCADE Suite models.

Versions

  • Latest available version: SCADE Suite 6.2.1 ( March 25, 2011 )
  • SCADE Suite 6.1 ( Jan 8, 2009 )
  • SCADE Suite 6.0 ( Oct 4, 2007 )
  • SCADE Suite 5.1.1 ( Sep 31, 2006 )
  • SCADE Suite 5.1 ( March 31, 2006 )
  • SCADE Suite 5.0.1 ( July 7, 2005 )
  • SCADE Suite 5.0 ( Feb 4, 2005 )
  • SCADE Suite 4.3.1 ( Apr. 26, 2004 )
  • SCADE Suite 4.3 ( March 2, 2004 )
  • SCADE Suite 4.2.1 ( June 7, 2003 )
  • SCADE Suite 4.2 ( Apr 16, 2003 )
  • SCADE Suite 4.1.4 ( Nov 8, 2002 )
  • SCADE Suite 4.1.3 ( July 2002 )
  • SCADE Suite 4.1.2 ( Apr. 2002 )

Industrial use

SCADE Suite in aerospace and defense applications

  • Flight control systems
  • Power management
  • Reconfiguration management
  • Autopilot
  • Engine Control System ( FADEC )
  • Braking system
  • Cockpit display and alarm management
  • Fuel management
  • DO-178B EASA - and FAA -qualifizierbar up to level A

SCADE Suite applications in the railway sector

  • Interlocking systems
  • Signaling systems
  • Station systems
  • Automatic train control
  • Distributed Train Control Systems ( ETCS )
  • Safety critical displays
  • Level crossings
  • Safe platforms
  • EN 50128 TÜV certified up to SIL 4

SCADE Suite in nuclear applications

  • Reactor protection systems:
    • Reactor limitation system
    • Reactor control and emergency shutdown
    • Safety drives
  • Nuclear instrument systems:
    • Performance measurement
    • Neutron detectors
    • Pressure holder overheating protection
    • Boron meter
  • Other security systems:
    • Control system for safety valves
    • Fuel element control system
    • Aggregate sequence control system
    • Fuel rod position detection system
  • according to IEC 60880

Examples of industrial use

Web links