Papers 2000
Down-scaling Generation, Verification and Validation of Software into the Range of Hours: The Benefits of Complete Formalisation and Automation
Date | Oct 2000 |
---|
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
Date | Oct 2000 |
---|
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
Date | Aug 2000 |
---|
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.
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.