Proposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo real
Resumo: Sistemas embarcados de tempo real são sistemas restritos quanto às funcionalidades e recursos disponíveis. Nesses sistemas, requisitos temporais são tão importantes quanto requisitos funcionais. Nas fases de análise e projeto do software embarcado, um modelo analítico pode auxiliar em ativid...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1884/24292 |