Estudo do sistema de fecho automático de portas

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.