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

Category Quality Assurance

Evaluierung von Software-Verifikationswerkzeugen [00091]
EventEmbedded Software Engineering Kongress 2016
Date1 Dec 2016 - 1 Dec 2016
LocationSindelfingen, Germany
Files
We present results from the ESVW activity (Evaluierung von Software-Verifikationsmethoden und -Werkzeugen, Evaluation of Software Verification Method and Tools) BSSE and its subcontractor etamax space GmbH have performed on behalf of the German Space Center (DLR). In the course of this activity, six different verification tools were evaluated for their fault detection capabilities. The presentation provides an insight into the activity, the methods used, the results as well as general and specific lessons learned relevant for the use of software verification tools.
Cleared Direct To Target - Approaching the Target System at a Touch via Simulation [00075]
EventAirTec 2010
Date2 Nov 2010 - 4 Nov 2010
LocationFrankfurt am Main, Germany
Files
This paper describes an improved process for development of software for critical systems fully bridging the gap between a specification and an executable target version by an automaton. The process covers the broad class of distributed and/or fault-tolerant and/or real-time systems, and meets the needs of critical systems. It has its roots in the space domain.
Tool-Guided, Domain-Specific, Systematic Requirements Management [00072]
EventDASIA 2010
Date1 Jun 2010 - 4 Jun 2010
LocationBudapest, Hungary
Files
The importance of the quality of requirements for successful execution and completion of a project from a technical and contractual point of view is being recognized more and more. Many methods are targeted to improve the support for collecting requirements while still focusing on natural language. However, the ambiguities in the semantics of natural language are the biggest obstacles towards success. The approach presented in this paper focuses on the elements of a domain while keeping the expressiveness of natural names and terms and introducing clear semantics. This brings the advantage that immediate verification of the human-provided inputs is possible, immediate contributions to validation are available and inconsistencies can be detected by a tool immediately. This leads to guidance of an engineer by a tool towards consistent, complete and correct requirements - requirements of high quality - and eases maintenance for the same reasons. As most of the complexity is handled by the tool due to its good knowledge on the domain, the approach is scalable towards large specifications. Several examples of application domains are described which illustrate the universality and feasibility of the approach across domain boundaries.
Fault Identification Strategies [00071]
EventDASIA 2009
Date26 May 2009 - 29 May 2009
LocationIstanbul, Turkey
Files

Various strategies for fault identification exist - e.g. based on formal analysis of code or on testing - of which each focuses on certain identification aspects and fault types. This paper characterises the strengths and weaknesses of methods – in theory and practice - focusing on application-independent identification strategies, and it suggests strategies to maximise the number of detected faults while minimising the related effort. Fault activation conditions are discussed in detail, resulting in an extended scope on stimulation needs. In particular, the contribution of automation in raising the activation probabilities is investigated. Various examples of fault activation mechanisms and statistics on fault types vs. identification methods are provided as observed in practice. An interesting result is the identification of application-dependent test cases by application-independent test strategies.

Model Transformation in Practice [00073]
EventDASIA 2007
Date29 May 2007 - 1 Jun 2007
LocationNaples, Italy
Files
The intention of this paper is to highlight the benefits of model exchange between different tools, methods and notations on one side, and to identify issues of proper modelling on the other side which have been detected during model transformation and code generation from models.
Evaluation of Auto-Test Generation Strategies and Platforms [00074]
EventDASIA 2007
Date29 May 2007 - 1 Jun 2007
LocationNaples, Italy
Files
As the test effort takes a significant part of the software development lifecycle, efficient test strategies are a precondition for reduction of development costs and time. In this respect two main issues exist: firstly, the tuning of the test track from test case identification to evaluation, secondly, the reduction of number of test cases to be processed and evaluated. Both aspects were considered in the work presented in this paper.
Improving Test Automation by Deterministic Methods in Statistical Testing [00067]
EventDASIA 2006
Date22 May 2006 - 25 May 2006
LocationBerlin, Germany
Files
This paper was presented at the DASIA 2006 conference in Berlin, Germany. 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]
EventDASIA 2005
Date30 May 2005 - 2 Jun 2005
LocationEdinburgh, Scotland
Files
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).
Automated Software Production - Quo Vadis [00086]
EventDASIA 2005
Date30 May 2005 - 2 Jun 2005
LocationEdinburgh, Scotland
Automation in the Software Lifecycle, Tailoring ECSS-E-40 for Automatic Code Generation [00087]
EventESA/BSSC Workshop on the Usage of ECSS Software Standards for Space Projects
Date7 Feb 2005 - 8 Feb 2005
LocationNoordwijk, The Netherlands
Product Assurance and Automatic Code Generation - Tailoring ECSS-Q-80 for ACG [00088]
EventESA/BSSC Workshop on the Usage of ECSS Software Standards for Space Projects
Date7 Feb 2005 - 8 Feb 2005
LocationNoordwijk, The Netherlands
Mehr Effizienz durch skalierbare und selbst-adaptierende Softwareentwicklungsprozesse [00090]
Event2. Raumfahrttechnologietage DLR
Date4 Nov 2003 - 5 Nov 2003
LocationBonn, Germany
Perspektiven der Softwareentwicklung - Probleme und Lösungen [00089]
EventRaumfahrttechnologietage DLR
Date9 Jul 2003 - 10 Jul 2003
LocationBonn, Germany
Avoiding Malfunctions Due To Software Failures by Automation of Software Production and Test [00001]
EventColloquium: Technology Exchange between Space and Automotive Industry
Date6 Nov 2002
LocationDarmstadt, Germany
Files
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]
DateDec 2001
Files

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]
EventKooperationsForum Computer Hard- und Software
Date24 Oct 2001
LocationBerlin, Germany
Files
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]
DateOct 2001
Files
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]
Event2nd Workshop Performance Engineering in der Softwareentwicklung
Date26 Apr 2001
LocationUniversität der Bundeswehr Munich, Germany
Files
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]
Event1st German Workshop on Performance Engineering (PE2000)
Date17 May 2000
LocationDarmstadt, Germany
Files
Links

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]
Date9 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]
EventDASIA'99
Date17 May 1999 - 21 May 1999
LocationLisbon, Portugal
Files
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]
EventEurospace Symposium "Ada in Aerospace"
DateNov 1993