Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

RSCS

Financiado

Cerrado

Automata Based Interfaces for Dynamic Resource Scheduling in Control Systems

The proposed project addresses the emerging need for efficient resource utilization in embedded control software. The main objective is to combine control theory and scheduling theory in such a way as to remove the need for strict... ver más

31/08/2014

BGU

100K€

Presupuesto del proyecto: 100K€

Líder del proyecto

BENGURION UNIVERSITY OF THE NEGEV No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2014-08-31 No tenemos la información de la convocatoria

0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

1 Participantes

BGU

0.00€ | Lider

Proyectos interesantes

T-CREST

Embedded System...

Software

4M€ Cerrado

DPI2010-18601

Embedded System...

Control Systems

69K€ Cerrado

Quasimodo

Software

Embedded System...

3M€ Cerrado

CUSTOMER

Embedded System...

Software

2M€ Cerrado

CEmbedded Multi-Core Systems for Mixed Critic...

Embedded System...

Software

468K€ Cerrado

CEmbedded Multi-Core Systems for Mixed Critic...

Embedded System...

Software

468K€ Cerrado

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Líder del proyecto

BENGURION UNIVERSITY OF THE NEGEV No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 100K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto The proposed project addresses the emerging need for efficient resource utilization in embedded control software. The main objective is to combine control theory and scheduling theory in such a way as to remove the need for strict requirements on hard deadlines for control software components without compromising the ability to use them in safety-critical applications. To this end, I will conduct research on interfaces for components of software control systems that allow integration of dynamic scheduling mechanisms in safety-critical systems by providing formal performance and stability guarantees. The main benefit that we can expect from dynamic scheduling mechanisms is that resource utilization can be made more efficient by allowing adjustments to resource allocation in response to time varying needs. Specifically, I will study the possibility of using automata-based dynamic schedules that, I will show, give a good balance between expressivity and analyzability, thereby allowing better interface between scheduling and control. The specific research objectives are: 1) Expansion of the scope of automata-based interfaces; 2) Proposal of practical mechanisms for dynamic resource allocation in control systems; 3) Development of experimental tools for demonstrating the advantages of the new approach; 4) Contribution to formal methods and hybrid system theories. In summary, because complete co-design of control and scheduling may become prohibitively complex for most systems, I propose to develop engineering methodologies that will take into account the interaction of scheduling and control without breaking the separation of concerns between control and software engineers. Innovations and progress beyond the state the art include: 1) new links between formal languages and hybrid systems theories, 2) mathematical tools for analysis of switched and hybrid systems, 3) new methodologies for the design of efficient and reliable embedded control systems.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores