Verificação automatizada de sistemas de tempo real criticos
Autor(a) principal: | |
---|---|
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:RCAAP2024-11-27T12:12:52Zoai:ubibliorum.ubi.pt:10400.6/3728Portal AgregadorONGhttps://www.rcaap.pt/oai/openairemluisa.alvim@gmail.comopendoar:71602024-11-27T12:12:52Repositó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 |
mluisa.alvim@gmail.com |
_version_ |
1817549597166272512 |