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

Papers Papers Home By category All Ada Automation DASIA Presentations ISG/ASaP Platform Portability Quality Assurance Realtime Systems Safety Critical & Fault Tolerant Systems SDL Simulation System & Software Engineering Tool Integration Verification & Validation

Category System & Software Engineering Can We Provide Better Protection against Budget Overruns of Software Projects? [00069] Event DASIA 2004 Date 28 Jun 2004 - 1 Jul 2004 Location Nice, France Files Paper This paper was presented at the DASIA 2004 conference in Nice, France. The answer to this hypothetic question is "yes", of course. The paper will approach the problem in two steps: firstly, we will discuss if and which measures exist to identify an overrun early enough, secondly, we will analyse the sources of overruns and which means may be applied not to exceed the planned budget. Software Development of Embedded Systems by ISG - To Be Faster at Less Costs and Higher Quality [00007] Date Oct 2001 Files Paper This paper describes the benefits of ISG/ASaP in the context of embedded systems. ISG and Software Quality [00008] Date Jul 2001 Files Paper The impact on the improvement of software quality by ISG/ASaP is discussed by this paper. Be Faster on The Market at Less Costs by ISG [00011] Date Feb 2001 Files Presentation A comparison of the conventional and the ISG life-cycle and evaluation of cost savings by ISG. 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. Verification with SDL - Some Hints about How to reduce size of state space [00021] Date Jan 1999 Files Paper This paper gives advice how to master state explosion. EaSySim II: Software System Validation Using Executable Models [00026] Date Dec 1997 Files Paper Links ESA News References Early System Validation: With Executable Models through the Life Cycle [00027] With Executable Models through the Life Cycle [00031] Event FEmSys'97 Workshop on Formal Design of Safety Critical Embedded Systems Date 16 Apr 1997 - 18Apr 1997 Location Munich, Germany The presentation included a tool demonstration. Improving Computer-Aided Management of Social Processes by Techniques Applied to Safety-Critical Systems [00032] Event CSR 13th Annual Workshop "Design for Protecting the User" Date 11 Sep 1996 - 13 Sep 1996 Location Bürgenstock near Luzern, Switzerland GIFTBox: A Guide to master Distributed, Heterogeneous Systems [00033] Date Jun 1996 Files Paper Describes a generic architecture and decomposition scheme. Formal Methods for the Validation of Autonomous Spacecraft Fault Tolerance [00035] Date 1996 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. A Cost Estimation Model for Maintenance and High Reuse [00042] Event European Cost Modelling Conference Date 11 May 1994 - 13 May 1994 Location Ivrea near Torino, Italy Early Validation of a DMS (Data Management System) Design by a Reusable Simulation Environment [00043] Event Eurospace On-Board Data Management Symposium on "Technology and Applications for Space Data Management System" Date 25 Jan 1994 - 27 Jan 1994 Location Rome, Italy Requirementsanalyse: Entscheidend für den späteren Erfolg [00046] Date Dec 1992 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 Dynamic Configuration with Ada [00048] Event 10th Annual National Conference on Ada Technology Date 24 Feb 1992 - 27 Feb 1992 Location Washington, USA An Object-Oriented Approach to Real-Time Processing [00049] Event Eurospace Symposium "Ada in Aerospace" Date Nov 1991 Location Rome, Italy Requirementsanalyse mit ASA in Raumfahrtprojekten [00050] Event VDEB-Anwenderforum "Software Engineering" Date Aug 1991 Location Cologne, Germany Run-Time Linking and On-Line Mode Management with Ada [00051] Event ESA 1st Conference on Spacecraft Guidance, Navigation and Control Date May 1991 The presentation included a demo on the PC platform. Anwenderbericht ASA (user report) [00052] Event Berufskolleg Esslingen Date Feb 1991 Location Esslingen, Germany On-Line Replacement and Reconfiguration of Ada Real-Time Software [00053] Event Eurospace Symposium Ada in Aerospace Date Dec 1990 Location Barcelona, Spain The presentation included a demo on the PC platform. On Experience in Modelling of System's Operational Behaviour [00054] Event CNES Software Management Symposium Date Oct 1990 Improvements Needed for Software Development in the Large [00055] Event CNES Software Management Symposium Date Oct 1990 Object-Oriented Methods and Software Life cycle [00056] Event Eurospace Ada Working Group Date Oct 1990 Location Paris, France A Concept for Future AOCS/GNC Software [00058] Event ESA Workshop on Advanced Technologies for Spacecraft Attitude Control, Guidance and Navigation Date 11 Oct 1989 - 13 Oct 1989 A Software Design Philosophy for COLUMBUS [00059] Event International Symposium on Space Software Engineering: COLUMBUS and Space Infrastructures Date 30 Nov 1988 - 2 Dec 1988 Location Turin, Italy Aspects for a Fault-Tolerant Concept for On-Board Software [00060] Event International Symposium on Space Software Engineering: COLUMBUS and Space Infrastructures Date 30 Nov 1988 - 2 Dec 1988 Location Turin, Italy Supporting the Transition from C to Ada [00061] Event ESA Workshop on the Management and Engineering of Ada Software within European Space Projects Date 14 May 1986 - 15 May 1986 Location ESTEC, Noordwijk, The Netherlands

Papers By year 2006 2005 2004 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1986 1983 1981 1980