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

Category ISG/ASaP

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).
Automatische Software Produktion-Was ist möglich? [00002]
EventMicroConsult Praxisforum "Embedded Quality - Neue Dimensionen der Qualititätssicherung"
Date15 Oct 2002
LocationMunich, Germany
Files
Links
References

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]
EventMicroConsult Praxisforum "Embedded Quality - Neue Dimensionen der Qualititätssicherung"
Date10 Oct 2002
LocationZurich, Switzerland
Files
Links
References

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]
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.
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.
ISG and Software Quality [00008]
DateJul 2001
Files
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]
EventArbeitskreis Studenten und Jungingenieure, VDI
Date28 Apr 2001
LocationFH 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]
DateFeb 2001
Files
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]
DateOct 2000
Files
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]
DateOct 2000
Files
Links
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]
DateAug 2000
Files
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]
EventMOVEP2k: Modelling and Verification of Parallel Processes
Date19 Jun 2000 - 23 Jun 2000
LocationNantes, France
Files
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]
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.

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.
A Method for the Incremental Software Development and Validation of Complex Distributed Systems [00066]
EventINCOSE meeting
Date29 Sep 1999
LocationBosch telecom, Backnang, Germany
In the presentation application of incremental development and validation in the area of complex distributed systems was explained.