System and method for developing software utilizing determinative representations
US6880147B1 · kind B1 · utility
29Cited by
14References
8Claims
0Family size
Assignee
Inventor
Key dates
| Filing date | Sep 7, 2000 |
| Grant date | Apr 12, 2005 |
| Priority date | — |
| Expiry date | Jul 23, 2021 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/10
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A statechart includes a state having two or more parallel states. The two or more parallel states are ordered to ensure determinism for the system. The statecharts can be modified Harel statecharts. The statecharts can be utilized to generate avionics software.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.