Last updated: 30/04/2013
Closing date: 30/04/2014
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.
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: