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

Category Realtime Systems

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.

GIFTBox: A Guide to master Distributed, Heterogeneous Systems [00033]
Date	Jun 1996
Files
Paper
Describes a generic architecture and decomposition scheme.

An alternative Lifecycle based on Problem-Oriented Strategies [00037]
Event	International Symposium on On-Board Real-Time Software
Date	13 Nov 1995 - 15 Nov 1995
Location	ESTEC, Noordwijk, The Netherlands
Files
Presentation
This paper was presented during the International Symposium on On-Board Real-Time Software, November 13th - 15th 1995 at ESTEC, Noordwijk.

Distributed and Parallel Systems and HOOD4 [00038]
Event	Ada in Europe'95 conference
Date	02 Oct 1995 - 06 Oct 1995
Location	Frankfurt/Main, Germany
Files
Presentation
This paper was presented during the Ada in Europe'95 conference October 02nd - 06th 1995 in Frankfurt/Main.

A Strategy for Development of High Quality Embedded Systems [00039]
Event	CASE Anwendertag
Date	19 Sep 1995
Location	DLR, Göttlingen, Germany
Files
Paper (German) Paper (English)
This paper was presented during the "CASE Anwendertag", September 19th 1995 at the DLR in Göttlingen.

Deterministic Scheduling with Ada: Simulation of a Tasking Approach [00047]
Event	Eurospace Symposium "Ada in Aerospace"
Date	9 Nov 1992 - 13 Nov 1992
Location	Vienna, Austria

An Object-Oriented Approach to Real-Time Processing [00049]
Event	Eurospace Symposium "Ada in Aerospace"
Date	Nov 1991
Location	Rome, Italy