Skip to main content
European Commission logo print header

Improved Software development for Failsafe Embedded applications

Obiettivo

The SAFE project is targeted at the improvement of software development processes for failsafe software applications. A best practice project will be performed to show the benefits of introducing a system based CAD tool that enables component based embedded software generation for control systems of Automatic Guided Vehicles (Ages).
High development costs and short time-to-market requirement urge companies to seek for an improved software development process. Moreover, there is increasing demand for more complex and fast AGVs with strict requirements on safety and reliability of the control system. Such control systems should not be built manually, since no fail-safe applications can be guaranteed. The process of software development is becoming increasingly complex and strongly determines time to market as well as reliability and safety of the AGVs.
Frog Navigation Systems B.V (FROG). is a Dutch SME developer of control systems for Automatic Guided Vehicles. Currently FROG builds AGVs for internal transportation within factories or for public transportation purposes (e.g. unmanned vehicles at airports)
FROG will perform a Best Practice Pilot on a baseline software development process. This pilot will prove that introducing component based development of methodologies and tools for the (semi-automatic) generation of embedded control software will contribute to:
. More efficient and cheaper software development process;
.Faster software development;
.Reducing time to market for new products;
.Higher quality, deadlock and bug-free software;
.More reliable and safer end products (AGVs).
The Best Practice Pilot will be supported by Institute National de Recherche en Informatique en Automatique (INRIA, tool developer) and Robosoft, a French SME targeting at the further exploitation of the software tool and providing assistance in the introduction, training and working with the software tool.

Objectives:
The SAFE project targets at improving software development processes for failsafe software applications. FROG performs a best practice project to show the benefits of introducing a system based CAD too (Syndex) that enables component based embedded software generation for control systems of Automatic Guided Vehicles (AGVs)
The Best Practice Pilot will prove that introducing component based development of tools for the (semi-automatic) generation of embedded control software will contribute to:
.More efficient and cheaper software development process;
.Faster software development;
.Reducing time to market for new products;
.Higher quality, deadlock and bug-free software;
.More reliable and safer end products (AGVs).
The benefits of adopting the Syndex tool will demonstrated and measured within a clearly identified business case and baseline project, to be performed by FROG, assisted by Robosoft and INRIA experts.
The Syndex tool, developed at INRIA Rocquencourt France, is a system-level CAD software tool for rapid prototyping and for optimising the implementation of real-time embedded applications on multi-component distributed hardware architectures.

It is graphical interface software, offering the following services:
.Specification and verification of an application algorithm as a conditional data-flow graph of software components
.Specification of a multi-component architecture as a graph of hardware components (processors and/or application specific circuits and communication media)
.Heuristic for distributing and scheduling the application algorithm on the multi-component hardware architecture, with response time optimisation and visualisation of the predicted real-time performances for the sizing of the multi-component hardware architecture.
.Generation of distributed real-time executives, deadlock free and mainly static for minimum overhead, with real-time performance measurement, built from components of a generic executive kernel.

Work description:
FROG will develop embedded software code for the control system of an unmanned vehicle, a limited baseline project, will use Syndex. The SAFE-project will be implemented and disseminated by FROG, INRIA and Robosoft as a business case.

The business case contains the measurement of the following performance indicators to prove the benefits:
.Speed of software development
.Successful automatic generation of code
.Reusable components
.Bug-free control system
.Fail-safe application
The project is performed in three phases:
.Definition of the business case and preparation for the Best Practice Pilot
.Software development, with measurement of performance indicators and simulation

Field tests and validation of business objectives
The activities are performed in the following work packages:
.Development of business case and measurement plan for the pilot; training of engineers to work with the Syndex tool
.Adaptation of Syndex for the use in FROG's development process and integration in its development environment.
.Best Practice Pilot, with both conventional and Syndex based software development in baseline project.

Measurement of development speed and possibility of automatic code generation and reusability of components. In the second phase of the pilot simulation and field tests on bugs and deadlocks take place to guarantee failsafe applications
.Planning and execution of dissemination activities to other business communities and development of a rollout plan and training program, for a proper take-up of the Syndex tool within FROG after completion of the project

Project management

Milestones:
M1 Outline of business case
M2 Measurement of results on development speed and simulated results
M3 Success measure of automatic generation of code
M4 Test of reusable components
M5 Measures of bug-free control system and failsafe application

Invito a presentare proposte

Data not available

Coordinatore

FROG NAVIGATION SYSTEMS B.V.
Contributo UE
Nessun dato
Indirizzo
Cartesiusweg 120
UTRECHT
Paesi Bassi

Mostra sulla mappa

Costo totale
Nessun dato

Partecipanti (2)