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

All papers

A Strategy for Development of High Quality Embedded Systems [00039]
Event	CASE Anwendertag
Date	19 Sep 1995
Location	DLR, Göttlingen, Germany
Files
Paper (German) Paper (English)
This paper was presented during the "CASE Anwendertag", September 19th 1995 at the DLR in Göttlingen.

Formal Methods for the Validation of Autonomous Spacecraft Fault Tolerance [00035]
Date	1996

A Software Design Philosophy for COLUMBUS [00059]
Event	International Symposium on Space Software Engineering: COLUMBUS and Space Infrastructures
Date	30 Nov 1988 - 2 Dec 1988
Location	Turin, Italy

Improvements Needed for Software Development in the Large [00055]
Event	CNES Software Management Symposium
Date	Oct 1990

On Experience in Modelling of System's Operational Behaviour [00054]
Event	CNES Software Management Symposium
Date	Oct 1990

Tuning Ada Programs in Advance [00041]
Event	Eurospace Symposium "Ada in Europe"
Date	26 Sep 1994 - 30 Sep 1994
Location	Copenhagen, Denmark

A Cost Estimation Model for Maintenance and High Reuse [00042]
Event	European Cost Modelling Conference
Date	11 May 1994 - 13 May 1994
Location	Ivrea near Torino, Italy

Early Validation of a DMS (Data Management System) Design by a Reusable Simulation Environment [00043]
Event	Eurospace On-Board Data Management Symposium on "Technology and Applications for Space Data Management System"
Date	25 Jan 1994 - 27 Jan 1994
Location	Rome, Italy

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

Aspects for a Fault-Tolerant Concept for On-Board Software [00060]
Event	International Symposium on Space Software Engineering: COLUMBUS and Space Infrastructures
Date	30 Nov 1988 - 2 Dec 1988
Location	Turin, Italy

Ein Kommunikations-Prozessor und -System hoher Flexibilität für komplexe Datenbank-Anforderungen [00062]
Date	1983
Data base concept for real-time access of databases in continuos operation under fail-operational conditions.

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

Can We Provide Better Protection against Budget Overruns of Software Projects? [00069]
Event	DASIA 2004
Date	28 Jun 2004 - 1 Jul 2004
Location	Nice, France
Files
Paper
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.

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.

Platform-Dependent (Cost) Impacts on Portability, Software Reuse and Maintenance [00009]
Event	DASIA 2001
Date	28 May 2001 - 1 June 2001
Location	Nice, France
Files
Paper
This paper describes the challenges of maintaining software on different platforms.

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.

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.

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.

Simulation of a System's Behaviour and its Physical Environment: How to master Tool Integration [00022]
Event	ESA'98 4th conference on simulators
Date	3 Nov 1998 - 5 Nov 1998
Location	ESTEC, Noordwijk, The Netherlands
Files
Presentation
This paper was presented during the ESA'98 4th conference on simulators, November 3th-5th 1998 in Noordwijk. It shows BSSE's experience with tool integration.

Lessons learned by the use of (C)OTS [00023]
Event	DASIA'98 conference
Date	25 May 1998 - 28 May 1998
Location	Athens, Greece
Files
Presentation
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.

EaSySim II SDL Extensions for Performance Simulation [00024]
Event	Workshop on Performance and Time in SDL and MSC
Date	17 Feb 1998 - 19 Feb 1998
Location	University of Erlangen, Germany
Files
Presentation
Links
SDL-Forum
This paper was presented during the workshop on Performance and Time in SDL and MSC, at the University of Erlangen, February 17th - 19th 1998.

Accuracy of Simulation [00025]
Event	Workshop on Performance and Time in SDL and MSC
Date	17 Feb 1998 - 19 Feb 1998
Location	University of Erlangen, Germany
Files
Presentation
Links
SDL-Forum
This paper was presented during the workshop on Performance and Time in SDL and MSC, at the University of Erlangen, February 17th - 19th 1998.

EaSySim II: Software System Validation Using Executable Models [00026]
Date	Dec 1997
Files
Paper
Links
ESA News
References
Early System Validation: With Executable Models through the Life Cycle [00027]

Early System Validation: With Executable Models through the Life Cycle [00027]
Date	Dec 1997
References
EaSySim II: Software System Validation Using Executable Models [00026]
This paper was published by ESANEWS, December 1997.

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.

With Executable Models through the Life Cycle [00031]
Event	FEmSys'97 Workshop on Formal Design of Safety Critical Embedded Systems
Date	16 Apr 1997 - 18Apr 1997
Location	Munich, Germany
The presentation included a tool demonstration.

Improving Computer-Aided Management of Social Processes by Techniques Applied to Safety-Critical Systems [00032]
Event	CSR 13th Annual Workshop "Design for Protecting the User"
Date	11 Sep 1996 - 13 Sep 1996
Location	Bürgenstock near Luzern, Switzerland

GIFTBox: A Guide to master Distributed, Heterogeneous Systems [00033]
Date	Jun 1996
Files
Paper
Describes a generic architecture and decomposition scheme.

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.

An alternative Lifecycle based on Problem-Oriented Strategies [00037]
Event	International Symposium on On-Board Real-Time Software
Date	13 Nov 1995 - 15 Nov 1995
Location	ESTEC, Noordwijk, The Netherlands
Files
Presentation
This paper was presented during the International Symposium on On-Board Real-Time Software, November 13th - 15th 1995 at ESTEC, Noordwijk.

Distributed and Parallel Systems and HOOD4 [00038]
Event	Ada in Europe'95 conference
Date	02 Oct 1995 - 06 Oct 1995
Location	Frankfurt/Main, Germany
Files
Presentation
This paper was presented during the Ada in Europe'95 conference October 02nd - 06th 1995 in Frankfurt/Main.

EaSyVaDe: Early Validation of System Design by Behavioural Simulation [00040]
Event	3rd ESTEC Workshop on Simulators for European Space Programmes
Date	15 Nov 1994 - 19 Nov 1994
Location	ESTEC, Noordwijk, The Netherlands
Files
Presentation
Links
SDL-Forum
This paper was presented during the 3rd ESTEC Workshop on Simulators for European Space Programmes, November 15th - 17th 1994 at ESTEC, Noordwijk.

Dynamische Konfiguration mit Ada [00045]
Event	Ada Deutschland
Date	1 Apr 1993
Location	Stuttgart, Germany

Requirementsanalyse: Entscheidend für den späteren Erfolg [00046]
Date	Dec 1992

Deterministic Scheduling with Ada: Simulation of a Tasking Approach [00047]
Event	Eurospace Symposium "Ada in Aerospace"
Date	9 Nov 1992 - 13 Nov 1992
Location	Vienna, Austria

Dynamic Configuration with Ada [00048]
Event	10th Annual National Conference on Ada Technology
Date	24 Feb 1992 - 27 Feb 1992
Location	Washington, USA

An Object-Oriented Approach to Real-Time Processing [00049]
Event	Eurospace Symposium "Ada in Aerospace"
Date	Nov 1991
Location	Rome, Italy

Requirementsanalyse mit ASA in Raumfahrtprojekten [00050]
Event	VDEB-Anwenderforum "Software Engineering"
Date	Aug 1991
Location	Cologne, Germany

Run-Time Linking and On-Line Mode Management with Ada [00051]
Event	ESA 1st Conference on Spacecraft Guidance, Navigation and Control
Date	May 1991
The presentation included a demo on the PC platform.

Anwenderbericht ASA (user report) [00052]
Event	Berufskolleg Esslingen
Date	Feb 1991
Location	Esslingen, Germany

On-Line Replacement and Reconfiguration of Ada Real-Time Software [00053]
Event	Eurospace Symposium Ada in Aerospace
Date	Dec 1990
Location	Barcelona, Spain
The presentation included a demo on the PC platform.

Object-Oriented Methods and Software Life cycle [00056]
Event	Eurospace Ada Working Group
Date	Oct 1990
Location	Paris, France

Mixing Ada and C Language [00057]
Event	Eurospace Ada Working Group
Date	Dec 1989
Location	Paris, France

A Concept for Future AOCS/GNC Software [00058]
Event	ESA Workshop on Advanced Technologies for Spacecraft Attitude Control, Guidance and Navigation
Date	11 Oct 1989 - 13 Oct 1989

Supporting the Transition from C to Ada [00061]
Event	ESA Workshop on the Management and Engineering of Ada Software within European Space Projects
Date	14 May 1986 - 15 May 1986
Location	ESTEC, Noordwijk, The Netherlands

Zeitbedarf für Rechenoperationen mit dem Mikroprozessor 6502 [00063]
Date	1981
Time consumption of typical mathematical functions and operations on 6502

Ein schnelles Interpolationsverfahren für die rechnergestützte Werkzeugmaschinensteuerung [00064]
Date	1980
Fast algorithms for stable, recursive computation of sin, cos, exp, sinh, cosh for 8bit-processors, CNC application)