Go to:
Logótipo
Você está em: Start > Project/Service Agreement:NORTE-01-0124-FEDER-000062

Project/Service Agreement:NORTE-01-0124-FEDER-000062

Start Approved In Progress Completed Closed

Status
Estado ConcluídoCompleted
Publication
PublicadoPublished
General Data
Code: 67066
 
Reference: NORTE-01-0124-FEDER-000062
Short name: BEST CASE-RL8-REALTIME
Title: Languages and tools for critical real time systems
Competitive Funding: Yes
Does it involve businesses?:
No. of Participating Institutions: 3
Scope
Type: Funded Project
 
Geographical Scope: National
 
Type of Action: R&TD
Funding
Programme: Programa Operacional Regional do Norte (ON.2)
Sub-Programme: PIIC&DT - Programas Integrados de IC&DT
Funding Institution: Autoridade de Gestão do Programa Operacional Regional do Norte
Financial Geographical Scope: National
Scheduling
Effective Start Date: 2013-01-01
Expected Completion Date: 2015-06-30
Effective Completion Date: 2015-06-30
Budget
Currency: EUR
 
Total Approved Budget: 402.049,30 EUR
Details
Summary: This project addresses the key challenges faced by next-generation trustworthy real-time embedded systems (TRES). The standing point of this proposal is that the usefulness of formal methods (understood as the use of mathematical modelling.
Scientific Context
Scientific Domain (FOS - Level 2): Natural sciences > Mathematics

Academic fields (CORDIS - Level 5)

  • Physical sciences > Mathematics > Applied mathematics > Engineering mathematics

Keywords

  • Code Generation
  • Compiler Optimizations
  • Compilers
  • Debug
  • Embedded Systems
  • Fault Identification and Localization
  • Real-Time Systems
Documents
Mais informações There are no Documents associated with the Project.

Publications associated with the Project

Institutions Participating in the Project
Institution Contact Create Tab?
Name Short name Country Type Participation Name Telephone Email
Universidade do Minho UM Portugal University Proponent Cristina Ferreira 253 604 465 cristina@di.uminho.pt
Faculdade de Ciências da Universidade do Porto FCUP Portugal University Partner Ulisses Martins 220 408 568 ulisses@sp.up.pt
Faculdade de Engenharia da Universidade do Porto FEUP Portugal University Partner Diana Silva 220 413 525 projetos@fe.up.pt
 
Budgets and Teams
Approved Budget: 147.878,64 EUR
Approved Funded Amount: 136.787,72 EUR
Approved co-funded Amount: 11.090,92 EUR
Funding Rate: 92,5 %
Confidential Budget:

People in the Project

Institution Name Short name Role Dedication (%) Contribution (%) Allocation
Start date End date
FEUP João Carlos Viegas Martins Bispo JBispo Grant recipient 100 2013-07-01 2015-06-30
FEUP João Manuel Paiva Cardoso JMPC Official Researcher at the OU 12 45 2013-01-01 2015-06-30
FEUP Jorge Filipe da Silva Costa JFSC Grant recipient 0 2014-07-18 2015-06-30
FEUP José Carlos dos Santos Alves JCA Researcher 5 20 2013-01-01 2015-06-30
FEUP Nicolas Francisco Lori NFL Grant recipient 100 2015-04-07 2015-06-30
FEUP Nima Shafii Grant recipient 0 2015-04-07 2015-06-30
FEUP Paulo André Faria de Freitas PAFF Grant recipient 100 2015-03-20 2015-06-30
FEUP Pedro Miguel dos Santos Pinto PMSP Grant recipient 100 2015-03-23 2015-06-30
FEUP Rui Filipe Lima Maranhão de Abreu rma Researcher 12 35 2013-01-01 2015-06-30
FEUP Tiago Bluemel Cardoso TBC Grant recipient 100 2014-10-01 2014-12-31
FEUP Tiago Coelho dos Santos TCS Grant recipient 100 2015-04-07 2015-06-30
FEUP Tiago Filipe Ferreira da Costa TFFC Grant recipient 100 2015-03-20 2015-06-30

Technicians in the Project

Technician Contact
SPUP 506618 Diana Filipa de Barros Leite e Silva
Laboratories
Mais informações There are no Laboratories associated with the Project.
Budgets and Teams
Approved Budget: 100.301,00 EUR
Approved Funded Amount: 92.778,43 EUR
Approved co-funded Amount: 7.522,57 EUR
Funding Rate: 92,5 %
Confidential Budget:

People in the Project

Institution Name Short name Role Dedication (%) Contribution (%) Allocation
Start date End date
FCUP Carlos Jorge Velez Mão de Ferro CJVMF Grant recipient 100 0 2014-02-13 2014-07-12
FCUP Edgard Quirino dos Santos Neto EQSN Grant recipient 100 0 2013-10-08 2014-08-31
FCUP Fernando Manuel Augusto da Silva FMAS Researcher 3 0 2013-01-01 2015-06-30
FCUP Luís Miguel Barros Lopes LMBL Official Researcher at the OU 12 0 2013-01-01 2015-06-30
FCUP Marco Giunti MG Grant recipient 100 0 2014-03-17 2014-09-16
FCUP Susana Carla Cunha Amorim de Almeida SCCAA Technician 8 0 2013-01-01 2015-06-30
SPUP Hugo Renato Coelho Serra HRCS Technician 0 0
SPUP Ulisses Daniel da Silva Martins USM Technician 0 0

Technicians in the Project

Mais informações There are no Technicians associated with the Project.
Laboratories
Mais informações There are no Laboratories associated with the Project.
Recommend this page Top
Copyright 1996-2024 © Faculdade de Desporto da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2024-09-17 at 22:00:15 | Acceptable Use Policy | Data Protection Policy | Complaint Portal