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

Work in Progress

These are notable projects currently in progress at BSSE.

ASSERT project

BSSE is taking part in the EC-project ASSERT (Automated proof-based System and Software Engineering for RealTime systems), which is headed by ESA. The participants are 29 European companies and organisations active in the area of critical realtime applications, such as EADS, Dassault, Alcatel, and many more. The goal of the project is establishment of toolsets for automatic proof of realtime application and demonstration of the benefits by pilot applications.

ESA-Project on Automatic Code Generation

Definition of an automated lifecycle approach for future ESA projects together with EADS-ST (Les Mureaux, France), SynSpace (Geneve, Switzerland) and SciSys (Bristol, UK).

Topics:

  • Definition of engineering and PA aspects
  • Demonstration of feasability by pilot applications; comparison of results with manually executed projects of pilot applications

High-precision determination of 3D-position by one camera (OCS)

Derivation of 3D-positions from 2D-images obtained from a single camera with precision in the sub-millimeter range for use in but not limited to medical or industrial (robotics) applications.

Automatic generation of database GUI from specification information

Generation of the complete set of SQL- and GUI-code for database application from database structure definition in XML or any other equivalent (user-defined) specification format.

The goal is simplification of database and interface implementation by use of a single source of information and at the same time covering all the different parts of SQL (DCL, DDL, DML) and Java. The generative aspect will dramatically reduce the effort of porting to other non-SQL databases or non-Java GUIs. Support of Web-Applications is intended.

Generation of STEP7-Code by ISG

ISG/ASaP shall be complemented by capabilities allowing to automatically generate STEP-7 code (AWL, SCL) from an ISGL specification of the automation system. This covers definition of sensor and actor signals, processing of the data and signals, and checks on correctness and completeness of the user specification, generation of code and documentation according to user-defined standards.