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

SPHINX

Financiado

Cerrado

A Co Evolution Framework for Model Refactoring and Proof Adaptation in Cyber Phy...

A Co Evolution Framework for Model Refactoring and Proof Adaptation in Cyber Physical Systems Computers that control physical processes, thus forming so-called cyber-physical systems (CPS), are today pervasively embedded into our lives. Advances in CPSs are the basis for creating environments of smart mobility, smart energ... ver más

29/04/2016

JOHANNES KEPLER UN...

183K€

Presupuesto del proyecto: 183K€

Líder del proyecto

UNIVERSITAT LINZ 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 2016-04-29 No tenemos la información de la convocatoria

0% 100%

Información adicional privada

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

1 Participantes

JOHANNES KEPLER UNIVERSITAT...

0.00€ | Lider

Proyectos interesantes

PCI2021-121973

Software

Cybersecurity

149K€ Cerrado

CPSELabs

Software

Cybersecurity

8M€ Cerrado

AMADEOS

Software

Cybersecurity

3M€ Cerrado

Platforms4CPS

Software

Cybersecurity

999K€ Cerrado

LASSO

Cybersecurity

Software

2M€ Cerrado

CPSoSaware

Software

Cybersecurity

5M€ 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

UNIVERSITAT LINZ No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 183K€

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

Descripción del proyecto Computers that control physical processes, thus forming so-called cyber-physical systems (CPS), are today pervasively embedded into our lives. Advances in CPSs are the basis for creating environments of smart mobility, smart energy grids, telemedicine, and intelligent manufacturing. These efforts have been identified as important themes on the research agenda of the 7th Framework Programme for Research and Technological Development of the EU. The key challenge in engineering CPSs is the question of how to ensure their correct functioning in order to avoid incorrect control decisions w.r.t. safety requirements. This overall challenge is even more aggravated by the fact that evolution is inherent to engineering CPSs due to incremental development. For example, common practice is to start with a simple CPS model, prove its correctness in a typically laborious process, and incrementally extend the model to better reflect the real-world CPS (i.e., refactor the model while ensuring preservation of safety constraints). In order to address this challenge, especially promising techniques seem to be model-driven engineering to incrementally develop CPSs and formal verification to prove their correctness, together forming the vision of verification-driven engineering. An especially urging research question in verification-driven engineering is how to keep proofs up-to-date when models evolve. The vision of the Sphinx project is to address this question by providing a framework supporting model refactoring and proof adaptation for CPSs, dealing in particular with three research objectives: First, support modeling and refactoring of CPSs, especially w.r.t. an extensible library of semi-automated model refactoring operations. Second, identify an initial set of refactorings and proof adaptations by incrementally building models and proofs of real-world CPSs. Third, provide an extensible library of proof adaptations, including proof recommendation techniques.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores