Copyright © 2004-2010 BSSE.
All rights reserved.
Impressum Legal Notice

Category Automatic Code Generation

Cleared Direct To Target - Approaching the Target System at a Touch via Simulation [00075]
EventAirTec 2010
Date2 Nov 2010 - 4 Nov 2010
LocationFrankfurt 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]
EventDASIA 2008
Date27 May 2008 - 30 May 2008
LocationPalma 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]
EventDASIA 2007
Date29 May 2007 - 1 Jun 2007
LocationNaples, 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]
EventDASIA 2007
Date29 May 2007 - 1 Jun 2007
LocationNaples, 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.