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

Papers 2000

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.