elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | 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.

Item URL in elib:https://elib.dlr.de/47208/
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 AuthorsAuthors ORCID iD
Ebrecht, LarsUNSPECIFIEDUNSPECIFIED
Meyer zu Hörste, MichaelUNSPECIFIEDUNSPECIFIED
Lemmer, KarstenUNSPECIFIEDUNSPECIFIED
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
Open Access:No
Gold Open Access:No
In SCOPUS:No
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: Schwartz, Stefanie
Deposited On:01 Feb 2007
Last Modified:27 Apr 2009 13:30

Repository Staff Only: item control page

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