|Title of Profil||Verification of Formal Models for Embedded Systems|| |
12 FR 38m9 3PDO
|Country of origin||France|
|Entry/Update||2012-06-06 / 2013-04-30|
AbstractA 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.
- Embedded Systems and Real Time Systems
- Computer Software
- Railway Transport
- Railway Vehicles
- 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
We only react to expressions of interest in Swiss profiles and/or made by organisations based in Switzerland
Would you like to contact
- 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