dummy.aadl.out 2.32 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
Usage: 
      ocarina [options] files
      OR
      ocarina -help
  files are a non null sequence of AADL files

  General purpose options:
   -V  Output Ocarina version, then exit
   -s  Output Ocarina search directory, then exit

  Scenario file options:
hugues.jerome's avatar
hugues.jerome committed
12
13
14
   -b  Generate and build code from the AADL model
   -z  Clean code generated from the AADL model
   -ec Execute the generated application code and
15
       retrieve coverage information
hugues.jerome's avatar
hugues.jerome committed
16
   -er Execute the generated application code and
17
       verify that there is no regression
hugues.jerome's avatar
hugues.jerome committed
18
   -p  Only parse and instantiate the application model
19
20
21
22
23
24
25
26

  Advanced user options:
   -d  Debug mode for developpers
   -q  Quiet mode (default)
   -t  [script] Run Ocarina in terminal interactive mode.
       If a script is given, interpret it then exit.
   -v  Verbose mode for users
   -x  Parse AADL file as an AADL scenario file
hugues.jerome's avatar
hugues.jerome committed
27
   -y  Automatically load AADL files on demand
28
29
30
31
32
33
34
   -f  Parse predefined non standard property sets
   -i  Instantiate the AADL model
   -r  <name> The name of the instance tree root
   -o  Specify output file
   -I  Specify the inclusion paths
   -aadlv1  Use AADL v1 standard (default)
   -aadlv2  Use AADL v2 standard
35
36
   -real_lib Add a REAL file to be used as a theorem library by REAL annexes
   -real_theorem <theorem> Evaluate only theorem
37
   -real_continue_eval Continue evaluation in case of failures
38
39
   -g  Generate code from the AADL instance tree
       Registered backends:
40
        arinc653_conf
yoogx's avatar
yoogx committed
41
        vxworks653_conf
yoogx's avatar
yoogx committed
42
        deos_conf
43
44
        petri_nets
        boundt
hugues.jerome's avatar
hugues.jerome committed
45
        mast
46
47
48
49
        polyorb_hi_ada
        polyorb_hi_c
        polyorb_hi_rtsj
        pok_c
hugues.jerome's avatar
hugues.jerome committed
50
        xtratum_configuration
51
52
53
54
        stats
        subprograms
        real_theorem
        carts
hugues.jerome's avatar
hugues.jerome committed
55
        asn1_deployment
56
        cheddar
57
        connection_matrix
hugues.jerome's avatar
hugues.jerome committed
58
        function_matrix
59
        aadl_xml
yoogx's avatar
yoogx committed
60
        alloy
61
62
63
64
65
        aadl
        aadl_min
        aadl_annex
        behavior_specification
        real_specification
hugues.jerome's avatar
hugues.jerome committed
66
67
   -perf  Enable profiling with gprof (PolyORB-HI-C only)
   -asn1  Generate ASN1 deployment file (PolyORB-HI-C only)
68
69
70
71
72
73
74
75
76
   -arinc653  Generate code for ARINC653 API (POK backend only)
   -b  Generate and build code from the AADL model
   -z  Clean code generated from the AADL model
   -disable-annexes={annexes}  Desactive one or all annexes
       Annexes :
        all
        behavior
        real