Copyright © 2004-2010 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]
DateOct 2000
Files
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]
DateOct 2000
Files
Links
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]
DateAug 2000
Files
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]
EventMOVEP2k: Modelling and Verification of Parallel Processes
Date19 Jun 2000 - 23 Jun 2000
LocationNantes, France
Files
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]
DateJun 1996
Files
Describes a generic architecture and decomposition scheme.
An alternative Lifecycle based on Problem-Oriented Strategies [00037]
EventInternational Symposium on On-Board Real-Time Software
Date13 Nov 1995 - 15 Nov 1995
LocationESTEC, Noordwijk, The Netherlands
Files
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]
EventAda in Europe'95 conference
Date02 Oct 1995 - 06 Oct 1995
LocationFrankfurt/Main, Germany
Files
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]
EventCASE Anwendertag
Date19 Sep 1995
LocationDLR, Göttlingen, Germany
Files
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]
EventEurospace Symposium "Ada in Aerospace"
Date9 Nov 1992 - 13 Nov 1992
LocationVienna, Austria
An Object-Oriented Approach to Real-Time Processing [00049]
EventEurospace Symposium "Ada in Aerospace"
DateNov 1991
LocationRome, Italy