ГОСТ Р 55346—2012
(*An Executionjime is an estimation of the time it takes for a function to produce the outputs either when it has been
activated or as soon as the whole input data set is available. «note number=»1»>The execution time shall not be con
fused with the time for a physical component to perform the function which would be related to the physical architecture
definition in the physical UoF.<Aiote> «example number=»9»> The exact semantics of this entity is defined by the role
attribute. The execution time given here records, for instance, the time that is necessary within a process industry to per
form a specific action. For instance in a process industry it may be necessary to have a piece of work in a given acid bath
for a given period to achieve specific properties.<i’example> «note number=»2»>An execution time can be associated
with all types of General_function_definition objects.«/note> «note number=»3*»The execution_time specifies the time it
takes for a function to be executed, not counting interference from other functions in the system.«/note> *)
ENTITY execution_time:
(* The role specifies how the time attribute should be interpreted, «example number=»10»>The function calculate_
time_to_destination may have a best_case Executionjime of 0 seconds, a worst_case Executionjime of 0.020 sec
onds. and no value expressed for nominal_case Execution time.«/example> *)
role : timing_type;
(* The time specifies the execution time.’)
time : REAL:
(* The timing specifies the General_furtction_definition to which the Execution_time applies. •)
timing : functionality_instance_reference;
(* The unit specifies the Executionjime unit for the time attribute. *)
unit: label;
END_ENTITY:
(•A FiniteJntegerJnterval is type of Integer Jnterval that has lower and upper bounds that constrain the sub-set of inte
gers it contains. *)
ENTITY finitejntegerjnterval
SUBTYPE OF (integerJnterval);
(* The low_index specifies the lowest value that a Datajnstance of this type can take. *)
lowjndex: INTEGER;
(* The size specifies the value domain of the FiniteJntegerJnterval as number of consequtive integer values, counting
from the low_index attribute, a Datajnstance of this type can take. <note>The upper bound of the value domain of a
FiniteJntegerJnterval is given by the expression low index + size -1 .</note> *)
size ; INTEGER;
END_ENTITY:
(*A Finite_realJnterval is a type of Reaijnterval that has lower and upper bounds that constrain the sub-set of real
values it contains. *)
ENTITY fmite_realjnterval
SUBTYPE OF (reaijnterval);
(* The high_c!osure specifies whether or not the highjndex is included in the maths space. If the value is TRUE, then
the value is included in the space, otherwise the value is excluded. *)
high_dosure : BOOLEAN;
(* The highjndex specifies the highest value that a Datajnstance of this type can take. *)
high_mdex : REAL;
(* The low_dosure specifies whether or not the lowjndex is included in the maths space. If the value is TRUE, then the
value is included in the space, otherwise the value is excluded. *)
low_closure : BOOLEAN;
(* The lowjndex specifies the lowest value that a Datajnstance of this type can take. *)
lowjndex: REAL;
END_ENTITY:
(*A finite_space is a type of Maths_space containing an explicit set of values. <note>Elementary_maths_space objects
that are finite (such as Binary_data type_defimtion and Logical_data_type_definition objects) should be used in prefer
ence to finite_space objects.«/note> *)
ENTITY finite_space
SUBTYPE OF (maths_space):
(* The member specifies the set of elements the build up the Finite_space. *)
member; SET [0 : ?] OF data_type_va!ue_select;
END_ENTITY:
(*A Formal_datajnteraction_portis an element in the interface between to a Functional_state_context object. *)
ENTITY formal_dataJnteraction_port;
334