Category System & Software Engineering
Fault Identification Strategies
Date | 26 May 2009 - 29 May 2009 |
Event | DASIA 2009 |
Location | Istanbul, Turkey |
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.
Permalink
Automated Verification of Code Generated from Models: Comparing Specifications with Observations
Date | 27 May 2008 - 30 May 2008 |
Event | DASIA 2008 |
Location | Palma de Mallorca, Spain |
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.
Permalink
Can We Provide Better Protection against Budget Overruns of Software Projects?
Date | 28 Jun 2004 - 1 Jul 2004 |
Event | DASIA 2004 |
Location | Nice, France |
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.
Permalink
Software Development of Embedded Systems by ISG - To Be Faster at Less Costs and Higher Quality
This paper describes the benefits of ISG/ASaP in the context of embedded systems.
Permalink
ISG and Software Quality
The impact on the improvement of software quality by ISG/ASaP
is discussed by this paper.
Permalink
Be Faster on The Market at Less Costs by ISG
A comparison of the conventional and the ISG life-cycle and evaluation of cost savings by ISG.
Permalink
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
Files
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
Files
Verification with SDL - Some Hints about How to reduce size of state space
This paper gives advice how to master state explosion.
Permalink
Files
EaSySim II: Software System Validation Using Executable Models
Permalink
Files
References
Links
With Executable Models through the Life Cycle
Date | 16 Apr 1997 - 18Apr 1997 |
Event | FEmSys'97 Workshop on Formal Design of Safety Critical Embedded Systems |
Location | Munich, Germany |
The presentation included a tool demonstration.
Permalink
Improving Computer-Aided Management of Social Processes by Techniques Applied to Safety-Critical Systems
Date | 11 Sep 1996 - 13 Sep 1996 |
Event | CSR 13th Annual Workshop "Design for Protecting the User" |
Location | BÃŒrgenstock near Luzern, Switzerland |
Permalink
GIFTBox: A Guide to master Distributed, Heterogeneous Systems
Describes a generic architecture and decomposition scheme.
Permalink
Files
Formal Methods for the Validation of Autonomous Spacecraft Fault Tolerance
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
Files
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
Files
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
Files
A Cost Estimation Model for Maintenance and High Reuse
Date | 11 May 1994 - 13 May 1994 |
Event | European Cost Modelling Conference |
Location | Ivrea near Torino, Italy |
Permalink
Early Validation of a DMS (Data Management System) Design by a Reusable Simulation Environment
Date | 25 Jan 1994 - 27 Jan 1994 |
Event | Eurospace On-Board Data Management Symposium on "Technology and Applications for Space Data Management System" |
Location | Rome, Italy |
Permalink
Requirementsanalyse: Entscheidend fÌr den spÀteren Erfolg
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
Dynamic Configuration with Ada
Date | 24 Feb 1992 - 27 Feb 1992 |
Event | 10th Annual National Conference on Ada Technology |
Location | Washington, USA |
Permalink
An Object-Oriented Approach to Real-Time Processing
Date | Nov 1991 |
Event | Eurospace Symposium "Ada in Aerospace" |
Location | Rome, Italy |
Permalink
Requirementsanalyse mit ASA in Raumfahrtprojekten
Date | Aug 1991 |
Event | VDEB-Anwenderforum "Software Engineering" |
Location | Cologne, Germany |
Permalink
Run-Time Linking and On-Line Mode Management with Ada
Date | May 1991 |
Event | ESA 1st Conference on Spacecraft Guidance, Navigation and Control |
The presentation included a demo on the PC platform.
Permalink
Anwenderbericht ASA (user report)
Date | Feb 1991 |
Event | Berufskolleg Esslingen |
Location | Esslingen, Germany |
Permalink
On-Line Replacement and Reconfiguration of Ada Real-Time Software
Date | Dec 1990 |
Event | Eurospace Symposium Ada in Aerospace |
Location | Barcelona, Spain |
The presentation included a demo on the PC platform.
Permalink
On Experience in Modelling of System's Operational Behaviour
Date | Oct 1990 |
Event | CNES Software Management Symposium |
Permalink
Improvements Needed for Software Development in the Large
Date | Oct 1990 |
Event | CNES Software Management Symposium |
Permalink
Object-Oriented Methods and Software Life cycle
Date | Oct 1990 |
Event | Eurospace Ada Working Group |
Location | Paris, France |
Permalink
A Concept for Future AOCS/GNC Software
Date | 11 Oct 1989 - 13 Oct 1989 |
Event | ESA Workshop on Advanced Technologies for Spacecraft Attitude Control, Guidance and Navigation |
Permalink
A Software Design Philosophy for COLUMBUS
Date | 30 Nov 1988 - 2 Dec 1988 |
Event | International Symposium on Space Software Engineering: COLUMBUS and Space Infrastructures |
Location | Turin, Italy |
Permalink
Aspects for a Fault-Tolerant Concept for On-Board Software
Date | 30 Nov 1988 - 2 Dec 1988 |
Event | International Symposium on Space Software Engineering: COLUMBUS and Space Infrastructures |
Location | Turin, Italy |
Permalink
Supporting the Transition from C to Ada
Date | 14 May 1986 - 15 May 1986 |
Event | ESA Workshop on the Management and Engineering of Ada Software within European Space Projects |
Location | ESTEC, Noordwijk, The Netherlands |
Permalink