发明名称 |
Semantic translation of stateflow diagrams into input/output extended finite automata and automated test generation for simulink/stateflow diagrams |
摘要 |
A method of translation of a chart associated with a graphical modeling environment into an input/output-extended finite automata (I/O-EFA) model is provided. The method includes receiving a representation of the chart and processing the representation of the chart with a computing device by (a) representing atomic models for each individual state of the chart, (b) applying composition rules to interconnect the atomic models while preserving state execution and transition behaviors to obtain the I/O-EFA model. |
申请公布号 |
US8849626(B1) |
申请公布日期 |
2014.09.30 |
申请号 |
US201213538472 |
申请日期 |
2012.06.29 |
申请人 |
Iowa State University Research Foundation, Inc. |
发明人 |
Kumar Ratnesh;Li Meng |
分类号 |
G06F17/50 |
主分类号 |
G06F17/50 |
代理机构 |
McKee, Voorhees & Sease |
代理人 |
McKee, Voorhees & Sease |
主权项 |
1. A method of translation of a chart associated with a graphical modeling environment into an input/output-extended finite automata (I/O-EFA) model, the method comprising:
receiving a representation of the chart; processing the representation of the chart with a computing device by (a) representing atomic models for each individual state of the chart, (b) applying composition rules to interconnect the atomic models while preserving state execution and transition behaviors to obtain the I/O-EFA model. |
地址 |
Ames IA US |