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

This is the presentation as given during the Colloquium: Technology Exchange between Space and Automotive Industry in Darmstadt, Germany (Nov 6th, 2002).

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.

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

This paper was presented at the DASIA 2002 conference in Dublin, Ireland. It shows results of benchmarks on projects carried out using ISG/ASaP.

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

This paper describes the potential of ISG/ASaP for cost-savings and quality improvements.

This paper describes the benefits of ISG/ASaP in the context of embedded systems.

The impact on the improvement of software quality by ISG/ASaP is discussed by this paper.

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.

A comparison of the conventional and the ISG life-cycle and evaluation of cost savings by ISG.

This paper discusses the advantages of formalisation and automation of software production and the challenges yet to master with current operation platforms.

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.

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.

Verification and validation of distributed systems as defined by the ISG-approach is described in this paper.

This paper describes how ISG was used to built MSL software.

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.

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

In the presentation application of incremental development and validation in the area of complex distributed systems was explained.