ocarina_man.html 9.45 KB
Newer Older
yoogx's avatar
yoogx committed
1
<!-- Creator     : groff version 1.19.2 -->
2
<!-- CreationDate: Sat Mar  3 22:09:49 2018 -->
yoogx's avatar
yoogx committed
3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<meta name="generator" content="groff -Thtml, see www.gnu.org">
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
       p     { margin-top: 0; margin-bottom: 0; }
       pre   { margin-top: 0; margin-bottom: 0; }
       table { margin-top: 0; margin-bottom: 0; }
</style>
<title>OCARINA</title>

 <link rel="stylesheet" type="text/css" href="ocarina.css" >
</head>
<body>

<h1 align=center>OCARINA</h1>

<a href="#NAME">NAME</a><br>
yoogx's avatar
yoogx committed
24
<a href="#SYNOPSIS">SYNOPSIS</a><br>
yoogx's avatar
yoogx committed
25
<a href="#DESCRIPTION">DESCRIPTION</a><br>
yoogx's avatar
yoogx committed
26
<a href="#COPYRIGHT">COPYRIGHT</a><br>
yoogx's avatar
yoogx committed
27 28 29 30 31 32 33 34 35 36
<a href="#SEE ALSO">SEE ALSO</a><br>

<hr>


<a name="NAME"></a>
<h2>NAME</h2>


<p style="margin-left:11%; margin-top: 1em">Ocarina &minus;
37 38
manual page for Ocarina 2017.x (Working Copy from
rc134071)</p>
yoogx's avatar
yoogx committed
39 40 41 42 43 44 45

<a name="SYNOPSIS"></a>
<h2>SYNOPSIS</h2>


<p style="margin-left:11%; margin-top: 1em"><b>ocarina</b>
[<i>switches</i>] <i>&lt;aadl_files&gt;</i></p>
yoogx's avatar
yoogx committed
46 47 48 49 50 51

<a name="DESCRIPTION"></a>
<h2>DESCRIPTION</h2>



yoogx's avatar
yoogx committed
52 53 54 55 56 57 58
<p style="margin-left:11%; margin-top: 1em"><b>&minus;h</b>,
<b>&minus;&minus;help</b></p>

<p style="margin-left:22%;">Display help and exit</p>


<p style="margin-left:11%;"><b>&minus;&minus;version</b></p>
yoogx's avatar
yoogx committed
59

yoogx's avatar
yoogx committed
60
<p style="margin-left:22%;">Display version and exit</p>
yoogx's avatar
yoogx committed
61

yoogx's avatar
yoogx committed
62 63
<p style="margin-left:11%;"><b>&minus;v</b>,
<b>&minus;&minus;verbose</b></p>
yoogx's avatar
yoogx committed
64

yoogx's avatar
yoogx committed
65 66
<p style="margin-left:22%;">Output extra verbose
information</p>
yoogx's avatar
yoogx committed
67 68 69 70 71 72 73 74 75

<table width="100%" border=0 rules="none" frame="void"
       cellspacing="0" cellpadding="0">
<tr valign="top" align="left">
<td width="11%"></td>
<td width="3%">



yoogx's avatar
yoogx committed
76
<p style="margin-top: 1em" valign="top"><b>&minus;q</b></p> </td>
yoogx's avatar
yoogx committed
77 78 79 80
<td width="8%"></td>
<td width="64%">


yoogx's avatar
yoogx committed
81 82
<p style="margin-top: 1em" valign="top">Quiet mode
(default)</p> </td>
yoogx's avatar
yoogx committed
83 84 85 86 87 88 89 90
<td width="14%">
</td>
<tr valign="top" align="left">
<td width="11%"></td>
<td width="3%">



yoogx's avatar
yoogx committed
91
<p style="margin-top: 1em" valign="top"><b>&minus;d</b></p> </td>
yoogx's avatar
yoogx committed
92 93 94 95
<td width="8%"></td>
<td width="64%">


yoogx's avatar
yoogx committed
96
<p style="margin-top: 1em" valign="top">Debug mode</p></td>
yoogx's avatar
yoogx committed
97 98 99 100 101 102 103 104
<td width="14%">
</td>
<tr valign="top" align="left">
<td width="11%"></td>
<td width="3%">



yoogx's avatar
yoogx committed
105
<p style="margin-top: 1em" valign="top"><b>&minus;s</b></p> </td>
yoogx's avatar
yoogx committed
106
<td width="8%"></td>
yoogx's avatar
yoogx committed
107
<td width="64%">
yoogx's avatar
yoogx committed
108 109


yoogx's avatar
yoogx committed
110 111 112
<p style="margin-top: 1em" valign="top">Output default
search directory, then exit</p></td>
<td width="14%">
yoogx's avatar
yoogx committed
113
</td>
yoogx's avatar
yoogx committed
114 115 116 117 118 119 120 121 122
</table>

<p style="margin-left:11%;"><b>&minus;aadlv[ARG]</b></p>

<p style="margin-left:22%;">AADL version, ARG = 1 for AADL
1.0, 2 for AADL 2.x</p>

<table width="100%" border=0 rules="none" frame="void"
       cellspacing="0" cellpadding="0">
yoogx's avatar
yoogx committed
123 124 125 126 127 128
<tr valign="top" align="left">
<td width="11%"></td>
<td width="3%">



yoogx's avatar
yoogx committed
129
<p style="margin-top: 1em" valign="top"><b>&minus;f</b></p> </td>
yoogx's avatar
yoogx committed
130 131 132 133
<td width="8%"></td>
<td width="66%">


yoogx's avatar
yoogx committed
134 135
<p style="margin-top: 1em" valign="top">Parse predefined
non&minus;standard property sets</p></td>
yoogx's avatar
yoogx committed
136 137 138 139 140
<td width="12%">
</td>
</table>


yoogx's avatar
yoogx committed
141 142
<p style="margin-left:22%; margin-top: 1em"><b>&minus;disable&minus;annexes</b>=<i>ARG</i>
Deactivate annex ARG</p>
yoogx's avatar
yoogx committed
143 144 145 146 147

<table width="100%" border=0 rules="none" frame="void"
       cellspacing="0" cellpadding="0">
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
148
<td width="9%">
yoogx's avatar
yoogx committed
149 150


yoogx's avatar
yoogx committed
151 152 153 154
<p style="margin-top: 1em" valign="top"><b>&minus;r</b>
ARG</p> </td>
<td width="2%"></td>
<td width="63%">
yoogx's avatar
yoogx committed
155 156


yoogx's avatar
yoogx committed
157 158 159
<p style="margin-top: 1em" valign="top">Use ARG as root
system</p> </td>
<td width="15%">
yoogx's avatar
yoogx committed
160 161 162
</td>
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
163
<td width="9%">
yoogx's avatar
yoogx committed
164 165


yoogx's avatar
yoogx committed
166 167 168 169
<p style="margin-top: 1em" valign="top"><b>&minus;o</b>
ARG</p> </td>
<td width="2%"></td>
<td width="63%">
yoogx's avatar
yoogx committed
170 171


yoogx's avatar
yoogx committed
172 173 174
<p style="margin-top: 1em" valign="top">Specify output
file/directory</p> </td>
<td width="15%">
yoogx's avatar
yoogx committed
175 176 177
</td>
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
178
<td width="9%">
yoogx's avatar
yoogx committed
179 180 181



yoogx's avatar
yoogx committed
182 183 184
<p style="margin-top: 1em" valign="top"><b>&minus;y</b></p> </td>
<td width="2%"></td>
<td width="63%">
yoogx's avatar
yoogx committed
185 186


yoogx's avatar
yoogx committed
187 188 189 190
<p style="margin-top: 1em" valign="top">Automatically load
AADL files</p></td>
<td width="15%">
</td>
yoogx's avatar
yoogx committed
191 192
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
193
<td width="9%">
yoogx's avatar
yoogx committed
194 195


yoogx's avatar
yoogx committed
196 197 198 199
<p style="margin-top: 1em" valign="top"><b>&minus;I</b>
ARG</p> </td>
<td width="2%"></td>
<td width="63%">
yoogx's avatar
yoogx committed
200 201


yoogx's avatar
yoogx committed
202 203 204 205
<p style="margin-top: 1em" valign="top">Add ARG to the
directory search list</p></td>
<td width="15%">
</td>
yoogx's avatar
yoogx committed
206 207
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
208
<td width="9%">
yoogx's avatar
yoogx committed
209 210 211



yoogx's avatar
yoogx committed
212 213 214
<p style="margin-top: 1em" valign="top"><b>&minus;p</b></p> </td>
<td width="2%"></td>
<td width="63%">
yoogx's avatar
yoogx committed
215 216


yoogx's avatar
yoogx committed
217 218 219 220
<p style="margin-top: 1em" valign="top">Parse and
instantiate the model</p></td>
<td width="15%">
</td>
yoogx's avatar
yoogx committed
221 222
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
223
<td width="9%">
yoogx's avatar
yoogx committed
224 225 226



yoogx's avatar
yoogx committed
227 228 229
<p style="margin-top: 1em" valign="top"><b>&minus;i</b></p> </td>
<td width="2%"></td>
<td width="63%">
yoogx's avatar
yoogx committed
230 231


yoogx's avatar
yoogx committed
232 233 234 235
<p style="margin-top: 1em" valign="top">Instantiate the
model</p> </td>
<td width="15%">
</td>
yoogx's avatar
yoogx committed
236 237
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
238
<td width="9%">
yoogx's avatar
yoogx committed
239 240 241 242



<p style="margin-top: 1em" valign="top"><b>&minus;x</b></p> </td>
yoogx's avatar
yoogx committed
243 244
<td width="2%"></td>
<td width="63%">
yoogx's avatar
yoogx committed
245 246 247 248


<p style="margin-top: 1em" valign="top">Parse AADL file as
an AADL scenario file</p></td>
yoogx's avatar
yoogx committed
249 250
<td width="15%">
</td>
yoogx's avatar
yoogx committed
251 252
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
253
<td width="9%">
yoogx's avatar
yoogx committed
254 255


yoogx's avatar
yoogx committed
256 257 258 259
<p style="margin-top: 1em" valign="top"><b>&minus;g</b>
ARG</p> </td>
<td width="2%"></td>
<td width="63%">
yoogx's avatar
yoogx committed
260 261


yoogx's avatar
yoogx committed
262 263 264 265 266
<p style="margin-top: 1em" valign="top">Generate code using
Ocarina backend &rsquo;ARG&rsquo;</p></td>
<td width="15%">
</td>
</table>
yoogx's avatar
yoogx committed
267 268


yoogx's avatar
yoogx committed
269
<p style="margin-left:11%;"><b>&minus;&minus;list&minus;backends</b></p>
yoogx's avatar
yoogx committed
270

yoogx's avatar
yoogx committed
271
<p style="margin-left:22%;">List available backends</p>
yoogx's avatar
yoogx committed
272

273 274 275 276 277 278

<p style="margin-left:11%;"><b>&minus;&minus;spark2014</b></p>

<p style="margin-left:22%;">Generate SPARK2014
annotations</p>

yoogx's avatar
yoogx committed
279 280
<table width="100%" border=0 rules="none" frame="void"
       cellspacing="0" cellpadding="0">
yoogx's avatar
yoogx committed
281 282
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
283
<td width="9%">
yoogx's avatar
yoogx committed
284 285 286



yoogx's avatar
yoogx committed
287 288 289
<p style="margin-top: 1em" valign="top"><b>&minus;b</b></p> </td>
<td width="2%"></td>
<td width="64%">
yoogx's avatar
yoogx committed
290 291


yoogx's avatar
yoogx committed
292 293 294 295
<p style="margin-top: 1em" valign="top">Compile generated
code</p> </td>
<td width="14%">
</td>
yoogx's avatar
yoogx committed
296 297
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
298
<td width="9%">
yoogx's avatar
yoogx committed
299 300 301



yoogx's avatar
yoogx committed
302 303 304
<p style="margin-top: 1em" valign="top"><b>&minus;z</b></p> </td>
<td width="2%"></td>
<td width="64%">
yoogx's avatar
yoogx committed
305 306


yoogx's avatar
yoogx committed
307 308 309 310
<p style="margin-top: 1em" valign="top">Clean code
generated</p> </td>
<td width="14%">
</td>
yoogx's avatar
yoogx committed
311 312
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
313
<td width="9%">
yoogx's avatar
yoogx committed
314 315


yoogx's avatar
yoogx committed
316 317 318 319
<p style="margin-top: 1em" valign="top"><b>&minus;k</b>
ARG</p> </td>
<td width="2%"></td>
<td width="64%">
yoogx's avatar
yoogx committed
320 321


yoogx's avatar
yoogx committed
322 323 324 325
<p style="margin-top: 1em" valign="top">Set POK flavor
(arinc653/deos/pok/vxworks)</p> </td>
<td width="14%">
</td>
yoogx's avatar
yoogx committed
326 327
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
328
<td width="9%">
yoogx's avatar
yoogx committed
329 330 331



yoogx's avatar
yoogx committed
332 333 334
<p style="margin-top: 1em" valign="top"><b>&minus;t</b></p> </td>
<td width="2%"></td>
<td width="64%">
yoogx's avatar
yoogx committed
335 336


yoogx's avatar
yoogx committed
337 338 339 340
<p style="margin-top: 1em" valign="top">Run Ocarina in
terminal interactive mode</p></td>
<td width="14%">
</td>
yoogx's avatar
yoogx committed
341 342
</table>

yoogx's avatar
yoogx committed
343 344
<p style="margin-left:11%;"><b>&minus;real_theorem</b>
ARG</p>
yoogx's avatar
yoogx committed
345

346 347
<p style="margin-left:22%;">Name of the main REAL theorem
to evaluate</p>
yoogx's avatar
yoogx committed
348

yoogx's avatar
yoogx committed
349
<p style="margin-left:11%;"><b>&minus;real_lib</b> ARG</p>
yoogx's avatar
yoogx committed
350

yoogx's avatar
yoogx committed
351 352
<p style="margin-left:22%;">Add external library of REAL
theorems</p>
yoogx's avatar
yoogx committed
353 354


yoogx's avatar
yoogx committed
355
<p style="margin-left:11%;"><b>&minus;real_continue_eval</b></p>
yoogx's avatar
yoogx committed
356

yoogx's avatar
yoogx committed
357 358
<p style="margin-left:22%;">Continue evaluation of REAL
theorems after first failure (REAL backend)</p>
yoogx's avatar
yoogx committed
359

yoogx's avatar
yoogx committed
360 361
<p style="margin-left:11%;"><b>&minus;boundt_process</b>
ARG</p>
yoogx's avatar
yoogx committed
362

yoogx's avatar
yoogx committed
363 364
<p style="margin-left:22%;">Generate .tpo file for process
ARG (Bound&minus;T backend)</p>
yoogx's avatar
yoogx committed
365 366 367 368 369

<table width="100%" border=0 rules="none" frame="void"
       cellspacing="0" cellpadding="0">
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
370
<td width="7%">
yoogx's avatar
yoogx committed
371 372 373



yoogx's avatar
yoogx committed
374 375 376
<p style="margin-top: 1em" valign="top"><b>&minus;ec</b></p> </td>
<td width="4%"></td>
<td width="75%">
yoogx's avatar
yoogx committed
377 378


yoogx's avatar
yoogx committed
379 380 381 382
<p style="margin-top: 1em" valign="top">Compute coverage
metrics</p> </td>
<td width="3%">
</td>
yoogx's avatar
yoogx committed
383 384 385 386 387 388
<tr valign="top" align="left">
<td width="11%"></td>
<td width="7%">



yoogx's avatar
yoogx committed
389
<p style="margin-top: 1em" valign="top"><b>&minus;er</b></p> </td>
yoogx's avatar
yoogx committed
390 391 392 393
<td width="4%"></td>
<td width="75%">


yoogx's avatar
yoogx committed
394
<p style="margin-top: 1em" valign="top">Execute system</p></td>
yoogx's avatar
yoogx committed
395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413
<td width="3%">
</td>
<tr valign="top" align="left">
<td width="11%"></td>
<td width="7%">



<p style="margin-top: 1em" valign="top"><b>&minus;asn1</b></p> </td>
<td width="4%"></td>
<td width="75%">


<p style="margin-top: 1em" valign="top">Generate ASN1
deployment file (PolyORB&minus;HI&minus;C only)</p></td>
<td width="3%">
</td>
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
414
<td width="7%">
yoogx's avatar
yoogx committed
415 416 417



yoogx's avatar
yoogx committed
418 419 420
<p style="margin-top: 1em" valign="top"><b>&minus;perf</b></p> </td>
<td width="4%"></td>
<td width="75%">
yoogx's avatar
yoogx committed
421 422


yoogx's avatar
yoogx committed
423 424
<p style="margin-top: 1em" valign="top">Enable profiling
with gprof (PolyORB&minus;HI&minus;C only)</p></td>
yoogx's avatar
yoogx committed
425 426 427 428
<td width="3%">
</td>
</table>

yoogx's avatar
yoogx committed
429 430
<a name="COPYRIGHT"></a>
<h2>COPYRIGHT</h2>
yoogx's avatar
yoogx committed
431 432


yoogx's avatar
yoogx committed
433
<p style="margin-left:11%; margin-top: 1em">Copyright
434
&copy; 2003&minus;2009 Telecom ParisTech, 2010&minus;2018
yoogx's avatar
yoogx committed
435
ESA &amp; ISAE Build date:</p>
yoogx's avatar
yoogx committed
436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453

<a name="SEE ALSO"></a>
<h2>SEE ALSO</h2>


<p style="margin-left:11%; margin-top: 1em">The full
documentation for <b>Ocarina</b> is maintained as a Texinfo
manual. If the <b>info</b> and <b>Ocarina</b> programs are
properly installed at your site, the command</p>

<p style="margin-left:22%; margin-top: 1em"><b>info
Ocarina</b></p>

<p style="margin-left:11%; margin-top: 1em">should give you
access to the complete manual.</p>
<hr>
</body>
</html>