code-generation - moore - maquinas de estado electronica digital
Editor gráfico de máquina de estados finitos (10)
Estoy buscando un editor de FSM gráfico sofisticado que pueda exportar un modelo en un formato de salida bien documentado, como SCXML o similar.
¿Alguien puede recomendarme una herramienta?
¡Visite http://madebyevan.com/fsm/ es bastante fácil de usar e incluso produce LaTeX!
Apenas ahora estoy empezando a ver YAKINDU . Parece que podría ser una gran herramienta FSM gráfica construida sobre el marco de Eclipse, y tiene generación de código automático (IIUC) para el gráfico de estado.
Encontré este software bastante interesante
DRAKON es un lenguaje visual para especificaciones del programa espacial ruso. DRAKON se utiliza para capturar requisitos y crear software que controle naves espaciales.
http://drakon-editor.sourceforge.net/
Es un software avanzado. Puede generar ERlang, así como muchos otros idiomas, código de máquina de estado. http://drakon-editor.sourceforge.net/erlang_auto.html
Es gratis / OSX / Windows
.
Esto puede funcionar para usted: fsme
es un poco viejo, pero mejor intentarlo;)
Hay un constructor de IU simple para gráficos scxml disponible en el código de google. Intente aquí This
Parece ser bastante activo
La herramienta QM disponible aquí http://www.state-machine.com/qm/index.php es un buen editor de código y generador de código UML, que genera código C / C ++, pero para kernels QP.
No estoy seguro de si esto es exactamente lo que está buscando, pero como no hay demasiadas respuestas a su pregunta, lo lanzaré allí. Ragel es un compilador de máquina de estado finito que generará C / C ++ / Java y más. No es visual per se (no se puede diseñar gráficamente la máquina de estados, se usa el código), pero se puede usar GraphViz para visualizar la máquina de estados.
Si desea generar código (C ++ o Python), fsme hace un muy buen trabajo. Lo he usado con éxito para crear una serie de máquinas de estado muy complejas, y lo usaría de nuevo para algo similar.
puede utilizar Stateflow para dibujar y simular máquinas de estados gráficas. También proporciona una interfaz para crear tablas de transición de estado. El modelo puede luego exportarse como informes html y puede emitir código C / C ++ para su implementación.
This proyecto parece ser acertado, pero no estoy seguro sobre el estado ...