Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
853547dd
Commit
853547dd
authored
Mar 04, 2016
by
yoogx
Browse files
* Update man pages
parent
84d6e574
Changes
4
Hide whitespace changes
Inline
Side-by-side
doc/ocarina-config.1
View file @
853547dd
.\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.10.
.TH OCARINA "1" "
avril
201
3
" "Ocarina 2.0w" "User Commands"
.TH OCARINA "1" "
mars
201
6
" "Ocarina 2.0w" "User Commands"
.SH NAME
Ocarina \- manual page for Ocarina 2.0w
.SH SYNOPSIS
...
...
doc/ocarina-config.html
View file @
853547dd
<!-- Creator : groff version 1.19.2 -->
<!-- CreationDate: Thu
Apr 18
14:4
2:34
201
3
-->
<!-- CreationDate: Thu
Mar 3
14:4
0:41
201
6
-->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
...
...
doc/ocarina.1
View file @
853547dd
.\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.10.
.TH OCARINA "1" "mars 2016" "Ocarina 2.0w (Working Copy from rb472173)" "User Commands"
.SH NAME
Ocarina \- manual page for Ocarina 2.0w (Working Copy from rb472173)
.SH SYNOPSIS
.B ocarina
[\fIswitches\fR] \fI<aadl_files>\fR
.SH DESCRIPTION
.TP
\fB\-h\fR, \fB\-\-help\fR
Display help and exit
.TP
\fB\-\-version\fR
Display version and exit
.TP
\fB\-v\fR, \fB\-\-verbose\fR
Output extra verbose information
.TP
\fB\-q\fR
Quiet mode (default)
.TP
\fB\-d\fR
Debug mode
.TP
\fB\-s\fR
Output default search directory, then exit
.TP
\fB\-aadlv[ARG]\fR
AADL version, ARG = 1 for AADL 1.0, 2 for AADL 2.x
.TP
\fB\-f\fR
Parse predefined non\-standard property sets
.HP
\fB\-disable\-annexes\fR=\fIARG\fR Deactivate annex ARG
.TP
\fB\-r\fR ARG
Use ARG as root system
.TP
\fB\-o\fR ARG
Specify output file/directory
.TP
\fB\-y\fR
Automatically load AADL files
.TP
\fB\-I\fR ARG
Add ARG to the directory search list
.TP
\fB\-p\fR
Parse and instantiate the model
.TP
\fB\-i\fR
Instantiate the model
.TP
\fB\-x\fR
Parse AADL file as an AADL scenario file
.TP
\fB\-g\fR ARG
Generate code using Ocarina backend 'ARG'
.TP
\fB\-\-list\-backends\fR
List available backends
.TP
\fB\-b\fR
Compile generated code
.TP
\fB\-z\fR
Clean code generated
.TP
\fB\-k\fR ARG
Set POK flavor (arinc653/deos/pok/vxworks)
.TP
\fB\-t\fR
Run Ocarina in terminal interactive mode
.TP
\fB\-real_theorem\fR ARG
Name of the main theorem to evaluate
.TP
\fB\-real_lib\fR ARG
Add external library of REAL theorems
.TP
\fB\-real_continue_eval\fR
Continue evaluation of REAL theorems after first failure (REAL backend)
.TP
\fB\-boundt_process\fR ARG
Generate .tpo file for process ARG (Bound\-T backend)
.TP
\fB\-ec\fR
Compute coverage metrics
.TP
\fB\-er\fR
Execute system
.TP
\fB\-asn1\fR
Generate ASN1 deployment file (PolyORB\-HI\-C only)
.TP
\fB\-perf\fR
Enable profiling with gprof (PolyORB\-HI\-C only)
.SH COPYRIGHT
Copyright \(co 2003\-2009 Telecom ParisTech, 2010\-2016 ESA & ISAE
Build date:
.SH "SEE ALSO"
The full documentation for
.B Ocarina
is maintained as a Texinfo manual. If the
.B info
and
.B Ocarina
programs are properly installed at your site, the command
.IP
.B info Ocarina
.PP
should give you access to the complete manual.
.HEAD "<link rel=""stylesheet"" type=""text/css"" href=""ocarina.css"" >"
doc/ocarina_man.html
View file @
853547dd
<!-- Creator : groff version 1.19.2 -->
<!-- CreationDate: T
ue Apr 30 08:00:19
201
3
-->
<!-- CreationDate: T
hu Mar 3 14:40:41
201
6
-->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
...
...
@@ -21,7 +21,9 @@
<h1
align=
center
>
OCARINA
</h1>
<a
href=
"#NAME"
>
NAME
</a><br>
<a
href=
"#SYNOPSIS"
>
SYNOPSIS
</a><br>
<a
href=
"#DESCRIPTION"
>
DESCRIPTION
</a><br>
<a
href=
"#COPYRIGHT"
>
COPYRIGHT
</a><br>
<a
href=
"#SEE ALSO"
>
SEE ALSO
</a><br>
<hr>
...
...
@@ -32,23 +34,36 @@
<p
style=
"margin-left:11%; margin-top: 1em"
>
Ocarina
−
manual page for Ocarina 2.0w (Working Copy from )
</p>
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>
<
aadl_files
>
</i></p>
<a
name=
"DESCRIPTION"
></a>
<h2>
DESCRIPTION
</h2>
<p
style=
"margin-left:11%; margin-top: 1em"
><b>
Usage:
</b></p>
<p
style=
"margin-left:11%; margin-top: 1em"
><b>
−
h
</b>
,
<b>
−−
help
</b></p>
<p
style=
"margin-left:22%;"
>
Display help and exit
</p>
<p
style=
"margin-left:11%;"
><b>
−−
version
</b></p>
<p
style=
"margin-left:22%;"
>
ocarina [options] files OR
ocarina
<b>
−
help
</b></p>
<p
style=
"margin-left:22%;"
>
Display version and exit
</p>
<p
style=
"margin-left:
22%; margin-top: 1em"
>
files are a non
null sequence of AADL files
</p>
<p
style=
"margin-left:
11%;"
><b>
−
v
</b>
,
<b>
−−
verbose
</b>
</p>
<p
style=
"margin-left:22%;
margin-top: 1em"
>
General purp
ose
op
tion
s:
</p>
<p
style=
"margin-left:22%;
"
>
Output extra verb
ose
informa
tion
</p>
<table
width=
"100%"
border=
0
rules=
"none"
frame=
"void"
cellspacing=
"0"
cellpadding=
"0"
>
...
...
@@ -58,13 +73,13 @@ options:</p>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
V
</b></p>
</td>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
q
</b></p>
</td>
<td
width=
"8%"
></td>
<td
width=
"64%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Output Ocarina
version, then exit
</p></td>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Quiet mode
(default)
</p>
</td>
<td
width=
"14%"
>
</td>
<tr
valign=
"top"
align=
"left"
>
...
...
@@ -73,314 +88,304 @@ version, then exit</p></td>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
s
</b></p>
</td>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
d
</b></p>
</td>
<td
width=
"8%"
></td>
<td
width=
"64%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Output Ocarina
search directory, then exit
</p></td>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Debug mode
</p></td>
<td
width=
"14%"
>
</td>
</table>
<p
style=
"margin-left:22%; margin-top: 1em"
>
Scenario file
options:
</p>
<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%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
b
</b></p>
</td>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
s
</b></p>
</td>
<td
width=
"8%"
></td>
<td
width=
"6
6
%"
>
<td
width=
"6
4
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Generate and build
code from the AADL model
</p></td>
<td
width=
"1
2
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Output default
search directory, then exit
</p></td>
<td
width=
"1
4
%"
>
</td>
</table>
<p
style=
"margin-left:11%;"
><b>
−
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"
>
<tr
valign=
"top"
align=
"left"
>
<td
width=
"11%"
></td>
<td
width=
"3%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
z
</b></p>
</td>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
f
</b></p>
</td>
<td
width=
"8%"
></td>
<td
width=
"66%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Clean code
generate
d
f
ro
m the AADL model
</p></td>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Parse predefined
non
−
standar
d
p
ro
perty sets
</p></td>
<td
width=
"12%"
>
</td>
</table>
<p
style=
"margin-left:22%; margin-top: 1em"
><b>
−
ec
</b>
Execute the generated application code and
</p>
<p
style=
"margin-left:22%; margin-top: 1em"
>
retrieve
coverage information
</p>
<p
style=
"margin-left:22%; margin-top: 1em"
><b>
−
er
</b>
Execute the generated application code and
</p>
<p
style=
"margin-left:22%; margin-top: 1em"
>
verify that
there is no regression
</p>
<p
style=
"margin-left:22%; margin-top: 1em"
><b>
−
disable
−
annexes
</b>
=
<i>
ARG
</i>
Deactivate annex ARG
</p>
<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
%"
>
<td
width=
"
9
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
r
</b>
ARG
</p>
</td>
<td
width=
"2%"
></td>
<td
width=
"63%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
p
</b></p>
</td>
<td
width=
"8%"
></td>
<td
width=
"73%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Only parse and
instantiate the application model
</p></td>
<td
width=
"5%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Use ARG as root
system
</p>
</td>
<td
width=
"15%"
>
</td>
<tr
valign=
"top"
align=
"left"
>
<td
width=
"11%"
></td>
<td
width=
"
3
%"
>
<td
width=
"
9
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
c
</b>
</p>
</td>
<td
width=
"
8
%"
></td>
<td
width=
"
7
3%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
o
</b>
ARG
</p>
</td>
<td
width=
"
2
%"
></td>
<td
width=
"
6
3%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Only perform
schedulability analysis
</p></td>
<td
width=
"5%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Specify output
file/directory
</p>
</td>
<td
width=
"
1
5%"
>
</td>
</table>
<p
style=
"margin-left:22%; margin-top: 1em"
>
Advanced user
options:
</p>
<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
%"
>
<td
width=
"
9
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
d
</b></p>
</td>
<td
width=
"
8
%"
></td>
<td
width=
"
78
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
y
</b></p>
</td>
<td
width=
"
2
%"
></td>
<td
width=
"
63
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Debug mode for
developpers
</p>
</td>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Automatically load
AADL files
</p></td>
<td
width=
"15%"
>
</td>
<tr
valign=
"top"
align=
"left"
>
<td
width=
"11%"
></td>
<td
width=
"3%"
>
<td
width=
"9%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
q
</b></p>
</td>
<td
width=
"8%"
></td>
<td
width=
"78%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
I
</b>
ARG
</p>
</td>
<td
width=
"2%"
></td>
<td
width=
"63%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Quiet mode
(default)
</p>
</td>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Add ARG to the
directory search list
</p></td>
<td
width=
"15%"
>
</td>
<tr
valign=
"top"
align=
"left"
>
<td
width=
"11%"
></td>
<td
width=
"
3
%"
>
<td
width=
"
9
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
t
</b></p>
</td>
<td
width=
"
8
%"
></td>
<td
width=
"
78
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
p
</b></p>
</td>
<td
width=
"
2
%"
></td>
<td
width=
"
63
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
[script] Run
Ocarina in terminal interactive mode. If a script is given,
interpret it then exit.
</p></td>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Parse and
instantiate the model
</p></td>
<td
width=
"15%"
>
</td>
<tr
valign=
"top"
align=
"left"
>
<td
width=
"11%"
></td>
<td
width=
"
3
%"
>
<td
width=
"
9
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
v
</b></p>
</td>
<td
width=
"
8
%"
></td>
<td
width=
"
78
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
i
</b></p>
</td>
<td
width=
"
2
%"
></td>
<td
width=
"
63
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Verbose mode for
users
</p>
</td>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Instantiate the
model
</p>
</td>
<td
width=
"15%"
>
</td>
<tr
valign=
"top"
align=
"left"
>
<td
width=
"11%"
></td>
<td
width=
"
3
%"
>
<td
width=
"
9
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
x
</b></p>
</td>
<td
width=
"
8
%"
></td>
<td
width=
"
78
%"
>
<td
width=
"
2
%"
></td>
<td
width=
"
63
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Parse AADL file as
an AADL scenario file
</p></td>
<td
width=
"15%"
>
</td>
<tr
valign=
"top"
align=
"left"
>
<td
width=
"11%"
></td>
<td
width=
"3%"
>
<td
width=
"9%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
y
</b></p>
</td>
<td
width=
"8%"
></td>
<td
width=
"78%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
g
</b>
ARG
</p>
</td>
<td
width=
"2%"
></td>
<td
width=
"63%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Automatically load
AADL files on demand
</p></td>
<tr
valign=
"top"
align=
"left"
>
<td
width=
"11%"
></td>
<td
width=
"3%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Generate code using
Ocarina backend
’
ARG
’
</p></td>
<td
width=
"15%"
>
</td>
</table>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
f
</b></p>
</td>
<td
width=
"8%"
></td>
<td
width=
"78%"
>
<p
style=
"margin-left:11%;"
><b>
−−
list
−
backends
</b></p>
<p
style=
"margin-left:22%;"
>
List available backends
</p>
<
p
style=
"margin-top: 1em"
valign=
"top"
>
Parse predefined
non standard property sets
</p></td
>
<
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
%"
>
<td
width=
"
9
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
i
</b></p>
</td>
<td
width=
"
8
%"
></td>
<td
width=
"
78
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
b
</b></p>
</td>
<td
width=
"
2
%"
></td>
<td
width=
"
64
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Instantiate the
AADL model
</p></td>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Compile generated
code
</p>
</td>
<td
width=
"14%"
>
</td>
<tr
valign=
"top"
align=
"left"
>
<td
width=
"11%"
></td>
<td
width=
"
3
%"
>
<td
width=
"
9
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
r
</b></p>
</td>
<td
width=
"
8
%"
></td>
<td
width=
"
78
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
z
</b></p>
</td>
<td
width=
"
2
%"
></td>
<td
width=
"
64
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
<
name
>
The
name of the instance tree root
</p></td>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Clean code
generated
</p>
</td>
<td
width=
"14%"
>
</td>
<tr
valign=
"top"
align=
"left"
>
<td
width=
"11%"
></td>
<td
width=
"3%"
>
<td
width=
"9%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
o
</b></p>
</td>
<td
width=
"8%"
></td>
<td
width=
"78%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
k
</b>
ARG
</p>
</td>
<td
width=
"2%"
></td>
<td
width=
"64%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Specify output
file
</p>
</td>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Set POK flavor
(arinc653/deos/pok/vxworks)
</p>
</td>
<td
width=
"14%"
>
</td>
<tr
valign=
"top"
align=
"left"
>
<td
width=
"11%"
></td>
<td
width=
"
3
%"
>
<td
width=
"
9
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
I
</b></p>
</td>
<td
width=
"
8
%"
></td>
<td
width=
"
78
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
t
</b></p>
</td>
<td
width=
"
2
%"
></td>
<td
width=
"
64
%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Specify the
inclusion paths
</p></td>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Run Ocarina in
terminal interactive mode
</p></td>
<td
width=
"14%"
>
</td>
</table>
<p
style=
"margin-left:11%;"
><b>
−
aadlv1
</b></p>
<p
style=
"margin-left:11%;"
><b>
−
real_theorem
</b>
ARG
</p>
<p
style=
"margin-left:22%;"
>
Use AADL v1 standard
(default)
</p>
<p
style=
"margin-left:22%;"
>
Name of the main theorem to
evaluate
</p>
<p
style=
"margin-left:11%;"
><b>
−
aadlv2
</b>
</p>
<p
style=
"margin-left:11%;"
><b>
−
real_lib
</b>
ARG
</p>
<p
style=
"margin-left:22%;"
>
Use AADL v2 standard
</p>
<p
style=
"margin-left:22%;"
>
Add external library of REAL
theorems
</p>
<p
style=
"margin-left:22%; margin-top: 1em"
><b>
−
real_lib
</b>
Add a REAL file to be used as a theorem library by REAL
annexes
</p>
<p
style=
"margin-left:11%;"
><b>
−
real_continue_eval
</b></p>
<p
style=
"margin-left:22%;"
>
Continue evaluation of REAL
theorems after first failure (REAL backend)
</p>
<p
style=
"margin-left:
22%; margin-top: 1em"
><b>
−
real_theorem
</b>
<
theorem
>
Evaluate only theorem
</p>
<p
style=
"margin-left:
11%;"
><b>
−
boundt_process
</b>
ARG
</p>
<p
style=
"margin-left:22%; margin-top: 1em"
><b>
−
real_continue_eval
</b>
Continue evaluation in case of failures
</p>
<p
style=
"margin-left:22%;"
>
Generate .tpo file for process
ARG (Bound
−
T backend)
</p>
<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%"
>
<td
width=
"7%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
g
</b></p>
</td>
<td
width=
"8%"
></td>
<td
width=
"78%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
><b>
−
ec
</b></p>
</td>
<td
width=
"4%"
></td>
<td
width=
"75%"
>
<p
style=
"margin-top: 1em"
valign=
"top"
>
Generate code from
the AADL instance tree Registered backends:
</p></td>
</table>