System and method for developing software utilizing determinative representations
First Claim
Patent Images
1. A statechart system for use in the development of avionic software, the avionic software requiring deterministic behavior, the statechart system comprising:
- a statechart stored on a computer readable medium, the statechart comprising;
a first state;
a second state; and
a third state, the third state including the first state and the second state, the first state being parallel to and simultaneously active with the second state when the third state is active, wherein the first state is ordered with respect to the second state, whereby the statechart does not allow parallel states to be unordered to ensure the deterministic behavior of the statechart.
1 Assignment
0 Petitions
Accused Products
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.
68 Citations
8 Claims
-
1. A statechart system for use in the development of avionic software, the avionic software requiring deterministic behavior, the statechart system comprising:
a statechart stored on a computer readable medium, the statechart comprising;
a first state;
a second state; and
a third state, the third state including the first state and the second state, the first state being parallel to and simultaneously active with the second state when the third state is active, wherein the first state is ordered with respect to the second state, whereby the statechart does not allow parallel states to be unordered to ensure the deterministic behavior of the statechart. - View Dependent Claims (2, 3, 4)
-
5. A modified Harel statechart system formed on a computer, the modified Harel statechart system comprising:
a modified Harel statechart formed on a computer, the modified Harel statechart including a mathematical representation of a group of states, the group of states including a first state including a plurality of ordered parallel states that are simultaneously active when the first state is active, the mathematical representation ensuring deterministic operation. - View Dependent Claims (6)
-
7. A method of providing avionic software, the method comprising:
-
providing a graphical representation of a state including a plurality of parallel states, the parallel states being ordered with respect to each other and simultaneously active when the state is active, the parallel states being ordered so that only one of a plurality of substate states of the parallel, simultaneously active states is active in response to a particular event; and
applying the mathematical representation to an execution engine to create the avionics software. - View Dependent Claims (8)
-
Specification