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

Category System & Software Engineering

Fault Identification Strategies [00071]
EventDASIA 2009
Date26 May 2009 - 29 May 2009
LocationIstanbul, Turkey
Files

Various strategies for fault identification exist - e.g. based on formal analysis of code or on testing - of which each focuses on certain identification aspects and fault types. This paper characterises the strengths and weaknesses of methods – in theory and practice - focusing on application-independent identification strategies, and it suggests strategies to maximise the number of detected faults while minimising the related effort. Fault activation conditions are discussed in detail, resulting in an extended scope on stimulation needs. In particular, the contribution of automation in raising the activation probabilities is investigated. Various examples of fault activation mechanisms and statistics on fault types vs. identification methods are provided as observed in practice. An interesting result is the identification of application-dependent test cases by application-independent test strategies.

Automated Verification of Code Generated from Models: Comparing Specifications with Observations [00070]
EventDASIA 2008
Date27 May 2008 - 30 May 2008
LocationPalma de Mallorca, Spain
Files

Certification is based on compliance of the code of the code generator with given standards. Such compliance never can guarantee correctness of the whole chain through transformation down to the environment for execution, though the belief is that certification implies well-formed code at a reduced fault rate.

The approach presented here goes a direction different from manual certification.. It is guided by the idea of automated proof: each time code is generated from a model the properties of the code when being executed in its environment are compared with the properties specified in the model. This allows to conclude on the correctness of the whole chain for every application and related generated code.

Can We Provide Better Protection against Budget Overruns of Software Projects? [00069]
EventDASIA 2004
Date28 Jun 2004 - 1 Jul 2004
LocationNice, France
Files
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]
DateOct 2001
Files
This paper describes the benefits of ISG/ASaP in the context of embedded systems.
ISG and Software Quality [00008]
DateJul 2001
Files
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]
DateFeb 2001
Files
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]
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.
Verification with SDL - Some Hints about How to reduce size of state space [00021]
DateJan 1999
Files
This paper gives advice how to master state explosion.
EaSySim II: Software System Validation Using Executable Models [00026]
DateDec 1997
Files
Links
References
With Executable Models through the Life Cycle [00031]
EventFEmSys'97 Workshop on Formal Design of Safety Critical Embedded Systems
Date16 Apr 1997 - 18Apr 1997
LocationMunich, Germany
The presentation included a tool demonstration.
Improving Computer-Aided Management of Social Processes by Techniques Applied to Safety-Critical Systems [00032]
EventCSR 13th Annual Workshop "Design for Protecting the User"
Date11 Sep 1996 - 13 Sep 1996
LocationBĂĽrgenstock near Luzern, Switzerland
GIFTBox: A Guide to master Distributed, Heterogeneous Systems [00033]
DateJun 1996
Files
Describes a generic architecture and decomposition scheme.
Formal Methods for the Validation of Autonomous Spacecraft Fault Tolerance [00035]
Date1996
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.
A Cost Estimation Model for Maintenance and High Reuse [00042]
EventEuropean Cost Modelling Conference
Date11 May 1994 - 13 May 1994
LocationIvrea near Torino, Italy
Early Validation of a DMS (Data Management System) Design by a Reusable Simulation Environment [00043]
EventEurospace On-Board Data Management Symposium on "Technology and Applications for Space Data Management System"
Date25 Jan 1994 - 27 Jan 1994
LocationRome, Italy
Requirementsanalyse: Entscheidend für den späteren Erfolg [00046]
DateDec 1992
Deterministic Scheduling with Ada: Simulation of a Tasking Approach [00047]
EventEurospace Symposium "Ada in Aerospace"
Date9 Nov 1992 - 13 Nov 1992
LocationVienna, Austria
Dynamic Configuration with Ada [00048]
Event10th Annual National Conference on Ada Technology
Date24 Feb 1992 - 27 Feb 1992
LocationWashington, USA
An Object-Oriented Approach to Real-Time Processing [00049]
EventEurospace Symposium "Ada in Aerospace"
DateNov 1991
LocationRome, Italy
Requirementsanalyse mit ASA in Raumfahrtprojekten [00050]
EventVDEB-Anwenderforum "Software Engineering"
DateAug 1991
LocationCologne, Germany
Run-Time Linking and On-Line Mode Management with Ada [00051]
EventESA 1st Conference on Spacecraft Guidance, Navigation and Control
DateMay 1991
The presentation included a demo on the PC platform.
Anwenderbericht ASA (user report) [00052]
EventBerufskolleg Esslingen
DateFeb 1991
LocationEsslingen, Germany
On-Line Replacement and Reconfiguration of Ada Real-Time Software [00053]
EventEurospace Symposium Ada in Aerospace
DateDec 1990
LocationBarcelona, Spain
The presentation included a demo on the PC platform.
On Experience in Modelling of System's Operational Behaviour [00054]
EventCNES Software Management Symposium
DateOct 1990
Improvements Needed for Software Development in the Large [00055]
EventCNES Software Management Symposium
DateOct 1990
Object-Oriented Methods and Software Life cycle [00056]
EventEurospace Ada Working Group
DateOct 1990
LocationParis, France
A Concept for Future AOCS/GNC Software [00058]
EventESA Workshop on Advanced Technologies for Spacecraft Attitude Control, Guidance and Navigation
Date11 Oct 1989 - 13 Oct 1989
A Software Design Philosophy for COLUMBUS [00059]
EventInternational Symposium on Space Software Engineering: COLUMBUS and Space Infrastructures
Date30 Nov 1988 - 2 Dec 1988
LocationTurin, Italy
Aspects for a Fault-Tolerant Concept for On-Board Software [00060]
EventInternational Symposium on Space Software Engineering: COLUMBUS and Space Infrastructures
Date30 Nov 1988 - 2 Dec 1988
LocationTurin, Italy
Supporting the Transition from C to Ada [00061]
EventESA Workshop on the Management and Engineering of Ada Software within European Space Projects
Date14 May 1986 - 15 May 1986
LocationESTEC, Noordwijk, The Netherlands