ocarina_man.html 9.31 KB
Newer Older
1
<!-- Creator     : groff version 1.19.2 -->
2
<!-- CreationDate: Fri Mar  4 09:18:50 2016 -->
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>
25
<a href="#DESCRIPTION">DESCRIPTION</a><br>
yoogx's avatar
yoogx committed
26
<a href="#COPYRIGHT">COPYRIGHT</a><br>
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;
yoogx's avatar
yoogx committed
37 38 39 40 41 42 43 44 45
manual page for Ocarina 2.0w (Working Copy from
rb472173)</p>

<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>
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>
59

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

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

yoogx's avatar
yoogx committed
65 66
<p style="margin-left:22%;">Output extra verbose
information</p>
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>
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>
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>
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>
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>
106
<td width="8%"></td>
yoogx's avatar
yoogx committed
107
<td width="64%">
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%">
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">
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>
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>
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>
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%">
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%">
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%">
160 161 162
</td>
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
163
<td width="9%">
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%">
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%">
175 176 177
</td>
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
178
<td width="9%">
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%">
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>
191 192
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
193
<td width="9%">
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%">
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>
206 207
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
208
<td width="9%">
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%">
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>
221 222
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
223
<td width="9%">
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%">
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>
236 237
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
238
<td width="9%">
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%">
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>
251 252
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
253
<td width="9%">
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%">
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>
267 268


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

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

yoogx's avatar
yoogx committed
273 274
<table width="100%" border=0 rules="none" frame="void"
       cellspacing="0" cellpadding="0">
275 276
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
277
<td width="9%">
278 279 280



yoogx's avatar
yoogx committed
281 282 283
<p style="margin-top: 1em" valign="top"><b>&minus;b</b></p> </td>
<td width="2%"></td>
<td width="64%">
284 285


yoogx's avatar
yoogx committed
286 287 288 289
<p style="margin-top: 1em" valign="top">Compile generated
code</p> </td>
<td width="14%">
</td>
290 291
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
292
<td width="9%">
293 294 295



yoogx's avatar
yoogx committed
296 297 298
<p style="margin-top: 1em" valign="top"><b>&minus;z</b></p> </td>
<td width="2%"></td>
<td width="64%">
299 300


yoogx's avatar
yoogx committed
301 302 303 304
<p style="margin-top: 1em" valign="top">Clean code
generated</p> </td>
<td width="14%">
</td>
305 306
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
307
<td width="9%">
308 309


yoogx's avatar
yoogx committed
310 311 312 313
<p style="margin-top: 1em" valign="top"><b>&minus;k</b>
ARG</p> </td>
<td width="2%"></td>
<td width="64%">
314 315


yoogx's avatar
yoogx committed
316 317 318 319
<p style="margin-top: 1em" valign="top">Set POK flavor
(arinc653/deos/pok/vxworks)</p> </td>
<td width="14%">
</td>
320 321
<tr valign="top" align="left">
<td width="11%"></td>
yoogx's avatar
yoogx committed
322
<td width="9%">
323 324 325



yoogx's avatar
yoogx committed
326 327 328
<p style="margin-top: 1em" valign="top"><b>&minus;t</b></p> </td>
<td width="2%"></td>
<td width="64%">
329 330


yoogx's avatar
yoogx committed
331 332 333 334
<p style="margin-top: 1em" valign="top">Run Ocarina in
terminal interactive mode</p></td>
<td width="14%">
</td>
335 336
</table>

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

yoogx's avatar
yoogx committed
340 341
<p style="margin-left:22%;">Name of the main theorem to
evaluate</p>
342

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

yoogx's avatar
yoogx committed
345 346
<p style="margin-left:22%;">Add external library of REAL
theorems</p>
347 348


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

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

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

yoogx's avatar
yoogx committed
357 358
<p style="margin-left:22%;">Generate .tpo file for process
ARG (Bound&minus;T backend)</p>
359 360 361 362 363

<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
364
<td width="7%">
365 366 367



yoogx's avatar
yoogx committed
368 369 370
<p style="margin-top: 1em" valign="top"><b>&minus;ec</b></p> </td>
<td width="4%"></td>
<td width="75%">
371 372


yoogx's avatar
yoogx committed
373 374 375 376
<p style="margin-top: 1em" valign="top">Compute coverage
metrics</p> </td>
<td width="3%">
</td>
377 378 379 380 381 382
<tr valign="top" align="left">
<td width="11%"></td>
<td width="7%">



yoogx's avatar
yoogx committed
383
<p style="margin-top: 1em" valign="top"><b>&minus;er</b></p> </td>
384 385 386 387
<td width="4%"></td>
<td width="75%">


yoogx's avatar
yoogx committed
388
<p style="margin-top: 1em" valign="top">Execute system</p></td>
389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407
<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
408
<td width="7%">
409 410 411



yoogx's avatar
yoogx committed
412 413 414
<p style="margin-top: 1em" valign="top"><b>&minus;perf</b></p> </td>
<td width="4%"></td>
<td width="75%">
415 416


yoogx's avatar
yoogx committed
417 418
<p style="margin-top: 1em" valign="top">Enable profiling
with gprof (PolyORB&minus;HI&minus;C only)</p></td>
419 420 421 422
<td width="3%">
</td>
</table>

yoogx's avatar
yoogx committed
423 424
<a name="COPYRIGHT"></a>
<h2>COPYRIGHT</h2>
425 426


yoogx's avatar
yoogx committed
427 428 429
<p style="margin-left:11%; margin-top: 1em">Copyright
&copy; 2003&minus;2009 Telecom ParisTech, 2010&minus;2016
ESA &amp; ISAE Build date:</p>
430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447

<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>