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

Category DASIA Presentations

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.

Automated Verification of Code Generated from Models: Comparing Specifications with Observations [00070]
EventDASIA 2008
Date27 May 2008 - 30 May 2008
LocationPalma de Mallorca, Spain
Files

Certification is based on compliance of the code of the code generator with given standards. Such compliance never can guarantee correctness of the whole chain through transformation down to the environment for execution, though the belief is that certification implies well-formed code at a reduced fault rate.

The approach presented here goes a direction different from manual certification.. It is guided by the idea of automated proof: each time code is generated from a model the properties of the code when being executed in its environment are compared with the properties specified in the model. This allows to conclude on the correctness of the whole chain for every application and related generated code.

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
Can We Provide Better Protection against Budget Overruns of Software Projects? [00069]
EventDASIA 2004
Date28 Jun 2004 - 1 Jul 2004
LocationNice, France
Files
This paper was presented at the DASIA 2004 conference in Nice, France. The answer to this hypothetic question is "yes", of course. The paper will approach the problem in two steps: firstly, we will discuss if and which measures exist to identify an overrun early enough, secondly, we will analyse the sources of overruns and which means may be applied not to exceed the planned budget.
Benchmarks on Automated System and Software Generation [00004]
EventDASIA 2002
Date13 May 2002 - 16 May 2002
LocationDublin, Ireland
Files
This paper was presented at the DASIA 2002 conference in Dublin, Ireland. It shows results of benchmarks on projects carried out using ISG/ASaP.
Platform-Dependent (Cost) Impacts on Portability, Software Reuse and Maintenance [00009]
EventDASIA 2001
Date28 May 2001 - 1 June 2001
LocationNice, France
Files
This paper describes the challenges of maintaining software on different platforms.
Automated generation of real-time software from datasheet-based inputs: The process model, the platform and the feedback from the MSL project activities [00016]
EventDASIA 2000
Date22 May 2000 - 26 May 2000
LocationMontreal, Canada
Files
This paper describes how ISG was used to built MSL software.
Software Development for the Material Science Laboratory on ISS by Automated Generation of Real-time Software from Datasheet-based Inputs [00017]
EventDASIA 2000
Date22 May 2000 - 26 May 2000
LocationMontreal, Canada
Files

This paper was presented during the DASIA 2000 conference in Montreal, Canada by Kayser-Threde.

It describes the organisation of the database from which MSL software was automatically generated by ISG/ASaP.

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.
Lessons learned by the use of (C)OTS [00023]
EventDASIA'98 conference
Date25 May 1998 - 28 May 1998
LocationAthens, Greece
Files
This paper was presented during the DASIA'98 conference, May 25th-28th 1998 in Athens. It shows BSSE's experience with the use of (Commercial-)Off-The-Shelf-Software based on a project dealing with the integration of a number of (C)OTS packages and software developed from scratch.
Experience with Validation by Simulation, Automated Code Generation and Integration [00030]
EventDASIA'97
Date26 May 1997 - 29 May 1997
LocationSevilla, Spain
Files
The presentation included an online demonstration on a Sparc Workstation and a PC laptop.
From CASE to CIVE: A Future Challenge! [00034]
EventDASIA'96
Date20 May 1996 - 23 May 1996
LocationRome, Italy
Files
This paper was presented during the DASIA'96 conference, May 20th - 23th 1996 in Rome.