Saltar para:
Logótipo
Você está em: Início > Projetos > Projeto/Contrato PS:NORTE-01-0124-FEDER-000062

Projeto/Contrato PS:NORTE-01-0124-FEDER-000062

Início Aprovado Em Curso Concluído Encerrado

Estado
Estado ConcluídoConcluído
Publicação
PublicadoPublicado
Dados Gerais
Código: 67066
 
Referência: NORTE-01-0124-FEDER-000062
Nome Curto: BESTCASE-RL8-REALTIME
Título: Languages and tools for critical real time systems
Financiamento Competitivo: Sim
Envolve empresas?:
Nº de Instituições Participantes: 3
Âmbito
Tipo: Projeto Financiado
 
Âmbito Geográfico: Nacional
 
Tipo de Ação: I&DT
Financiamento
Programa: Programa Operacional Regional do Norte (ON.2)
Sub-Programa: PIIC&DT - Programas Integrados de IC&DT
Instituição Financiadora: Autoridade de Gestão do Programa Operacional Regional do Norte
Âmbito Geográfico Financeiro: Nacional
Calendarização
Data de Início Efetivo: 2013-01-01
Data de Conclusão Prevista: 2015-06-30
Data de Conclusão Efetiva: 2015-06-30
Orçamento
Moeda: EUR
 
Orçamento Global Aprovado: 402.049,30 EUR
Detalhes
Resumo: 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.
Enquadramento Científico
Domínio Científico (FOS - Nível 2): Ciências exactas e naturais > Matemática

Áreas Científicas (CORDIS - Nível 5)

  • Ciências Físicas > Matemática > Matemática aplicada > Matemática para a engenharia

Palavras Chave

  • Code Generation
  • Compiler Optimizations
  • Compilers
  • Debug
  • Embedded Systems
  • Fault Identification and Localization
  • Real-Time Systems
Documentos
Mais informações Não existem Documentos associados ao Projeto.

Publicações associados ao Projeto

Instituições Participantes no Projeto
Instituição Contacto Criar Tab?
Nome Nome Curto País Tipo Participação Nome Telefone Email
Universidade do Minho UM Portugal Universidade Proponente Cristina Ferreira 253 604 465 cristina@di.uminho.pt
Faculdade de Ciências da Universidade do Porto FCUP Portugal Universidade Parceiro Ulisses Martins 220 408 568 ulisses@sp.up.pt
Faculdade de Engenharia da Universidade do Porto FEUP Portugal Universidade Parceiro Diana Silva 220 413 525 projetos@fe.up.pt
 
Orçamentos e Equipas
Orçamento Aprovado: 147.878,64 EUR
Valor Financiado Aprovado: 136.787,72 EUR
Valor co-financiado Aprovado: 11.090,92 EUR
Taxa de Financiamento: 92,5 %
Orçamento Confidencial:

Pessoas no Projeto

Instituição Nome Nome Curto Função Dedicação (%) Contribuição (%) Afetação
Data de Início Data de Fim
FEUP João Carlos Viegas Martins Bispo JBispo Bolseiro 100 2013-07-01 2015-06-30
FEUP João Manuel Paiva Cardoso JMPC Investigador Responsável na UO 12 45 2013-01-01 2015-06-30
FEUP Jorge Filipe da Silva Costa JFSC Bolseiro 0 2014-07-18 2015-06-30
FEUP José Carlos dos Santos Alves JCA Investigador 5 20 2013-01-01 2015-06-30
FEUP Nicolas Francisco Lori NFL Bolseiro 100 2015-04-07 2015-06-30
FEUP Nima Shafii Bolseiro 0 2015-04-07 2015-06-30
FEUP Paulo André Faria de Freitas PAFF Bolseiro 100 2015-03-20 2015-06-30
FEUP Pedro Miguel dos Santos Pinto PMSP Bolseiro 100 2015-03-23 2015-06-30
FEUP Rui Filipe Lima Maranhão de Abreu rma Investigador 12 35 2013-01-01 2015-06-30
FEUP Tiago Bluemel Cardoso TBC Bolseiro 100 2014-10-01 2014-12-31
FEUP Tiago Coelho dos Santos TCS Bolseiro 100 2015-04-07 2015-06-30
FEUP Tiago Filipe Ferreira da Costa TFFC Bolseiro 100 2015-03-20 2015-06-30

Técnicos no Projeto

Técnico Contacto
SPUP 506618 Diana Filipa de Barros Leite e Silva
Laboratórios
Mais informações Não existem Laboratórios associados ao Projeto.
Orçamentos e Equipas
Orçamento Aprovado: 100.301,00 EUR
Valor Financiado Aprovado: 92.778,43 EUR
Valor co-financiado Aprovado: 7.522,57 EUR
Taxa de Financiamento: 92,5 %
Orçamento Confidencial:

Pessoas no Projeto

Instituição Nome Nome Curto Função Dedicação (%) Contribuição (%) Afetação
Data de Início Data de Fim
FCUP Carlos Jorge Velez Mão de Ferro CJVMF Bolseiro 100 0 2014-02-13 2014-07-12
FCUP Edgard Quirino dos Santos Neto EQSN Bolseiro 100 0 2013-10-08 2014-08-31
FCUP Fernando Manuel Augusto da Silva FMAS Investigador 3 0 2013-01-01 2015-06-30
FCUP Luís Miguel Barros Lopes LMBL Investigador Responsável na UO 12 0 2013-01-01 2015-06-30
FCUP Marco Giunti MG Bolseiro 100 0 2014-03-17 2014-09-16
FCUP Susana Carla Cunha Amorim de Almeida SCCAA Técnico 8 0 2013-01-01 2015-06-30
SPUP Hugo Renato Coelho Serra HRCS Técnico 0 0
SPUP Ulisses Daniel da Silva Martins USM Técnico 0 0

Técnicos no Projeto

Mais informações Não existem Técnicos associadas ao Projeto.
Laboratórios
Mais informações Não existem Laboratórios associados ao Projeto.
Recomendar Página Voltar ao Topo
Copyright 1996-2023 © Faculdade de Engenharia da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2023-02-04 às 19:34:00 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias