1 <?xml version=
"1.0" encoding=
"utf-8"?>
2 <!DOCTYPE nta PUBLIC '-//Uppaal Team//DTD Flat System
1.1//EN' 'http://www.it.uu.se/research/group/darts/uppaal/flat-
1_2.dtd'
>
4 <declaration>// Place global declarations here.
9 <name x=
"5" y=
"5">Vessel
</name>
10 <declaration>// Place local declarations here.
</declaration>
11 <location id=
"id0" x=
"-374" y=
"-153">
12 <name x=
"-384" y=
"-187">Start
</name>
13 <label kind=
"invariant" x=
"-459" y=
"-161">t
<=
102</label>
16 <location id=
"id1" x=
"-467" y=
"8">
17 <name x=
"-552" y=
"-25">overheating
</name>
18 <label kind=
"invariant" x=
"-501" y=
"25">t' ==
0.1*t -
10.0
20 && r2' ==
1</label>
22 <location id=
"id2" x=
"-42" y=
"85">
23 <name x=
"-52" y=
"51">rod2
</name>
24 <label kind=
"invariant" x=
"-8" y=
"68">t' ==
0.1*t -
11.2
27 && t
>=
102</label>
29 <location id=
"id3" x=
"-42" y=
"-68">
30 <name x=
"-52" y=
"-102">rod1
</name>
31 <label kind=
"invariant" x=
"-17" y=
"-102">t' ==
0.1*t -
11.2
34 && t
>=
102</label>
36 <location id=
"id4" x=
"-178" y=
"8">
37 <name x=
"-238" y=
"-59">inRange
</name>
38 <label kind=
"invariant" x=
"-314" y=
"17">t' ==
0.1*t -
10.0
41 && t
>=
102
42 && t
<=
110</label>
48 <label kind=
"guard" x=
"-408" y=
"-221">t
< 102</label>
49 <label kind=
"assignment" x=
"-493" y=
"-221">t =
102,
52 <nail x=
"-433" y=
"-195"/>
53 <nail x=
"-331" y=
"-204"/>
58 <label kind=
"guard" x=
"-561" y=
"-127">t
>=
102 && r1
> 20 && r2
> 20</label>
63 <label kind=
"guard" x=
"-408" y=
"-51">t
>=
110 &&
65 && r2
<=
20</label>
66 <nail x=
"-195" y=
"8"/>
71 <label kind=
"guard" x=
"-187" y=
"178">t
>=
102 && t
<=
105</label>
72 <label kind=
"assignment" x=
"-160" y=
"161">r2 =
0</label>
73 <nail x=
"-42" y=
"161"/>
74 <nail x=
"-178" y=
"161"/>
79 <label kind=
"guard" x=
"-136" y=
"8">t
>=
110 && r2
> 20</label>
84 <label kind=
"guard" x=
"-160" y=
"-178">t
>=
102 && t
<=
105</label>
85 <label kind=
"assignment" x=
"-153" y=
"-161">r1 =
0</label>
86 <nail x=
"-42" y=
"-144"/>
87 <nail x=
"-178" y=
"-144"/>
92 <label kind=
"guard" x=
"-136" y=
"-17">t
>=
110 && r1
> 20</label>
95 <system>// Place template instantiations here.
96 // List one or more processes to be composed into a system.
102 <formula>Pr [
<=
100] (
<> v.overheating)
108 <formula>simulate
5 [
<=
100] { t }