Partner Search

 
Verification of Formal Models for Embedded Systems (12 FR 38m9 3PDO)
 FRANCE
Technology collaboration REQUEST
Created: 06/06/2012
Last updated: 30/04/2013
Closing date: 30/04/2014
Summary

A leading French company in the defense industry is currently co-developing an innovative open source toolset to support formal verification of requirements and properties in embedded systems. The French company is looking for additional partners specialized in railway infrastructures engineering for further development.

Full description

A leading French company in the defense industry is currently co-developing an innovative open source toolset to support formal verification of requirements and properties using model checking on automated generated formal transitions systems with temporal logics. To ease integration of the toolset in development environments, the verification toolset is complemented by: 1) An implementation on top of the OPEN-SOURCE ECLIPSE Platform 2) Coupling to key tools of the development process in order to extend the scope of the verification. 3) Requirement and Traceability Management (DOORs like,...) 4) Static Model verification and Qualimetry based on OCL 5) Automated Test Generation. The French company is looking for additional partners specialized in railway infrastructures engineering for further development.

Technical Specifications / Specific technical requirements:
The technological expertise request involves railway or automotive critical systems development, verification and testing, according to EN50128 standard.
The request is three-fold: 1) Adaptation of the concept approach and methodology to the railway domain context and process. 2)Experimentation of the approach on a shared & common case study 3) Experimentation of the approach on an industrial case study of the railway domain.

Partner expertise sought:

- Type of partner sought: Engineering firm
- Specific area of activity of the partner: Development of embedded systems for railway infrastructures and/or equipment
- Task to be performed by the partner sought: Further adaptation and experimentation of the open source toolset on railway applications

Listed under: Electronics, Microelectronics \ Transport & Logistics \ Software

Select an option from below to enquire about this opportunity:

To register an expression of interest in this cooperation profile, please answer the following question:

Is your company located within our region?

YES    NO

 
   

Bookmark and Share