Category ISG/ASaP
Software Diversity by Automation
Date | 30 May 2005 - 2 Jun 2005 |
Event | DASIA 2005 |
Location | Edinburgh, Scotland |
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).
Permalink
Automated Software Production - Quo Vadis
Date | 30 May 2005 - 2 Jun 2005 |
Event | DASIA 2005 |
Location | Edinburgh, Scotland |
Permalink
Automation in the Software Lifecycle, Tailoring ECSS-E-40 for Automatic Code Generation
Date | 7 Feb 2005 - 8 Feb 2005 |
Event | ESA/BSSC Workshop on the Usage of ECSS Software Standards for Space Projects |
Location | Noordwijk, The Netherlands |
Permalink
Product Assurance and Automatic Code Generation - Tailoring ECSS-Q-80 for ACG
Date | 7 Feb 2005 - 8 Feb 2005 |
Event | ESA/BSSC Workshop on the Usage of ECSS Software Standards for Space Projects |
Location | Noordwijk, The Netherlands |
Permalink
Mehr Effizienz durch skalierbare und selbst-adaptierende Softwareentwicklungsprozesse
Date | 4 Nov 2003 - 5 Nov 2003 |
Event | 2. Raumfahrttechnologietage DLR |
Location | Bonn, Germany |
Permalink
Perspektiven der Softwareentwicklung - Probleme und Lösungen
Date | 9 Jul 2003 - 10 Jul 2003 |
Event | Raumfahrttechnologietage DLR |
Location | Bonn, Germany |
Permalink
Avoiding Malfunctions Due To Software Failures by Automation of Software Production and Test
Date | 6 Nov 2002 |
Event | Colloquium: Technology Exchange between Space and Automotive Industry |
Location | Darmstadt, Germany |
This is the presentation as given during the Colloquium: Technology Exchange between Space and Automotive Industry in Darmstadt, Germany (Nov 6th, 2002).
Permalink
Automatische Software Produktion-Was ist möglich?
Date | 15 Oct 2002 |
Event | MicroConsult Praxisforum "Embedded Quality - Neue Dimensionen der QualititÀtssicherung" |
Location | Munich, Germany |
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.
Permalink
Automatische Software Produktion-Was ist möglich?
Date | 10 Oct 2002 |
Event | MicroConsult Praxisforum "Embedded Quality - Neue Dimensionen der QualititÀtssicherung" |
Location | Zurich, Switzerland |
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).
Permalink
Files
References
Links
Benchmarks on Automated System and Software Generation
Date | 13 May 2002 - 16 May 2002 |
Event | DASIA 2002 |
Location | Dublin, Ireland |
This paper was presented at the DASIA 2002 conference in Dublin, Ireland. It
shows results of benchmarks on projects carried out using ISG/ASaP.
Permalink
Files
Automated Software Production(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).
Permalink
Files
Kosteneinsparung und QualitÀtsverbesserung durch Automation in der System- und Softwareentwicklung(German)
Date | 24 Oct 2001 |
Event | KooperationsForum Computer Hard- und Software |
Location | Berlin, Germany |
This paper describes the potential of ISG/ASaP for cost-savings and quality improvements.
Permalink
Files
Software Development of Embedded Systems by ISG - To Be Faster at Less Costs and Higher Quality
This paper describes the benefits of ISG/ASaP in the context of embedded systems.
Permalink
Files
ISG and Software Quality
The impact on the improvement of software quality by ISG/ASaP
is discussed by this paper.
Permalink
Files
Automation in der Softwareentwicklung - ausfürhbare Progrfamme ohne Programmierung mit ISG (Instantaneous System and Software Generation) erzeugen
Date | 28 Apr 2001 |
Event | Arbeitskreis Studenten und Jungingenieure, VDI |
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.
Permalink
Be Faster on The Market at Less Costs by ISG
A comparison of the conventional and the ISG life-cycle and evaluation of cost savings by ISG.
Permalink
Files
Down-scaling Generation, Verification and Validation of Software into the Range of Hours: The Benefits of Complete Formalisation and Automation
This paper discusses the advantages of formalisation and automation of software production and the
challenges yet to master with current operation platforms.
Permalink
Files
ISG and Synchronous Systems
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.
Permalink
Files
Links
Instantaneous System and Software Generation: A brief introduction and survey
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.
Permalink
Files
An Implementation and Verification Technique for Distributed Systems
Date | 19 Jun 2000 - 23 Jun 2000 |
Event | MOVEP2k: Modelling and Verification of Parallel Processes |
Location | Nantes, France |
Verification and validation of distributed systems as defined by the ISG-approach is
described in this paper.
Permalink
Files
Automated generation of real-time software from datasheet-based inputs: The process model, the platform and the feedback from the MSL project activities
Date | 22 May 2000 - 26 May 2000 |
Event | DASIA 2000 |
Location | Montreal, Canada |
This paper describes how ISG was used to built MSL software.
Permalink
Files
Software Development for the Material Science Laboratory on ISS by Automated Generation of Real-time Software from Datasheet-based Inputs
Date | 22 May 2000 - 26 May 2000 |
Event | DASIA 2000 |
Location | Montreal, Canada |
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.
Permalink
Files
Built-In Performance and Robustness Engineering Capabilities by a Formalised and Automated Software Development Process
Date | 17 May 2000 |
Event | 1st German Workshop on Performance Engineering (PE2000) |
Location | Darmstadt, Germany |
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.
Permalink
Files
Links
Procurement of a SDL Model for Behavioural Validation of MSL
This is the final report of the ESA study on behavioural validation of MSL.
Permalink
Files
A Method for the Incremental Software Development and Validation of Complex Distributed Systems
Date | 29 Sep 1999 |
Event | INCOSE meeting |
Location | Bosch telecom, Backnang, Germany |
In the presentation application of incremental development and validation in the area of complex distributed systems was explained.
Permalink