%PDF-1.3 5 0 obj << /S /GoTo /D (section.1) >> endobj 8 0 obj (Introduction) endobj 9 0 obj << /S /GoTo /D (section.2) >> endobj 12 0 obj (The Embedded Systems Context) endobj 13 0 obj << /S /GoTo /D (subsection.2.1) >> endobj 16 0 obj (Pecos Process) endobj 17 0 obj << /S /GoTo /D (subsection.2.2) >> endobj 20 0 obj (Field Devices) endobj 21 0 obj << /S /GoTo /D (section.3) >> endobj 24 0 obj (The Pecos Component Model) endobj 25 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 28 0 obj (Requirements) endobj 29 0 obj << /S /GoTo /D (subsection.3.2) >> endobj 32 0 obj (Model Overview) endobj 33 0 obj << /S /GoTo /D (section.4) >> endobj 36 0 obj (Checking of Non-Functional Requirements) endobj 37 0 obj << /S /GoTo /D (subsection.4.1) >> endobj 40 0 obj (Component Scheduling) endobj 41 0 obj << /S /GoTo /D (subsection.4.2) >> endobj 44 0 obj (Memory consumption) endobj 45 0 obj << /S /GoTo /D (subsection.4.3) >> endobj 48 0 obj (Possibilities for Formal Verification) endobj 49 0 obj << /S /GoTo /D (section.5) >> endobj 52 0 obj (Conclusion) endobj 53 0 obj << /S /GoTo /D (section.6) >> endobj 56 0 obj (REFERENCES ) endobj 57 0 obj << /S /GoTo /D [58 0 R /Fit ] >> endobj 60 0 obj << /Length 4280 /Filter /FlateDecode >> stream xڽZ[r~G 1db ޅw
UUH0j._Uwx_x"
8<۞~9/q={oQ<4۾nZGYj~jkN;-]{:
5Ƕ2:t<]~w R^dUx//]oNF]H'9L?.һ5$K
y]
jeUxi/uTfu*ᥟ&27,Q&_]
Sfƅ9-j,[,K/h :
Enj@t;}UĢ8xߚۊ:Kb `ddd^ PO?Dz>&~XvK]&&!J"?"aIHf\8.t"+՛Q<
|(=ö:pQo6h磍Ѿm.^/+
\4(?}yUzeDt\TxN#lPBG3m!BJUT鶶~r}\4R5Okyj%. ә2Pw)VT]Ivi q(-Dt8ߖU0Se?}4Ӕe#SlqYa[q7{eVi$|e|n.EثcoE6٦D,oĭ |
}I~!ݼAȮoFOu~AWޭ~r~˷.(aŔ5sSK4Hݫ`)+ɢ"''.skԗ
KD';,b(._ҽ
-ep=c H͠7"c)T
r =:uװy7ugcu EfaGęQCz]b[vT)nf)33tКzrR1%+$,L8Z*^)"lƬ:s|i&*bg*i)Mxz|
TPǺ1$fOq=sX| &j~k&hD꽇X,mk,Ks ^i$v|vAFU5RN31r9M$E$yu#FЃ$&S$
\ [yHw/aK"$ yTsfOZo9>"Qo2> DU2ԛ[:"$ #tGYqz@[isVŸEGY|aN2;E.e9i
eThۍfpo<):dzX&1PWeN.6()Ɠ|r
v[wdGl܍bo^+EΦ%j$j{`[W.Z؆^Jٷy\*WyZޘR.t48Z;0Q8xL7W>y81ζ'uJ6jKE\ vW1]̎ZAc_^XEi@''gyn{f?{#\F1dc}@UtSA'c>8bZt2$jӄvUTRq)F9:i?xH44ӱ)K"ZI|Rv/KoX.X}]rZ]JͲ /C͏3n^t