Sistemas Embarcados Críticos

Verificação formal e seu papel no desenvolvimento de sistemas embarcados críticos

Sistemas embarcados estão amplamente presentes em muitas aplicações inovadoras de alta tecnologia e representam um dos mercados globais de mais rápido crescimento [1]. Tais sistemas se tornaram mais robustos e complexos e, agora, exigem processadores com vários núcleos de processamento…