on page 215 of as5506-draft1.2-09222011.pdf defines property_owner as
property_owner ::=
-- AADL or Annex meta model named element
named_element_qualified_meta_model_identifier | unique_classifier_reference
fix misspellings in document BNF:
unique_classifier_reference ::=
unique_component_classifier_reference | unique_feature_group_type_reference
this source:
property set PulseOx_Properties is
with Timing_Properties;
with PO;
--time between SpO2 measurments by pulse oximeter, default 1 second
SpO2_Sampling_Period : Timing_Properties::Time => 1 sec applies to (all);
--how long must bad SpO2 measuements persist before alaming
Motion_Artifact_Duration_Limit : Timing_Properties::Time => 10 sec applies to (all);
--number of trending samples displayed to clinician, default 30
Num_Trending_Samples : aadlinteger => 30 applies to (all);
--time between trending samples, default 1 minute
Time_Between_Trending_Samples : Timing_Properties::Time => 1 min applies to (PO::SpO2TrendThread, PO::HeartRateTrendThread);
end PulseOx_Properties;
on page 215 of as5506-draft1.2-09222011.pdf defines property_owner as property_owner ::= -- AADL or Annex meta model named element named_element_qualified_meta_model_identifier | unique_classifier_reference
unique_classifier_reference ::= unqiue_component_classifier_reference | unqiue_feature_group_type_refererence
fix misspellings in document BNF: unique_classifier_reference ::= unique_component_classifier_reference | unique_feature_group_type_reference
this source:
property set PulseOx_Properties is with Timing_Properties; with PO; --time between SpO2 measurments by pulse oximeter, default 1 second SpO2_Sampling_Period : Timing_Properties::Time => 1 sec applies to (all); --how long must bad SpO2 measuements persist before alaming Motion_Artifact_Duration_Limit : Timing_Properties::Time => 10 sec applies to (all); --number of trending samples displayed to clinician, default 30 Num_Trending_Samples : aadlinteger => 30 applies to (all); --time between trending samples, default 1 minute Time_Between_Trending_Samples : Timing_Properties::Time => 1 min applies to (PO::SpO2TrendThread, PO::HeartRateTrendThread); end PulseOx_Properties;
causes these Xtext errors:
mismatched input ',' expecting ';' PulseOx_Properties.aadl /pulse-ox/aadl/propertysets line: 14 /pulse-ox/aadl/propertysets/PulseOx_Properties.aadl Xtext Check (fast)
mismatched input '::' expecting ')' PulseOx_Properties.aadl /pulse-ox/aadl/propertysets line: 14 /pulse-ox/aadl/propertysets/PulseOx_Properties.aadl Xtext Check (fast)
missing 'end' at 'SpO2TrendThread' PulseOx_Properties.aadl /pulse-ox/aadl/propertysets line: 14 /pulse-ox/aadl/propertysets/PulseOx_Properties.aadl Xtext Check (fast)