elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Contact | Deutsch
Fontsize: [-] Text [+]

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

Ebrecht, Lars and Meyer zu Hörste, Michael and 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. pp. 447-457. ISBN 13: 978-3-937655-09-3.

Full text not available from this repository.

Abstract

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.

Document Type:Book Section
Title:The Basic Concept for the Formal Test Description - Horizontal Composition and Vertical Differentiation of the Atomic Element
Authors:
AuthorsInstitution or Email of Authors
Ebrecht, LarsUNSPECIFIED
Meyer zu Hörste, MichaelUNSPECIFIED
Lemmer, KarstenUNSPECIFIED
Date:January 2007
Journal or Publication Title:FORMS/FORMAT 2007. 6th Symposium. Formal Methods for Automation and Safety in Railway and Automotive Systems
Refereed publication:Yes
In ISI Web of Science:No
Page Range:pp. 447-457
Editors:
EditorsEmail
Schnieder, EckehardUNSPECIFIED
Tarnai, GézaUNSPECIFIED
Publisher:GZVB
ISBN:13: 978-3-937655-09-3
Status:Published
Keywords:ETCS, black box test, formal test description, XML
HGF - Research field:Aeronautics, Space and Transport (old)
HGF - Program:Transport
HGF - Program Themes:V SM - Sicherung der Mobilität (old)
DLR - Research area:Transport
DLR - Program:V SM - Sicherung der Mobilität
DLR - Research theme (Project):V - Aufbau des Rail Lab (old)
Location: Braunschweig
Institutes and Institutions:Institute of Transportation Systems > Institute of Transportation Systems > Rail Systems
Deposited By: Stefanie Schwartz
Deposited On:01 Feb 2007
Last Modified:27 Apr 2009 13:30

Repository Staff Only: item control page

Browse
Search
Help & Contact
Informationen
electronic library is running on EPrints 3.3.12
Copyright © 2008-2012 German Aerospace Center (DLR). All rights reserved.