Con esta herramienta te facilitamos un acceso a todas las ofertas y demandas de tecnología europeas y a búsquedas de socios para participar en propuestas europeas de I+D publicadas en la red Enterprise Europe Network, pudiendo filtrar los resultados para facilitar las búsquedas más acordes con tus necesidades.

¿Quieres recibir estos listados de oportunidades de colaboración en tu correo de forma periódica y personalizada? Date de alta en nuestro Boletín

Los términos de búsqueda han de ser en inglés.

Validación automática de datos de configuración crítica


Oferta Tecnológica
Una pyme francesa especializada en métodos formales y software integrado ha desarrollado un software de validación de datos basado en la separación de la herramienta de validación de las propiedades a validar. Esto permite comprobar automáticamente la conformidad de los datos y garantizar la seguridad y eficiencia del sistema. Se buscan empresas de las industrias ferroviaria, espacial, de defensa, automoción, salud o banca para establecer acuerdos de cooperación o comercialización con asistencia técnica.


Automatic validation of critical configuration data
A French SME, specialized in formal methods and embedded software, has developed an innovative software for data validation based on the separation of the validation tool from the properties to validate. This enables to check automatically data conformity and ensure safety -Y- efficiency of the system. Commercial agreement with technical assistance or technical cooperation are sought for industries (railway, aeronautics, space, defense, automotive, health or bank sectors).
Critical systems are complex and become more and more configurable.
Assuring their behavior and their safety level requires to validate the consistency of several hundreds of thousands of values of configuration data. These validation tasks, particularly tedious and expensive, are often subject to very tight schedule as they are performed in the final phase of development.
The classic approach to manage this issue involves developing a program that automates parts of the data validation.
A French SME has developed an innovative software enabling safe and efficient automatic validation of critical configuration data.
Commercial agreement with technical assistance or technical cooperation are expected with industries dealing with critical systems.
Advantages and Innovations:
Costs reduction and shorter validation time
- Expressiveness of the language
- Simultaneous processing of properties
- Carry-over of a common set of properties from one project to another
- No need for a new qualification of the validation tool
- Significant reduction of delay and cost of the safety case and its approval by an ISA (Intelligent Speed Adaptation)
- Quick and easy validation replay for each new data set

Increased validation quality
- Shared language between domain experts and modelers
- Exhaustive mathematical check of the properties on the configuration data
- Readability and traceability of validation activities
- Data validation through two independent and diversified toolchains
- The solution is certified

Easy to operate and maintain
- No need to write programs anymore
- Easy allocation of independent tasks to users
- Compatibility, via plug-in, with any configuration data format (XML and Microsoft Office Excel™ available by default)
- Automatic generation of validation reports
- Counterexample analysis
- Standard environment based on the Eclipse platform

Standard compliance
Formal validation of configuration data is recommended by some safety standards and is an integral part of the system or software validation process.
Stage of Development:
Already on the market
Secret Know-how,Trade Marks

Partner sought

Type and Role of Partner Sought:
Originally designed for the railway sector, this tool suits industrial projects in various sectors such as aeronautics, space, defense, automotive, health or bank sectors.

Commercial agreement with technical assistance or technical cooperation (if further development is required) are expected. According to technical specifications or requirements.


Type and Size of Client:
Industry SME 50-249
Already Engaged in Trans-National Cooperation:
Languages Spoken:


Technology Keywords:
01003006 Computer Software
01003008 Data Processing / Data Interchange, Middleware
01003010 Databases, Database Management, Data Mining