dummy.aadl.out 2.19 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
19
   -p  Only parse and instantiate the application model
   -c  Only perform schedulability analysis
20
21
22
23
24
25
26
27

  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
28
   -y  Automatically load AADL files on demand
29
30
31
32
33
34
35
36
37
38
39
40
   -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
   -real_lib Add a REAL file to be used as a theorem libraries by REAL annexes
   -g  Generate code from the AADL instance tree
       Registered backends:
        petri_nets
        boundt
hugues.jerome's avatar
hugues.jerome committed
41
        mast
42
43
44
45
46
        polyorb_hi_ada
        polyorb_qos_ada
        polyorb_hi_c
        polyorb_hi_rtsj
        pok_c
hugues.jerome's avatar
hugues.jerome committed
47
        xtratum_configuration
48
49
50
51
        stats
        subprograms
        real_theorem
        carts
hugues.jerome's avatar
hugues.jerome committed
52
        asn1_deployment
53
        cheddar
54
        connection_matrix
hugues.jerome's avatar
hugues.jerome committed
55
        function_matrix
56
57
58
59
60
        aadl
        aadl_min
        aadl_annex
        behavior_specification
        real_specification
hugues.jerome's avatar
hugues.jerome committed
61
62
   -perf  Enable profiling with gprof (PolyORB-HI-C only)
   -asn1  Generate ASN1 deployment file (PolyORB-HI-C only)
63
64
65
66
67
68
69
70
71
   -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