Tell a friend
Print
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: |
| ||||||||||||||||
| 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: |
| ||||||||||||||||
| 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
