Dyretiva: um método para a verificação das restrições temporais em sistemas embarcados
The Dyretiva is a method used for verifying the time constraints of embedded realtime systems. The verification is performed by monitoring the embedded software when it is running in an embedded hardware. The Dyretiva method takes into account the resource constrained nature of embedded systems and...
Autor principal: | Cadamuro Junior, João |
---|---|
Formato: | Tese |
Idioma: | Português |
Publicado em: |
Universidade Tecnológica Federal do Paraná
2010
|
Assuntos: | |
Acesso em linha: |
http://repositorio.utfpr.edu.br/jspui/handle/1/93 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|