Objective
The objective of the project is to support the development of embedded reactive SW, in particular for cars by providing:
. concepts and methods for these developments of such embedded reactive SW.
an integrated toolset supporting the concepts and the method, covering the development lifecycle of such embedded reactive SW. It relies on synchronous techniques both for the behaviour of application and for the middleware.
The objective of the project is to support the development of embedded reactive SW, in particular for cars by providing:
. concepts and methods for these developments of such embedded reactive SW.
an integrated toolset supporting the concepts and the method, covering the development lifecycle of such embedded reactive SW. It relies on synchronous techniques both for the behaviour of application and for the middleware.
OBJECTIVES
The objective of the project is to support the development of reactive software applications embedded in cars by providing:
. Concepts and methods for the developments of such embedded reactive SW.
an integrated toolset supporting the concepts and the method, covering the development lifecycle of such embedded reactive SW. It relies on synchronous techniques both for the behaviour of applications and for the middleware.
DESCRIPTION OF WORK
The project will mainly consist in the following 2 groups of tasks :
1) DEFINITION OF THE METHOD The method will cover at least the following activities:. Requirements definition and traceability management. Mapping from control engineering models to the corresponding models for software. Formal specification and design of the software, combining event triggered and time triggered dynamics. Mapping functions to the architecture. Implementation on top of the middleware
2) DEVELOPMENT OF THE TOOLSTo support the method, the tool chain will provide the following functions:. Requirements capture. Traceability management over the lifecycle. Configuration Management over the lifecycle. Translation of the imperative features from Simulink to synchronous software models. Detailed software specification and design, combining event triggered and time triggered dynamics. Function to architecture mapping. Configuration of Synchronous Middleware for the target. Code generation for the target
Fields of science
Call for proposal
Data not availableFunding Scheme
CSC - Cost-sharing contractsCoordinator
78990 ELANCOURT
France