Category Realtime Systems
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
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
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
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
GIFTBox: A Guide to master Distributed, Heterogeneous Systems
Describes a generic architecture and decomposition scheme.
Permalink
An alternative Lifecycle based on Problem-Oriented Strategies
| Date | 13 Nov 1995 - 15 Nov 1995 |
|---|
| Event | International Symposium on On-Board Real-Time Software |
|---|
| Location | ESTEC, Noordwijk, The Netherlands |
|---|
This paper was presented during the International Symposium on
On-Board Real-Time Software, November 13th - 15th 1995 at ESTEC, Noordwijk.
Permalink
Distributed and Parallel Systems and HOOD4
| Date | 02 Oct 1995 - 06 Oct 1995 |
|---|
| Event | Ada in Europe'95 conference |
|---|
| Location | Frankfurt/Main, Germany |
|---|
This paper was presented during the Ada in Europe'95 conference
October 02nd - 06th 1995 in Frankfurt/Main.
Permalink
A Strategy for Development of High Quality Embedded Systems
| Date | 19 Sep 1995 |
|---|
| Event | CASE Anwendertag |
|---|
| Location | DLR, Göttlingen, Germany |
|---|
This paper was presented during the "CASE Anwendertag",
September 19th 1995 at the DLR in Göttlingen.
Permalink
Deterministic Scheduling with Ada: Simulation of a Tasking Approach
| Date | 9 Nov 1992 - 13 Nov 1992 |
|---|
| Event | Eurospace Symposium "Ada in Aerospace" |
|---|
| Location | Vienna, Austria |
|---|
Permalink
An Object-Oriented Approach to Real-Time Processing
| Date | Nov 1991 |
|---|
| Event | Eurospace Symposium "Ada in Aerospace" |
|---|
| Location | Rome, Italy |
|---|
Permalink
