Os sistemas incorporados são omnipresentes no mundo moderno. Esses sistemas são utilizados numa grande variedade de aplicações, desde os dispositivos electrónicos de consumo comuns até às aplicações automóveis e aviónicas. Uma propriedade comum a todos os sistemas incorporados é o facto de interagirem com o ambiente físico, derivando frequentemente as suas entradas do ambiente circundante. Devido aos domínios de aplicação em que esses sistemas são utilizados, o seu comportamento é frequentemente limitado por propriedades funcionais (como a relação entrada-saída) e não funcionais (como o tempo de execução ou o consumo de energia). Este facto torna o ensaio e a validação destes sistemas uma tarefa difícil.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.