15607 lines
740 KiB
15607 lines
740 KiB
%PDF-1.7
|
||||
|
|
%ÐÔÅØ
|
|||
|
|
2 0 obj
|
|||
|
|
<< /S /GoTo /D (chapter.1) >>
|
|||
|
|
endobj
|
|||
|
|
5 0 obj
|
|||
|
|
(1 Introduction)
|
|||
|
|
endobj
|
|||
|
|
6 0 obj
|
|||
|
|
<< /S /GoTo /D (section.1.1) >>
|
|||
|
|
endobj
|
|||
|
|
9 0 obj
|
|||
|
|
(1.1 Objective)
|
|||
|
|
endobj
|
|||
|
|
10 0 obj
|
|||
|
|
<< /S /GoTo /D (section.1.2) >>
|
|||
|
|
endobj
|
|||
|
|
13 0 obj
|
|||
|
|
(1.2 Goal)
|
|||
|
|
endobj
|
|||
|
|
14 0 obj
|
|||
|
|
<< /S /GoTo /D (section.1.3) >>
|
|||
|
|
endobj
|
|||
|
|
17 0 obj
|
|||
|
|
(1.3 Motivation)
|
|||
|
|
endobj
|
|||
|
|
18 0 obj
|
|||
|
|
<< /S /GoTo /D (section.1.4) >>
|
|||
|
|
endobj
|
|||
|
|
21 0 obj
|
|||
|
|
(1.4 Integration Method)
|
|||
|
|
endobj
|
|||
|
|
22 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.4.1) >>
|
|||
|
|
endobj
|
|||
|
|
25 0 obj
|
|||
|
|
(1.4.1 Integrated System Description as AUTOSAR SWC Description)
|
|||
|
|
endobj
|
|||
|
|
26 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.4.2) >>
|
|||
|
|
endobj
|
|||
|
|
29 0 obj
|
|||
|
|
(1.4.2 Integrated System Description as Franca Model)
|
|||
|
|
endobj
|
|||
|
|
30 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.4.3) >>
|
|||
|
|
endobj
|
|||
|
|
33 0 obj
|
|||
|
|
(1.4.3 Complete View)
|
|||
|
|
endobj
|
|||
|
|
34 0 obj
|
|||
|
|
<< /S /GoTo /D (section.1.5) >>
|
|||
|
|
endobj
|
|||
|
|
37 0 obj
|
|||
|
|
(1.5 Limitations and Extensions)
|
|||
|
|
endobj
|
|||
|
|
38 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.5.1) >>
|
|||
|
|
endobj
|
|||
|
|
41 0 obj
|
|||
|
|
(1.5.1 Dynamic Communication)
|
|||
|
|
endobj
|
|||
|
|
42 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.5.2) >>
|
|||
|
|
endobj
|
|||
|
|
45 0 obj
|
|||
|
|
(1.5.2 RTE Contract and RTE Generation)
|
|||
|
|
endobj
|
|||
|
|
46 0 obj
|
|||
|
|
<< /S /GoTo /D (chapter.2) >>
|
|||
|
|
endobj
|
|||
|
|
49 0 obj
|
|||
|
|
(2 Franca Connector)
|
|||
|
|
endobj
|
|||
|
|
50 0 obj
|
|||
|
|
<< /S /GoTo /D (section.2.1) >>
|
|||
|
|
endobj
|
|||
|
|
53 0 obj
|
|||
|
|
(2.1 Imports and Franca Instances)
|
|||
|
|
endobj
|
|||
|
|
54 0 obj
|
|||
|
|
<< /S /GoTo /D (section.2.2) >>
|
|||
|
|
endobj
|
|||
|
|
57 0 obj
|
|||
|
|
(2.2 Links)
|
|||
|
|
endobj
|
|||
|
|
58 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.2.2.1) >>
|
|||
|
|
endobj
|
|||
|
|
61 0 obj
|
|||
|
|
(2.2.1 AUTOSAR-to-Franca Client Server Link)
|
|||
|
|
endobj
|
|||
|
|
62 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.2.2.2) >>
|
|||
|
|
endobj
|
|||
|
|
65 0 obj
|
|||
|
|
(2.2.2 AUTOSAR-to-Franca Sender Receiver Link)
|
|||
|
|
endobj
|
|||
|
|
66 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.2.2.3) >>
|
|||
|
|
endobj
|
|||
|
|
69 0 obj
|
|||
|
|
(2.2.3 Franca-to-AUTOSAR Client Server Link)
|
|||
|
|
endobj
|
|||
|
|
70 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.2.2.4) >>
|
|||
|
|
endobj
|
|||
|
|
73 0 obj
|
|||
|
|
(2.2.4 Franca-to-AUTOSAR Sender Receiver Link)
|
|||
|
|
endobj
|
|||
|
|
74 0 obj
|
|||
|
|
<< /S /GoTo /D (section.2.3) >>
|
|||
|
|
endobj
|
|||
|
|
77 0 obj
|
|||
|
|
(2.3 Constraints)
|
|||
|
|
endobj
|
|||
|
|
78 0 obj
|
|||
|
|
<< /S /GoTo /D (chapter.3) >>
|
|||
|
|
endobj
|
|||
|
|
81 0 obj
|
|||
|
|
(3 Franca-to-AUTOSAR Translation)
|
|||
|
|
endobj
|
|||
|
|
82 0 obj
|
|||
|
|
<< /S /GoTo /D (section.3.1) >>
|
|||
|
|
endobj
|
|||
|
|
85 0 obj
|
|||
|
|
(3.1 Notation)
|
|||
|
|
endobj
|
|||
|
|
86 0 obj
|
|||
|
|
<< /S /GoTo /D (section.3.2) >>
|
|||
|
|
endobj
|
|||
|
|
89 0 obj
|
|||
|
|
(3.2 Franca Models)
|
|||
|
|
endobj
|
|||
|
|
90 0 obj
|
|||
|
|
<< /S /GoTo /D (section.3.3) >>
|
|||
|
|
endobj
|
|||
|
|
93 0 obj
|
|||
|
|
(3.3 Franca Types)
|
|||
|
|
endobj
|
|||
|
|
94 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.3.3.1) >>
|
|||
|
|
endobj
|
|||
|
|
97 0 obj
|
|||
|
|
(3.3.1 Franca Type Collections)
|
|||
|
|
endobj
|
|||
|
|
98 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.3.3.2) >>
|
|||
|
|
endobj
|
|||
|
|
101 0 obj
|
|||
|
|
(3.3.2 Primitive Types)
|
|||
|
|
endobj
|
|||
|
|
102 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.3.3.3) >>
|
|||
|
|
endobj
|
|||
|
|
105 0 obj
|
|||
|
|
(3.3.3 Franca Inline Arrays)
|
|||
|
|
endobj
|
|||
|
|
106 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.3.3.4) >>
|
|||
|
|
endobj
|
|||
|
|
109 0 obj
|
|||
|
|
(3.3.4 User-defined Types)
|
|||
|
|
endobj
|
|||
|
|
110 0 obj
|
|||
|
|
<< /S /GoTo /D (subsubsection.3.3.4.1) >>
|
|||
|
|
endobj
|
|||
|
|
113 0 obj
|
|||
|
|
(3.3.4.1 Mapping to Application Data Types)
|
|||
|
|
endobj
|
|||
|
|
114 0 obj
|
|||
|
|
<< /S /GoTo /D (subsubsection.3.3.4.2) >>
|
|||
|
|
endobj
|
|||
|
|
117 0 obj
|
|||
|
|
(3.3.4.2 Mapping to Implementation Data Types)
|
|||
|
|
endobj
|
|||
|
|
118 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.3.3.5) >>
|
|||
|
|
endobj
|
|||
|
|
121 0 obj
|
|||
|
|
(3.3.5 Type Inheritance)
|
|||
|
|
endobj
|
|||
|
|
122 0 obj
|
|||
|
|
<< /S /GoTo /D (section.3.4) >>
|
|||
|
|
endobj
|
|||
|
|
125 0 obj
|
|||
|
|
(3.4 Franca Interfaces)
|
|||
|
|
endobj
|
|||
|
|
126 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.3.4.1) >>
|
|||
|
|
endobj
|
|||
|
|
129 0 obj
|
|||
|
|
(3.4.1 Franca Interfaces)
|
|||
|
|
endobj
|
|||
|
|
130 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.3.4.2) >>
|
|||
|
|
endobj
|
|||
|
|
133 0 obj
|
|||
|
|
(3.4.2 Franca Methods)
|
|||
|
|
endobj
|
|||
|
|
134 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.3.4.3) >>
|
|||
|
|
endobj
|
|||
|
|
137 0 obj
|
|||
|
|
(3.4.3 Franca Attributes)
|
|||
|
|
endobj
|
|||
|
|
138 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.3.4.4) >>
|
|||
|
|
endobj
|
|||
|
|
141 0 obj
|
|||
|
|
(3.4.4 Franca Broadcasts)
|
|||
|
|
endobj
|
|||
|
|
142 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.3.4.5) >>
|
|||
|
|
endobj
|
|||
|
|
145 0 obj
|
|||
|
|
(3.4.5 Interface Inheritance)
|
|||
|
|
endobj
|
|||
|
|
146 0 obj
|
|||
|
|
<< /S /GoTo /D (section.3.5) >>
|
|||
|
|
endobj
|
|||
|
|
149 0 obj
|
|||
|
|
(3.5 Franca Connector)
|
|||
|
|
endobj
|
|||
|
|
150 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.3.5.1) >>
|
|||
|
|
endobj
|
|||
|
|
153 0 obj
|
|||
|
|
(3.5.1 AUTOSAR-to-Franca Client Server Link)
|
|||
|
|
endobj
|
|||
|
|
154 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.3.5.2) >>
|
|||
|
|
endobj
|
|||
|
|
157 0 obj
|
|||
|
|
(3.5.2 AUTOSAR-to-Franca Sender Receiver Link)
|
|||
|
|
endobj
|
|||
|
|
158 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.3.5.3) >>
|
|||
|
|
endobj
|
|||
|
|
161 0 obj
|
|||
|
|
(3.5.3 AUTOSAR-to-Franca Sender Receiver Link for Fire-And-Forget-Methods)
|
|||
|
|
endobj
|
|||
|
|
162 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.3.5.4) >>
|
|||
|
|
endobj
|
|||
|
|
165 0 obj
|
|||
|
|
(3.5.4 Franca-to-AUTOSAR Client Server Link)
|
|||
|
|
endobj
|
|||
|
|
166 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.3.5.5) >>
|
|||
|
|
endobj
|
|||
|
|
169 0 obj
|
|||
|
|
(3.5.5 Franca-to-AUTOSAR Sender Receiver Link)
|
|||
|
|
endobj
|
|||
|
|
170 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.3.5.6) >>
|
|||
|
|
endobj
|
|||
|
|
173 0 obj
|
|||
|
|
(3.5.6 Connecting Instances in Disjoint Containers)
|
|||
|
|
endobj
|
|||
|
|
174 0 obj
|
|||
|
|
<< /S /GoTo /D (chapter.4) >>
|
|||
|
|
endobj
|
|||
|
|
177 0 obj
|
|||
|
|
(4 AUTOSAR-to-Franca Translation)
|
|||
|
|
endobj
|
|||
|
|
178 0 obj
|
|||
|
|
<< /S /GoTo /D (section.4.1) >>
|
|||
|
|
endobj
|
|||
|
|
181 0 obj
|
|||
|
|
(4.1 Data Types)
|
|||
|
|
endobj
|
|||
|
|
182 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.4.1.1) >>
|
|||
|
|
endobj
|
|||
|
|
185 0 obj
|
|||
|
|
(4.1.1 Platform Types)
|
|||
|
|
endobj
|
|||
|
|
186 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.4.1.2) >>
|
|||
|
|
endobj
|
|||
|
|
189 0 obj
|
|||
|
|
(4.1.2 User-defined Types)
|
|||
|
|
endobj
|
|||
|
|
190 0 obj
|
|||
|
|
<< /S /GoTo /D (subsubsection.4.1.2.1) >>
|
|||
|
|
endobj
|
|||
|
|
193 0 obj
|
|||
|
|
(4.1.2.1 Application Data Types)
|
|||
|
|
endobj
|
|||
|
|
194 0 obj
|
|||
|
|
<< /S /GoTo /D (subsubsection.4.1.2.2) >>
|
|||
|
|
endobj
|
|||
|
|
197 0 obj
|
|||
|
|
(4.1.2.2 Implementation Data Types)
|
|||
|
|
endobj
|
|||
|
|
198 0 obj
|
|||
|
|
<< /S /GoTo /D (section.4.2) >>
|
|||
|
|
endobj
|
|||
|
|
201 0 obj
|
|||
|
|
(4.2 Port Interfaces)
|
|||
|
|
endobj
|
|||
|
|
202 0 obj
|
|||
|
|
<< /S /GoTo /D (section.4.3) >>
|
|||
|
|
endobj
|
|||
|
|
205 0 obj
|
|||
|
|
(4.3 Franca special data)
|
|||
|
|
endobj
|
|||
|
|
206 0 obj
|
|||
|
|
<< /S /GoTo /D (appendix.A) >>
|
|||
|
|
endobj
|
|||
|
|
209 0 obj
|
|||
|
|
(A Examples)
|
|||
|
|
endobj
|
|||
|
|
210 0 obj
|
|||
|
|
<< /S /GoTo /D (appendix.B) >>
|
|||
|
|
endobj
|
|||
|
|
213 0 obj
|
|||
|
|
(B Mentioned Class Tables)
|
|||
|
|
endobj
|
|||
|
|
214 0 obj
|
|||
|
|
<< /S /GoTo /D [215 0 R /Fit] >>
|
|||
|
|
endobj
|
|||
|
|
217 0 obj
|
|||
|
|
<<
|
|||
|
|
/Length 1630
|
|||
|
|
/Filter /FlateDecode
|
|||
|
|
>>
|
|||
|
|
stream
|
|||
|
|
xÚ½ZËnÛFÝû+¸”šÌÜyw—Úq« MR[]%A ȲK@�ÔRäï{†¤$R)Rd
’Ìǹ÷Î9g^$�ž"ýv%ðÉ#YΜ1‘uœ ï£Ùòêß+FR‘M.ÈýLNín˼/Et³¾úœÙ€�Ïú(ƒåð�\½º• Á¼ÖM#²–©�…eÄ}4yˆ>Æ«íüi(øà9|L·ñz5‘uƒõcú};T:;¹šMÓcã›?Ò÷ëÇí�¡Ðƒéó<=r½^~[¯æ«íðóäm$��“ÈP(¦”ICÞÌ7³çáwÅßB¼MréYY§‹—¾j>ø{2T|ðþþõ]âCú}7_̧›,.nb< |