Verificação automatizada de sistemas de tempo real criticos

Detalhes bibliográficos
Autor(a) principal: Carvalho, Joel Silva
Data de Publicação: 2009
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10400.6/3728
Resumo: A miniaturização das componentes electrónicas permite que os sistemas computacionais tenham uma proliferação acelerada. Estes sistemas estão integrados nos mais diversos meios, por exemplo, no cartão do cidadão, nos telemóveis, nos automóveis, nos aviões, entre outros. Novas exigências surgem com a evolução destes sistemas computacionais. De facto,acapacidadedeprocessamento,porsisó,jánãoésuficienteparaopreenchimento de todos os requisitos industriais. Nos sistemas críticos a segurança e a fiabilidade são os aspectos fundamentais. Apesar de ser importante, não basta reunir condições técnicas para executar um dado conjunto de tarefas num sistema, é preciso que o sistema(como um todo) execute correctamente essas tarefas(cap. 2).
id RCAP_d6121a51d9e4608d42bf2388d43b04ec
oai_identifier_str oai:ubibliorum.ubi.pt:10400.6/3728
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Verificação automatizada de sistemas de tempo real criticosSistemas de tempo real - Verificação automáticaSistemas de tempo real - Linguagens de programaçãoSistemas de tempo real - Mecanismos de verificaçãoSistemas de autómatosA miniaturização das componentes electrónicas permite que os sistemas computacionais tenham uma proliferação acelerada. Estes sistemas estão integrados nos mais diversos meios, por exemplo, no cartão do cidadão, nos telemóveis, nos automóveis, nos aviões, entre outros. Novas exigências surgem com a evolução destes sistemas computacionais. De facto,acapacidadedeprocessamento,porsisó,jánãoésuficienteparaopreenchimento de todos os requisitos industriais. Nos sistemas críticos a segurança e a fiabilidade são os aspectos fundamentais. Apesar de ser importante, não basta reunir condições técnicas para executar um dado conjunto de tarefas num sistema, é preciso que o sistema(como um todo) execute correctamente essas tarefas(cap. 2).Sousa, Simão Patrício Melo deuBibliorumCarvalho, Joel Silva2015-07-16T09:42:02Z200920092009-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10400.6/3728porinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-12-15T09:40:13Zoai:ubibliorum.ubi.pt:10400.6/3728Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T00:45:05.852314Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Verificação automatizada de sistemas de tempo real criticos
title Verificação automatizada de sistemas de tempo real criticos
spellingShingle Verificação automatizada de sistemas de tempo real criticos
Carvalho, Joel Silva
Sistemas de tempo real - Verificação automática
Sistemas de tempo real - Linguagens de programação
Sistemas de tempo real - Mecanismos de verificação
Sistemas de autómatos
title_short Verificação automatizada de sistemas de tempo real criticos
title_full Verificação automatizada de sistemas de tempo real criticos
title_fullStr Verificação automatizada de sistemas de tempo real criticos
title_full_unstemmed Verificação automatizada de sistemas de tempo real criticos
title_sort Verificação automatizada de sistemas de tempo real criticos
author Carvalho, Joel Silva
author_facet Carvalho, Joel Silva
author_role author
dc.contributor.none.fl_str_mv Sousa, Simão Patrício Melo de
uBibliorum
dc.contributor.author.fl_str_mv Carvalho, Joel Silva
dc.subject.por.fl_str_mv Sistemas de tempo real - Verificação automática
Sistemas de tempo real - Linguagens de programação
Sistemas de tempo real - Mecanismos de verificação
Sistemas de autómatos
topic Sistemas de tempo real - Verificação automática
Sistemas de tempo real - Linguagens de programação
Sistemas de tempo real - Mecanismos de verificação
Sistemas de autómatos
description A miniaturização das componentes electrónicas permite que os sistemas computacionais tenham uma proliferação acelerada. Estes sistemas estão integrados nos mais diversos meios, por exemplo, no cartão do cidadão, nos telemóveis, nos automóveis, nos aviões, entre outros. Novas exigências surgem com a evolução destes sistemas computacionais. De facto,acapacidadedeprocessamento,porsisó,jánãoésuficienteparaopreenchimento de todos os requisitos industriais. Nos sistemas críticos a segurança e a fiabilidade são os aspectos fundamentais. Apesar de ser importante, não basta reunir condições técnicas para executar um dado conjunto de tarefas num sistema, é preciso que o sistema(como um todo) execute correctamente essas tarefas(cap. 2).
publishDate 2009
dc.date.none.fl_str_mv 2009
2009
2009-01-01T00:00:00Z
2015-07-16T09:42:02Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10400.6/3728
url http://hdl.handle.net/10400.6/3728
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799136347482488832

Registros relacionados