Using executable assertions for runtime fault detection in a model-based software development approach.
The impressive technological evolution observed in the last years has as its main engine the computer. Among many possible applications for this notable machine, the Embedded Computer Systems (ECS) are of great relevance. The number of critical ECS, i.e., whose failure results in catastrophic conseq...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | English |
| Published: |
Instituto Tecnológico de Aeronáutica
2007
|
| Subjects: | |
| Online Access: | http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1035 |