 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Erfahrung |
|
Meteor: Erfahrungen zur B-Methode |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung der Erfahrung | |||||||||
| |||||||||
| Die Firma Matra Transport International (Siemens Transportation Systems) hat die erste automatische Steuerung für führerlose Züge entwickelt. Das System mit dem Namen Meteor wird seit 1998 in der Pariser Metro verwendet, mittlerweile sind weitere französische Städte mit derartigen Metros ausgestattet worden.
Die automatisierte Steuerung einer Metro stellt hohe Anforderungen an die Sicherheit und Zuverlässigkeit seiner Software. Daher entwickelte Matra das System unter Verwendung der B-Methode. Matra entwickelte die B-Methode während des Projekts weiter. Nutzungskonzepte, Organisationskonzepte für Entwicklungsteams und die Einbettung in einen vollständigen Entwicklungsprozess geschahen während des Projekts. Vom System wurde in der Spezifikationsphase ein abstraktes Modell in B entwickelt, dieses wurde in der Design-Phase zu einem konkreten Modell verfeinert. Das konkrete Modell wurde danach automatisch in ADA Code übersetzt. Die Entwickler verifizierten sowohl in der Spezifikations- wie auch in der Designphase die Modelle über (semi-)automatische Korrektheitsbeweise. In der Testphase und im darauf folgenden Betrieb wurden keine Fehler in der Software gefunden. Die Autoren des Erfahrungsberichts bezeichnen den Einsatz der B-Sprache und der B-Methode als vollen Erfolg. | |||||||||
| |||||||||
| Studienobjekte | |||||||||
| |||||||||
| Steuerung für eine unbemannte, automatische Linie der Pariser Metro | |||||||||
| |||||||||
| Studientypen | |||||||||
| |||||||||
| Fallstudie | |||||||||
| |||||||||
| Problemlösung | |||||||||
| |||||||||
| Spezifikation der Anforderungen und ihre Verfeinerung bis hin zum Code über die B-Methode. | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
| ||||
| ||||
| Meteor: Erfahrungen... | ||||
| ||||
| ||||
| ||||
| ||||
 | Adressiert Technologien | | ||
| ||||
|
| | ||
|
| | ||
|
| | ||
| ||||
| ||||
| Literaturhinweise | | ||
| ||||
|
| | ||
|
| | ||
| ||||
| ||||
| | | ||
| ||||||||||||||
|
