Lista de softwares para Sistemas a Eventos Discretos
Lista de ferramentas para projeto de Sistemas a Eventos Discretos:
- TCT: é uma poderosa ferramenta com diversos algoritmos associados com W.M. Wonham. Sua desvantagem é ser um editor por linha de comando e pouco intuitivo, embora tenha processamento rápido, o que permite cálculos de supervisores complexos que outras ferramentas não suportam.
- DESUMA: integra UMDES-LIB e GIDDES e com isso possui um editor visual para os autômatos e também permite cálculos relacionados a diagnose de falhas.
- IDES: a melhor interface gráfica para representação dos autômatos e cálculo do supervisor.
- DEStool: a melhor ferramenta. Boa interface para representação dos autômatos e muitos algoritmos (inclusive relacionados com diagnóstico de falhas). Os algoritmos são providos pela libFAUDES, uma biblioteca escrita em C++ e open source (LGPL). Um recurso de grande valia é o suporte a scripts.
- Nadzoru: ferramenta um pouco custosa para poder rodar, mas com diversos diferenciais em sua interface.
Algumas ferramentas que encontrei em outras indicações, mas que não utilizei:
- DESpot: a new discrete-event system (DES) software research tool. It supports both flat projects (collection of plant and supervisor DES), and Hierarchical Interface-Based Supervisory Control (HISC) projects.
Supremica : a tool for verification and synthesis of discrete event supervisors.
