Publication
Verificação automatizada de sistemas de tempo real criticos
| dc.contributor.advisor | Sousa, Simão Patrício Melo de | |
| dc.contributor.author | Carvalho, Joel Silva | |
| dc.date.accessioned | 2015-07-16T09:42:02Z | |
| dc.date.available | 2015-07-16T09:42:02Z | |
| dc.date.issued | 2009 | |
| dc.date.submitted | 2009 | |
| dc.description.abstract | 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). | |
| dc.identifier.uri | http://hdl.handle.net/10400.6/3728 | |
| dc.language.iso | por | por |
| dc.subject | Sistemas de tempo real - Verificação automática | por |
| dc.subject | Sistemas de tempo real - Linguagens de programação | por |
| dc.subject | Sistemas de tempo real - Mecanismos de verificação | por |
| dc.subject | Sistemas de autómatos | por |
| dc.title | Verificação automatizada de sistemas de tempo real criticos | por |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| rcaap.rights | openAccess | por |
| rcaap.type | masterThesis | por |
| thesis.degree.discipline | Engenharia Informática | por |
| thesis.degree.level | Mestre | por |
| thesis.degree.name | Dissertação apresentada à Universidade da Beira Interior para a obtenção do grau de mestre em Engenharia Informática | por |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- DissertacaoJoelCarvalho.pdf
- Size:
- 1.79 MB
- Format:
- Adobe Portable Document Format
- Description:
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: