Update.
first commit
removed garbage from project
Initial Directory. Beginning metric listener "Listener.java."
Huge Refactor: renaming and extract method
Listener re-tooled to pick up only active inputs, enabled transitions,
and transition durations. Builder produces correctly formatted csv file
text. Printer prints text to file.
Now printing csv files for non-deterministic runs on the simulator.
JTRs are now matching the OldWiSARTeam. Implemented modelChecking with
the simulator.
Issue with handling commands to land when dealing with the UAV having a
crashed transition even when the UAV isn't set to crash for another 100
time steps, and the command to land will terminate in less than that
time. (issue with priorities and durations on perisitent durations)
Fixed an issue in the interpreter, also made it so the first state in a
JTR file is the start state of the class.
fixed the issue where the operator wouldn't land the plane before the
battery failed.
added UAVFlightPlan into the mix. An output isn't deasserting though,
not ready to merge with master.
Got the flight plan to respond correctly to take offs and landings,
still needs to handle reduction in time due to previous flights.
added the beginning functionality for persistent durations.
Fixed errors. They drive me cray-cray sometimes, alright?
added actor name to asserts when checking actor variables (memory)
Integrated DURATION into the simulator.
The System can now handle a flight plan that extends over several
battery life spans.(UAV has to land twice during execution of a flight
plan). Durations can now be persistent.
Made a format for persistent transitions. Made the Interpreter recognize
the new format as a correct one.
The Interpreter correctly handles translating the new persistent
transitions.