SCADE
| SCADE Suite
| |
|---|---|
| [[Datei:Lua-Fehler in Modul:Wikidata, Zeile 639: attempt to index field 'wikibase' (a nil value)|150px]] | |
| Basisdaten
| |
| Maintainer | Lua-Fehler in Modul:Wikidata, Zeile 639: attempt to index field 'wikibase' (a nil value) |
| Entwickler | Ansys |
| Erscheinungsjahr | Lua-Fehler in Modul:Wikidata, Zeile 639: attempt to index field 'wikibase' (a nil value) |
| Aktuelle Version | 6.2.1 (25. März, 2011) |
| Betriebssystem | Microsoft Windows 2000 SP4, Microsoft Windows XP SP2 |
| Programmiersprache | Lua-Fehler in Modul:Wikidata, Zeile 639: attempt to index field 'wikibase' (a nil value) |
| Kategorie | Integrierte Entwicklungsumgebung, Formale Methode, Grafische Programmiersprache |
| Lizenz | Proprietär |
| www.ansys.com | |
SCADE Suite (für Safety-Critical Application Development Environment) ist ein Werkzeug zur modellgetriebenen Softwareentwicklung, um System- und Softwareingenieuren die Entwicklung von missions- und sicherheitskritischen Softwareapplikationen zu erleichtern. SCADE Suite ist ein kommerzielles Produkt von ANSYS und basiert auf der formalen, synchronen und datenflussorientierten Sprache Lustre. Es generiert C- oder Ada-Code.
SCADE Suite ist als Entwicklungswerkzeug für DO-178C bis Level A qualifiziert. Daher wird SCADE Suite schwerpunktmäßig in der Luftfahrt- und Rüstungsindustrie eingesetzt. Die Eigenschaften von SCADE Suite erweisen sich darüber hinaus auch in der Softwareentwicklung im Verkehrswesen, für Automotive sowie in der Energie-Branche und in anderen Industriezweigen als sehr nützlich.
Features[Bearbeiten]
- Grafik- und Texteditor
- Simulator
- Formale Verifikation, bezeichnet als Design Verifier
- Codegeneratoren (DO-178B-qualifizierbar, EN-50128- und IEC-61508-zertifiziert)
- Model Test Coverage, zur Messung der Testabdeckung
- Verschiedene Gateways: Simulink, DOORS, Altia, UML/SysML etc.
Beispiel[Bearbeiten]
Das Diagramm zeigt ein SCADE-Suite-6.0-Beispielmodell eines Tempomats.
Besonderes Merkmal von SCADE Suite ist die uneingeschränkte Verwendung von Datenflussmodellierung und Zustandsmaschinen (Safe State Machines — SSMs (r)) im sog. Unified Modeling Style™. Beide Modellierungskonstrukte können innerhalb eines Diagramms beliebig vermischt werden. Die Statemachine-Semantik wie auch die des Datenflusses ist synchron. Das ist die Grundlage für das deterministische Verhalten von SCADE-Suite-Modellen.
Versionen[Bearbeiten]
- Neueste verfügbare Version: SCADE Suite 6.2.1 (25. März. 2011)
- SCADE Suite 6.1 (8. Jan. 2009)
- SCADE Suite 6.0 (4. Okt. 2007)
- SCADE Suite 5.1.1 (31. Sep. 2006)
- SCADE Suite 5.1 (31. März 2006)
- SCADE Suite 5.0.1 (7. Juli 2005)
- SCADE Suite 5.0 (4. Feb. 2005)
- SCADE Suite 4.3.1 (26. Apr. 2004)
- SCADE Suite 4.3 (2. März 2004)
- SCADE Suite 4.2.1 (7. Juni 2003)
- SCADE Suite 4.2 (16. Apr. 2003)
- SCADE Suite 4.1.4 (8. Nov. 2002)
- SCADE Suite 4.1.3 (Juli 2002)
- SCADE Suite 4.1.2 (Apr. 2002)
Industrielle Nutzung[Bearbeiten]
SCADE Suite in Luftfahrt- und Verteidigungsanwendungen[Bearbeiten]
- Flight-Control-Systeme
- Power-Management
- Rekonfigurationsmanagement
- Autopilot
- Engine-Control-System (FADEC)
- Bremssystem
- Cockpitdisplay und -alarmmanagement
- Treibstoffmanagement
- DO-178C-EASA- und FAA-qualifizierbar bis Level A
SCADE Suite Anwendungen im Eisenbahnbereich[Bearbeiten]
- Stellwerksysteme
- Signalsysteme
- Bahnhofsysteme
- Automatische Zugsteuerung
- Verteilte Zugkontrollsysteme (ETCS)
- Sicherheitskritische Displays
- Bahnübergänge
- Sichere Bahnsteige
- EN-50128-TÜV-zertifiziert bis SIL 4
SCADE Suite in Nuklearanwendungen[Bearbeiten]
- Reaktorschutzsysteme:
- Reaktorbegrenzungssystem
- Reaktorsteuerung und Notfallabschaltung
- Sicherheitsantriebe
- Nukleare Instrumentensysteme:
- Leistungsmessung
- Neutronendetektoren
- Druckhalterüberhitzungsschutz
- Bor-Meter
- Andere Sicherheitssysteme:
- Kontrollsystem für Sicherheitsventile
- Brennelement-Kontrollsystem
- Aggregats-Ablaufsteuerungssystem
- Brennstabpositionserfassungssystem
- gemäß IEC 60880
Beispiele industrieller Nutzung[Bearbeiten]
- 37 Reaktoren im Einsatz
- Primary Flight control system (FCLS) des Airbus A380
- Secondary FCLS des Airbus A340
- Autopiloten für Eurocopter: EC-135, EC-145, EC-155, EC-225.
- Falcon 7X Landing Gear Control and Steering System, Flight Control und Bremssystem
- Pratt & Whitney PW610, PW615F und PW535 Triebwerke FADEC (resp. in Eclipse, Cessna Citation Mustang und Citation Encore+)
- Mehr als zehn Kernkraftwerke in Europa
- Eurostar ITCS (Interlocking and Train Control Systems)
Weblinks[Bearbeiten]
Diese artikel "SCADE" ist von Wikipedia The list of its authors can be seen in its historical and/or the page Edithistory:SCADE.
