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.

Herramienta de análisis dinámico para detectar virus en pilas de software y evitar errores críticos

Resumen

Tipo:
Oferta Tecnológica
Referencia:
TONL20151209002
Publicado:
23/12/2015
Caducidad:
23/12/2016
Resumen:
Una empresa holandesa de software ha desarrollado una herramienta avanzada para detectar errores críticos en el comportamiento dinámico de software integrado. La tecnología de análisis dinámico funciona en C/C++ y se integra fácilmente en entornos de ejecución a medida e integrados, por ejemplo, ARM en Android. La empresa busca equipos de desarrollo de software que trabajen con pilas de software sofisticadas para mejorar la herramienta y adaptarla al entorno y requisitos específicos del ámbito industrial del socio. El objetivo es establecer acuerdos de cooperación técnica o licencia.

Details

Tittle:
Dynamic analysis tool to detect bugs in sophisticated software stacks to prevent critical software errors
Summary:
A Dutch software company developed a dynamic analysis tool to detect bugs like race conditions and buffer overflows and pinpoint the root cause.
The company is seeking software development teams that work with sophisticated software stacks to further sharpen the tool to the specific environment and requirements of the partner´s industry domain.
The company is offering its technology through a technical cooperation agreement or a license agreement.
Description:
A Dutch SME active in the ICT sector, has developed an advanced tool to detect the critical errors in the dynamic behaviour of embedded software. The tool complements conventional tools and methods.
The software in embedded systems in medical devices, aerospace, and industrial systems grows exponentially. Despite extensive testing, use of advanced static analysis tools and test frameworks, software errors are causing field recalls and loss of reputation. These critical bugs relate to the dynamic behaviour of the software: race conditions, memory leaks, buffer overflows, and deadlocks. As it is infeasible to verify all possible variations in timing and memory access behaviour, many of these defects will only be found in the field.
The underlying dynamic analysis technology operates on C/C++ code. It analyses software as it executes with relevant input data or with a test suite with sufficient code coverage. The tool easily integrates in custom build and a number of embedded execution environments (e.g. ARM Android).
The SME seeks software development teams with large (thousands to millions lines of code) interested using the technology to reduce debugging effort and improve software quality.
Partners are sought to work together whithin the framework of a technical cooperation agreement to further sharpen the tool to the specific environment and requirements of the partner´s industry domain and to deploy the tool and prevent bugs under a license agreement.
Advantages and Innovations:
A software error found in the field is up to 100x more expensive than an error found during development. These hard-to-find errors are often caused by the dynamic behavior of the software. They cause product recalls and slowdown the product cycle. Even with state-of-the art static analysis tools and testing methods, errors slip through.
In comparison to existing technologies the tool is aimed at continuous integration (e.g. Jenkins), where the analysis detects errors early in the development process.
All error types are detected with just one execution run. Based on dynamic analysis, only true positives are found, saving the programmer from having to review long lists of misleading error reports.

Stage of Development:
Already on the market
IPs:
Patents granted,Copyright
CommeR Statunts Regarding IPR Status:
Use of the technology is protected via a software license based on a yearly subscription.
Patents have been filed for this technology in Europe and USA.

Partner sought

Type and Role of Partner Sought:
· Type of partner sought: Software development teams with a clear interest in using tools to improve software quality. Typically already using tools such as static analysis.
· Specific area of activity of the partner: Creating and testing software predominantly in the languages C or C++, running the software on processing platforms such as ARM Android, x86 Linux and similar.
· Task to be performed by the partner sought: To cooperate to further sharpen the tool to the specific environment and requirements of the partner´s industry domain.

Client

Type and Size of Client:
Industry SME 11-49
Already Engaged in Trans-National Cooperation:
Si
Languages Spoken:
Dutch
English
German

Keywords

Technology Keywords:
01003001 Advanced Systems Architecture
01003006 Computer Software