Monitoring and diagnosis of complex systems is a challenging problem for design R-T embedded systems and has recently attracted considerable research efforts. The paper deals with the fault detection and identification by tool of timed automata.
Monitoring and diagnosis of complex systems is a challenging problem for design R-T embedded systems and has recently attracted considerable research efforts. The paper deals with the fault detection and identification by tool of timed automata. (en)
Monitoring a diagnostika koplexnich systémů je výzvou pro návrh vestavěných řídicích systémů reálného času a je předmětem stávajícího výzkumu . Příspěvek pojednává o metodě detekce chyb (fault detection), vycházející z popisu systému konečnými automaty, zohledňujícími i čas. (cs)