Papers
Papers Home
|
All papers
| Cleared Direct To Target - Approaching the Target System at a Touch via Simulation [00075] |
|---|
| Event | AirTec 2010 |
|---|
| Date | 2 Nov 2010 - 4 Nov 2010 |
|---|
| Location | Frankfurt am Main, Germany |
|---|
| Files |
|---|
|
|
|
This paper describes an improved process for
development of software for critical systems fully
bridging the gap between a specification and an
executable target version by an automaton. The
process covers the broad class of distributed
and/or fault-tolerant and/or real-time systems, and
meets the needs of critical systems. It has its roots
in the space domain.
|
| Tool-Guided, Domain-Specific, Systematic Requirements Management [00072] |
|---|
| Event | DASIA 2010 |
|---|
| Date | 1 Jun 2010 - 4 Jun 2010 |
|---|
| Location | Budapest, Hungary |
|---|
| Files |
|---|
|
|
|
The importance of the quality of requirements for
successful execution and completion of a project from a
technical and contractual point of view is being
recognized more and more. Many methods are targeted
to improve the support for collecting requirements
while still focusing on natural language. However, the
ambiguities in the semantics of natural language are the
biggest obstacles towards success. The approach
presented in this paper focuses on the elements of a
domain while keeping the expressiveness of natural
names and terms and introducing clear semantics. This
brings the advantage that immediate verification of the
human-provided inputs is possible, immediate
contributions to validation are available and
inconsistencies can be detected by a tool immediately.
This leads to guidance of an engineer by a tool towards
consistent, complete and correct requirements -
requirements of high quality - and eases maintenance
for the same reasons. As most of the complexity is
handled by the tool due to its good knowledge on the
domain, the approach is scalable towards large
specifications. Several examples of application domains
are described which illustrate the universality and
feasibility of the approach across domain boundaries.
|
| Position of the Working Group of German Space SME [00076] |
|---|
| Event | ESA Workshop on Open Source Software |
|---|
| Date | 12 Nov 2009 |
|---|
| Location | Noordwijk, The Netherlands |
|---|
|
Presentation on behalf of the Working Group of Space-SME (AKRK) of the position of German SME regarding the Open Source Software Strategy of the European Space Agency.
|
| Fault Identification Strategies [00071] |
|---|
| Event | DASIA 2009 |
|---|
| Date | 26 May 2009 - 29 May 2009 |
|---|
| Location | Istanbul, 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] |
|---|
| Event | DASIA 2008 |
|---|
| Date | 27 May 2008 - 30 May 2008 |
|---|
| Location | Palma 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.
|
| Path Constraint Construction with Look-ahead [00081] |
|---|
| Event | GI-Software Engineering Conference 2008 |
|---|
| Date | 18 February 2008 - 22 February 2008 |
|---|
| Location | Munich, Germany |
|---|
|
A new approach for constructing path constraints in constraintbased test-data generation using results from analysis of control-flow graphs.
|
| Model Transformation in Practice [00073] |
|---|
| Event | DASIA 2007 |
|---|
| Date | 29 May 2007 - 1 Jun 2007 |
|---|
| Location | Naples, Italy |
|---|
| Files |
|---|
|
|
|
The intention of this paper is to highlight the benefits of
model exchange between different tools, methods and
notations on one side, and to identify issues of proper
modelling on the other side which have been detected
during model transformation and code generation from
models.
|
| Evaluation of Auto-Test Generation Strategies and Platforms [00074] |
|---|
| Event | DASIA 2007 |
|---|
| Date | 29 May 2007 - 1 Jun 2007 |
|---|
| Location | Naples, Italy |
|---|
| Files |
|---|
|
|
|
As the test effort takes a significant part of the software
development lifecycle, efficient test strategies are a precondition
for reduction of development costs and time.
In this respect two main issues exist: firstly, the tuning
of the test track from test case identification to
evaluation, secondly, the reduction of number of test
cases to be processed and evaluated. Both aspects were
considered in the work presented in this paper.
|
| Improving Test Automation by Deterministic Methods in Statistical Testing [00067] |
|---|
| Event | DASIA 2006 |
|---|
| Date | 22 May 2006 - 25 May 2006 |
|---|
| Location | Berlin, Germany |
|---|
| Files |
|---|
|
|
|
This paper was presented at the DASIA 2006 conference in Berlin, Germany.
It lays out principal approaches for tackling the "small target" and "oracle" problems in statistical automatic testing by applying deterministic methods for assistance.
|
| Software Diversity by Automation [00068] |
|---|
| Event | DASIA 2005 |
|---|
| Date | 30 May 2005 - 2 Jun 2005 |
|---|
| Location | Edinburgh, Scotland |
|---|
| Files |
|---|
|
|
|
This paper was presented at the DASIA 2005 conference in Edinburgh, Scotland.
It shows the result of an Automated ISVV (AISVV) activity executed on the
Flight Application Software (FAS) of the Autonomous Transfer Vehicle (ATV).
|
| 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 |
|---|
|
|
|
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.
|
| Automatische Software Produktion-Was ist möglich? [00002] |
|---|
| Event | MicroConsult Praxisforum "Embedded Quality - Neue Dimensionen der Qualititätssicherung" |
|---|
| Date | 15 Oct 2002 |
|---|
| Location | Munich, Germany |
|---|
| Files |
|---|
|
|
| Links |
|---|
|
|
| References |
|---|
|
|
|
This is the more practice-oriented presentation as given in
Munich (Oct 15, 2002).
If you would like to get an example file package as shown during the
presentation please contact us.
|
| Automatische Software Produktion-Was ist möglich? [00003] |
|---|
| Event | MicroConsult Praxisforum "Embedded Quality - Neue Dimensionen der Qualititätssicherung" |
|---|
| Date | 10 Oct 2002 |
|---|
| Location | Zurich, Switzerland |
|---|
| Files |
|---|
|
|
| Links |
|---|
|
|
| References |
|---|
|
|
|
This is the strategy-oriented presentation as given during the MicroConsult Praxis Forum "Embedded Quality - Neue Dimension der Qualitätssicherung" in Zurich (Oct 10th, 2002).
|
| Automated Software Production(ISG/ASaP) [00005] |
|---|
| Date | Dec 2001 |
|---|
| Files |
|---|
|
|
|
The ISG/ASaP approach allows automated system generation from engineering
information and to immediately build an executable system from engineering
level.
This approach has already been successfully applied to provide the
infrastructure and major parts of the application software for the
Material Science Laboratory aboard the International Space Station(ISS).
|
| ISG and Synchronous Systems [00013] |
|---|
| Date | Oct 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.
|
| Lessons learned by the use of (C)OTS [00023] |
|---|
| Event | DASIA'98 conference |
|---|
| Date | 25 May 1998 - 28 May 1998 |
|---|
| Location | Athens, Greece |
|---|
| Files |
|---|
|
|
|
This paper was presented during the DASIA'98 conference, May 25th-28th 1998 in
Athens. It shows BSSE's experience with the use of
(Commercial-)Off-The-Shelf-Software based on a project dealing with the
integration of a number of (C)OTS packages and software developed from scratch.
|
| EaSySim II SDL Extensions for Performance Simulation [00024] |
|---|
| Event | Workshop on Performance and Time in SDL and MSC |
|---|
| Date | 17 Feb 1998 - 19 Feb 1998 |
|---|
| Location | University of Erlangen, Germany |
|---|
| Files |
|---|
|
|
| Links |
|---|
|
|
|
This paper was presented during the workshop on Performance and Time in SDL and
MSC, at the University of Erlangen, February 17th - 19th 1998.
|
| Accuracy of Simulation [00025] |
|---|
| Event | Workshop on Performance and Time in SDL and MSC |
|---|
| Date | 17 Feb 1998 - 19 Feb 1998 |
|---|
| Location | University of Erlangen, Germany |
|---|
| Files |
|---|
|
|
| Links |
|---|
|
|
|
This paper was presented during the workshop on Performance and Time in SDL and
MSC, at the University of Erlangen, February 17th - 19th 1998.
|
| 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 |
|---|
|
|
|
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 |
|---|
|
|
|
This paper was presented during the Ada in Europe'95 conference
October 02nd - 06th 1995 in Frankfurt/Main.
|
|
Papers
|
