Category Automatic Code Generation
Cleared Direct To Target - Approaching the Target System at a Touch via Simulation
Date | 2 Nov 2010 - 4 Nov 2010 |
---|---|
Event | AirTec 2010 |
Location | Frankfurt am Main, Germany |
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.
Permalink
Files
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.
Files
Model Transformation in Practice
Date | 29 May 2007 - 1 Jun 2007 |
---|---|
Event | DASIA 2007 |
Location | Naples, Italy |
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.
Permalink
Files
Evaluation of Auto-Test Generation Strategies and Platforms
Date | 29 May 2007 - 1 Jun 2007 |
---|---|
Event | DASIA 2007 |
Location | Naples, Italy |
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.
Permalink