elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Kontakt | English
Schriftgröße: [-] Text [+]

The Basic Concept for the Formal Test Description - Horizontal Composition and Vertical Differentiation of the Atomic Element

Ebrecht, Lars und Meyer zu Hörste, Michael und Lemmer, Karsten (2007) The Basic Concept for the Formal Test Description - Horizontal Composition and Vertical Differentiation of the Atomic Element. In: FORMS/FORMAT 2007. 6th Symposium. Formal Methods for Automation and Safety in Railway and Automotive Systems GZVB. Seiten 447-457. ISBN 13: 978-3-937655-09-3.

Dieses Archiv kann nicht den gesamten Text zur Verfügung stellen.

Kurzfassung

The contribution discusses the main properties and benefits of an atomic element for the formal behavioural black box test description. This element enables the handling of complex functional behaviour in test scenarios by its horizontal composition and the domain specific test description by its extendable vertical differentiation. The atomic element is derived from the Design by Contract<sup>TM</sup> which is a powerful concept to increase correctness and robustness of software applications. The atomic element, its composition and differentiation are a common basis for the formal test description with UML, with Petri Nets and with XML. The train’s safety-critical on-board unit of the European Train Control System (ETCS) representing a complex, real-time system is used as application example.

Dokumentart:Beitrag in einem Lehr- oder Fachbuch
Titel:The Basic Concept for the Formal Test Description - Horizontal Composition and Vertical Differentiation of the Atomic Element
Autoren:
AutorenInstitution oder E-Mail-Adresse der Autoren
Ebrecht, LarsNICHT SPEZIFIZIERT
Meyer zu Hörste, MichaelNICHT SPEZIFIZIERT
Lemmer, KarstenNICHT SPEZIFIZIERT
Datum:Januar 2007
Erschienen in:FORMS/FORMAT 2007. 6th Symposium. Formal Methods for Automation and Safety in Railway and Automotive Systems
Referierte Publikation:Ja
In ISI Web of Science:Nein
Seitenbereich:Seiten 447-457
Herausgeber:
HerausgeberInstitution und/oder E-Mail-Adresse der Herausgeber
Schnieder, EckehardNICHT SPEZIFIZIERT
Tarnai, GézaNICHT SPEZIFIZIERT
Verlag:GZVB
ISBN:13: 978-3-937655-09-3
Status:veröffentlicht
Stichwörter:ETCS, black box test, formal test description, XML
HGF - Forschungsbereich:Verkehr und Weltraum (alt)
HGF - Programm:Verkehr
HGF - Programmthema:V SM - Sicherung der Mobilität (alt)
DLR - Schwerpunkt:Verkehr
DLR - Forschungsgebiet:V SM - Sicherung der Mobilität
DLR - Teilgebiet (Projekt, Vorhaben):V - Aufbau des Rail Lab (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Verkehrssystemtechnik > Institut für Verkehrsführung und Fahrzeugsteuerung > Bahnsysteme
Hinterlegt von: Stefanie Schwartz
Hinterlegt am:01 Feb 2007
Letzte Änderung:27 Apr 2009 13:30

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2013 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.