Papers
Papers Home
|
Category Automatic Code Generation
| 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.
|
| 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.
|
| 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.
|
|
Papers
|
