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

Category Automation

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).

Automatische Software Produktion-Was ist möglich? [00002]
Event	MicroConsult Praxisforum "Embedded Quality - Neue Dimensionen der Qualititätssicherung"
Date	15 Oct 2002
Location	Munich, Germany
Files
Color Version B & W Version
Links
MicroConsult
References
Automatische Software Produktion-Was ist möglich? [00003]
This is the more practice-oriented presentation as given in Munich (Oct 15, 2002). If you would like to get an example file package as shown during the presentation please contact us.

Automatische Software Produktion-Was ist möglich? [00003]
Event	MicroConsult Praxisforum "Embedded Quality - Neue Dimensionen der Qualititätssicherung"
Date	10 Oct 2002
Location	Zurich, Switzerland
Files
Color Version B & W Version
Links
MicroConsult
References
Automatische Software Produktion-Was ist möglich? [00002]
This is the strategy-oriented presentation as given during the MicroConsult Praxis Forum "Embedded Quality - Neue Dimension der Qualitätssicherung" in Zurich (Oct 10th, 2002).

Benchmarks on Automated System and Software Generation [00004]
Event	DASIA 2002
Date	13 May 2002 - 16 May 2002
Location	Dublin, Ireland
Files
Paper Presentation
This paper was presented at the DASIA 2002 conference in Dublin, Ireland. It shows results of benchmarks on projects carried out using ISG/ASaP.

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.

ISG and Software Quality [00008]
Date	Jul 2001
Files
Paper
The impact on the improvement of software quality by ISG/ASaP is discussed by this paper.

Automation in der Softwareentwicklung - ausfürhbare Progrfamme ohne Programmierung mit ISG (Instantaneous System and Software Generation) erzeugen [00065]
Event	Arbeitskreis Studenten und Jungingenieure, VDI
Date	28 Apr 2001
Location	FH Sigmaringen-Albstadt, Albstadt, Germany
The presentation covered application of automation in the area of software engineering and included a demo of generation of a distributed realtime system with 16 processes within ca. 40 minutes.

Be Faster on The Market at Less Costs by ISG [00011]
Date	Feb 2001
Files
Presentation
A comparison of the conventional and the ISG life-cycle and evaluation of cost savings by ISG.

Down-scaling Generation, Verification and Validation of Software into the Range of Hours: The Benefits of Complete Formalisation and Automation [00012]
Date	Oct 2000
Files
Abstract
This paper discusses the advantages of formalisation and automation of software production and the challenges yet to master with current operation platforms.

ISG and Synchronous Systems [00013]
Date	Oct 2000
Files
Presentation
Links
CRISYS
This presentation summarizes the results as obtained by ISG/ASaP in the course of the ESPRIT project CRISYS (EP 25514). The goal was to evaluate the robustness in presence of time-jitter and fault-injection for a critical distributed control system.

Instantaneous System and Software Generation: A brief introduction and survey [00014]
Date	Aug 2000
Files
Paper
In this paper BSSE's motivation behind ISG/ASaP is presented and its relevance to the Capability Maturity Model(CMM) defined by Carnegie-Mellon Software Engineering Institute. It is shown that by use of Automated Software Production the upper levels of CMM are reached immediately.

An Implementation and Verification Technique for Distributed Systems [00015]
Event	MOVEP2k: Modelling and Verification of Parallel Processes
Date	19 Jun 2000 - 23 Jun 2000
Location	Nantes, France
Files
Paper Summary of ISG/ASaP verification and validation techniques
Verification and validation of distributed systems as defined by the ISG-approach is described in this paper.

Automated generation of real-time software from datasheet-based inputs: The process model, the platform and the feedback from the MSL project activities [00016]
Event	DASIA 2000
Date	22 May 2000 - 26 May 2000
Location	Montreal, Canada
Files
Paper
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]
Event	DASIA 2000
Date	22 May 2000 - 26 May 2000
Location	Montreal, Canada
Files
Paper
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.

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.

A Method for the Incremental Software Development and Validation of Complex Distributed Systems [00066]
Event	INCOSE meeting
Date	29 Sep 1999
Location	Bosch telecom, Backnang, Germany
In the presentation application of incremental development and validation in the area of complex distributed systems was explained.

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.

Verification with SDL - Some Hints about How to reduce size of state space [00021]
Date	Jan 1999
Files
Paper
This paper gives advice how to master state explosion.

Tuning Development of Distributed Real-Time Systems with SDL and MSC: Current Experience and Future Issues [00028]
Event	SDL'97 Forum
Date	23 Sep 1997 - 26 Sep 1997
Location	Evry, France
Files
Paper Presentation
Links
SDL-Forum
References
Tuning Development of Distributed Real-Time Systems with SDL and MSC: Current Experience and Future Issues [00029]

Tuning Development of Distributed Real-Time Systems with SDL and MSC: Current Experience and Future Issues [00029]
Event	SDL'97 conference
Date	23 Sep 1997 - 26 Sep 1997
Location	Evry, France
Files
Paper
References
Tuning Development of Distributed Real-Time Systems with SDL and MSC: Current Experience and Future Issues [00028]
This paper was published by Elsevier Science Publishers B.V., ISBN: 0-444-82816-8

Experience with Validation by Simulation, Automated Code Generation and Integration [00030]
Event	DASIA'97
Date	26 May 1997 - 29 May 1997
Location	Sevilla, Spain
Files
Paper Presentation
The presentation included an online demonstration on a Sparc Workstation and a PC laptop.

From CASE to CIVE: A Future Challenge! [00034]
Event	DASIA'96
Date	20 May 1996 - 23 May 1996
Location	Rome, Italy
Files
Presentation
This paper was presented during the DASIA'96 conference, May 20th - 23th 1996 in Rome.

Use of an extended SDL Environment for Specification and Design of On-Board Operations [00036]
Event	Systems Engineering Workshop
Date	28 Nov 1995 - 30 Nov 1995
Location	ESTEC, Noordwijk, The Netherlands
Files
Presentation
Links
SDL-Forum
This paper was presented during the Systems Engineering Workshop, November 28th - 30th 1995 at ESTEC, Noordwijk.

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