Copyright © 2004 BSSE.
All rights reserved.
Impressum Legal Notice

Category Quality Assurance

Improving Test Automation by Deterministic Methods in Statistical Testing [00067]
Event	DASIA 2006
Date	22 May 2006 - 25 May 2006
Location	Berlin, Germany
Files
Paper
This paper was presented at the DASIA 2006 conference in Berlin, Scotland. It lays out principal approaches for tackling the "small target" and "oracle" problems in statistical automatic testing by applying deterministic methods for assistance.

Software Diversity by Automation [00068]
Event	DASIA 2005
Date	30 May 2005 - 2 Jun 2005
Location	Edinburgh, Scotland
Files
Paper
This paper was presented at the DASIA 2005 conference in Edinburgh, Scotland. It shows the result of an Automated ISVV (AISVV) activity executed on the Flight Application Software (FAS) of the Autonomous Transfer Vehicle (ATV).

Avoiding Malfunctions Due To Software Failures by Automation of Software Production and Test [00001]
Event	Colloquium: Technology Exchange between Space and Automotive Industry
Date	6 Nov 2002
Location	Darmstadt, Germany
Files
Long Version (B&W) Long Version (Color) Short Version (B&W) Short Version (Color) Complementing Paper
This is the presentation as given during the Colloquium: Technology Exchange between Space and Automotive Industry in Darmstadt, Germany (Nov 6th, 2002).

Automated Software Production(ISG/ASaP) [00005]
Date	Dec 2001
Files
ISG and ASaP - BSSE Technology and Innovation ASaP - Automated Software Production
The ISG/ASaP approach allows automated system generation from engineering information and to immediately build an executable system from engineering level. This approach has already been successfully applied to provide the infrastructure and major parts of the application software for the Material Science Laboratory aboard the International Space Station(ISS).

Kosteneinsparung und Qualitätsverbesserung durch Automation in der System- und Softwareentwicklung(German) [00006]
Event	KooperationsForum Computer Hard- und Software
Date	24 Oct 2001
Location	Berlin, Germany
Files
Paper Presentation
This paper describes the potential of ISG/ASaP for cost-savings and quality improvements.

Software Development of Embedded Systems by ISG - To Be Faster at Less Costs and Higher Quality [00007]
Date	Oct 2001
Files
Paper
This paper describes the benefits of ISG/ASaP in the context of embedded systems.

Performance and Robustness Engineering: From A Conflict Towards Fair Coexistence [00010]
Event	2nd Workshop Performance Engineering in der Softwareentwicklung
Date	26 Apr 2001
Location	Universität der Bundeswehr Munich, Germany
Files
Paper
This paper discusses the potential conflict between performance and robustness issues of software development.

Built-In Performance and Robustness Engineering Capabilities by a Formalised and Automated Software Development Process [00018]
Event	1st German Workshop on Performance Engineering (PE2000)
Date	17 May 2000
Location	Darmstadt, Germany
Files
Paper
Links
LNCS #2047 (Springer)
This paper was presented on the 1st German Workshop on Performance Engineering PE2000 at Darmstadt. It discusses performance and robustness of software in context of ISG. The revised version of this paper "Performance and Robustness Engineering and the Role of Automated Software Development" is under copyright of Springer Verlag and can be viewed as LNCS #2047.

Procurement of a SDL Model for Behavioural Validation of MSL [00019]
Date	9 Nov 1999
Files

This is the final report of the ESA study on behavioural validation of MSL.

Organizing Incremental, Reusable and Automated Software Development [00020]
Event	DASIA'99
Date	17 May 1999 - 21 May 1999
Location	Lisbon, Portugal
Files
Presentation
Description of an approach for incremental software development and validation applying automated generation of an executable system from a minimum of system engineering information.

A Random-Testing Environment for Ada Programs [00044]
Event	Eurospace Symposium "Ada in Aerospace"
Date	Nov 1993