Title of Profil	Verification of Formal Models for Embedded Systems
Reference	12 FR 38m9 3PDO
Country of origin	France
Offers/Requests	Request
Entry/Update	2012-06-06 / 2013-04-30
Status	update

Abstract

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.

Details

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.

Technology sector	- Embedded Systems and Real Time Systems - Computer Software - Railway Transport - Railway Vehicles
Cooperation type	- Joint further development - Testing of new applications - Adaptation to specific needs Type of partner sought: Engineering firmSpecific area of activity of the partner: Development of embedded systems for railway infrastructures and/or equipmentTask to be performed by the partner sought: Further adaptation and experimentation of the open source toolset on railway applications
Organisation type

We only react to expressions of interest in Swiss profiles and/or made by organisations based in Switzerland Would you like to contact this organisation?   Yes

You are not based in Switzerland? You are not interested in a Swiss profiles? Find your local access point on the Network website. This technology profile does not fit your requirements? You are searching for a tailor made solution? You are interested to promote your own technology profile? => Contact us now! => In short time we can find suitable partners Further Details