RealtimeStatechart de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin 1 0 0 UML-Real-Time Plug-In de.upb.fujaba.umlrt.UMLRTPlugin 2 0 0 CppCodeGenerator de.upb.fujaba.umlrt.CppCodeGenerator 1 0 0 EmbeddedStoryDiagramExtension de.uni_paderborn.fujaba.umlrt.esde.EmbeddedStoryDiagramExtensionPlugin 2 0 0 GTSPlugin de.upb.GTSPlugin.GXLExportPlugin 1 1 0 HybridComponent de.upb.fujaba.umlrt.hybridcomponent.HybridComponentPlugin 0 1 0 HybridModelChecking de.upb.fujaba.umlrt.hybridmodelchecking.HybridModelCheckingPlugin 0 1 0 InvariantChecking PlugIn de.uni_paderborn.fujaba.invariantchecking.InvariantCheckingPlugin 0 2 0 UppaalPlugin de.upb.fujaba.umlrt.modelchecking.UppaalPlugin 1 0 0 UMLModelchecking de.upb.fujaba.umlrt.umlmodelchecking.UMLModelchecking 1 0 0 de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 0 100 false true plugins/RealtimeStatechart/wcet.xml 1.0 0 plugins/RealtimeStatechart/schedule.xml -1 id64 test_clock id140 id65 id66 id65 id67 id68 id141 id142 id69 id70 id143 id144 id145 false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClock de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 test_clock id148 id149 id150 id151 id152 id153 false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLComplexRealtimeState de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 state3 id39 id143 id144 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLComplexRealtimeState de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 id116 id155 id156 id157 id140 id149 state4 id39 id144 id145 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 0 true 1 2state2_state3 id141 id68 id39 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 0 true 1 3state3_state4 id142 id141 id39 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 0 true guard 1 4state4_state2 id161 id68 id142 id39 id140 id152 id140 id151 id153 id162 id163 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLInvariantAtom de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 false id167 true id140 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLInvariantAtom de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 id142 false id168 true test id140 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLDeadlineAtom de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 2 action false id169 true id140 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLDeadlineAtom de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 2 action id145 false id170 true id140 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLTimeguardAtom de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 1 timeguard id145 false id171 true id140 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClockResetAtom de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 test_clock id140 id145 false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 UMLRealtimeAction6 do 1 5 5 true true 0 do false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 UMLRealtimeAction5 entry 0 0 1 true true 0 entry false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 UMLRealtimeAction7 exit 0 0 1 true true 0 exit false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeAction de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 UMLRealtimeAction10 0 0 1 true param true 0 id145 action false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeEvent de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 event_test id145 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeEvent de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 raised_event_test id145 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 9223372036854775807 true false de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 20 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 9223372036854775807 true false de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 20 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 100 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClock de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 -1 id146 id147 false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStartState de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 0 id39 START id39 id69 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStartState de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 0 InitialState id39 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStopState de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 State1 id39 id70 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLComplexRealtimeState de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 state2 id39 id69 id145 id70 id143 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 0 true 1 0State0_state2 id68 id65 id39 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeTransition de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 0 true 1 1state2_State1 id67 id68 id39 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLRealtimeStatechart de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 1 100 id116 false false plugins/RealtimeStatechart/wcet.xml 1.0 0 plugins/RealtimeStatechart/schedule.xml -1 id180 id142 false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLInvariantAtom de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 false id165 true id64 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLInvariantAtom de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 false id166 true test id64 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 9223372036854775807 true false de.uni_paderborn.fujaba.umlrt.realtimestatechart.gui.NaturalNumber de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 10 false false de.uni_paderborn.fujaba.umlrt.realtimestatechart.UMLClock de.uni_paderborn.fujaba.umlrt.realtimestatechart.RealtimeStatechartPlugin de.uni_paderborn.lib.classloader.UPBClassLoader@106082 -1 false