OCARINA

NAME
SYNOPSIS
DESCRIPTION
COPYRIGHT
SEE ALSO

NAME

Ocarina − manual page for Ocarina 2.0w (Working Copy from rb472173)

SYNOPSIS

ocarina [switches] <aadl_files>

DESCRIPTION

−h, −−help

Display help and exit

−−version

Display version and exit

−v, −−verbose

Output extra verbose information

−q

Quiet mode (default)

−d

Debug mode

−s

Output default search directory, then exit

−aadlv[ARG]

AADL version, ARG = 1 for AADL 1.0, 2 for AADL 2.x

−f

Parse predefined non−standard property sets

−disable−annexes=ARG Deactivate annex ARG

−r ARG

Use ARG as root system

−o ARG

Specify output file/directory

−y

Automatically load AADL files

−I ARG

Add ARG to the directory search list

−p

Parse and instantiate the model

−i

Instantiate the model

−x

Parse AADL file as an AADL scenario file

−g ARG

Generate code using Ocarina backend ’ARG’

−−list−backends

List available backends

−b

Compile generated code

−z

Clean code generated

−k ARG

Set POK flavor (arinc653/deos/pok/vxworks)

−t

Run Ocarina in terminal interactive mode

−real_theorem ARG

Name of the main theorem to evaluate

−real_lib ARG

Add external library of REAL theorems

−real_continue_eval

Continue evaluation of REAL theorems after first failure (REAL backend)

−boundt_process ARG

Generate .tpo file for process ARG (Bound−T backend)

−ec

Compute coverage metrics

−er

Execute system

−asn1

Generate ASN1 deployment file (PolyORB−HI−C only)

−perf

Enable profiling with gprof (PolyORB−HI−C only)

COPYRIGHT

Copyright © 2003−2009 Telecom ParisTech, 2010−2016 ESA & ISAE Build date:

SEE ALSO

The full documentation for Ocarina is maintained as a Texinfo manual. If the info and Ocarina programs are properly installed at your site, the command

info Ocarina

should give you access to the complete manual.