Papers
Papers Home
|
Category Automation
| 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.
|
| 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.
|
| 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).
|
| 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.
|
|
Papers
|
