scos performs the tasks of operating system refinement on the specified SIR file.
scos reads a SIR file specified with design and refines the computation inside each of the design's processing elements by inserting a selected operating system model and refining processes into task running on top of this OS model. When done, scos writes back the modified design into the same file, unless the -i or -o options are used.
On successful completion, the exit value 0 is returned. In case of errors, an error code with a diagnostic message is written to standard error and the program execution is aborted with the exit value 10. In this case, no output is produced. In other words, the specified design is left unchanged.
specifies the design to work with; if no -i or -o options are specified, the suffix '.sir' will be appended to this name in order to obtain the SIR file to read and write, respectively;
-hprints a short usage and version information and then quits;
-i input filespecifies the name of the input file explicitly; the name '-' can be used to specify reading from standard input;
-nsuppress creation of new log information when generating the output SIR file (default: update log information); see also section ANNOTATIONS below;
-o output filespecifies the name of the output file explicitly; the name '-' can be used to specify writing to standard output;
-p pathspecify (and override the compiled-in default) path to the OS model library;
-t toplevelexplicitly specifies the top-level PE behavior to work on; by default, all PEs in the design will be refined;
-venables verbosity mode; all actions performed are logged to standard error;
The following annotations are recognized by scos:
specifies the name of the top level behavior of the design to be refined.
It is required and must be attached to the design if the
-t
option is not given;
specifies the type of operating system model to insert; must be attached to each PE behavior in the design to be refined;
specifies the numerical priority for a given process when being refined into a task running on top of a priority-based OS model; can be attached to each process behavior inside the PE (defaults to zero);