GitLab

proved

in featue groups.  The claimed missing in propagations are actually
there.

warning.

behaviors to prove

make Drug_Volume's BLESS::Typed property be "quantity ml" instead of
"drug_volume" so that units could be found.  This is a result of OSATE
treating properties that are really BLESS language as just strings.
Finding units of a port's value used in an expression, looks up its
Data component, finds the BLESS::Typed property, parses it into Xtext,
and then extracts the unit.  I try to then do cross-referencing
on-the-fly, but for some reason I cannot fathom, it works for port
references within assertions, but not executable expressions.

New diagrams for requirements artifact, and move security, power, and GUI to functional architecture (from Services)

Functional.  Only CPAL left in Services.

* master:
  being consistent with prop name

# Conflicts:
#	AADL-workspace/Functional_PCA/packages/iPCA_Medical_Device.aadl

* commit 'cc9a550a':
  added bubble detection -- not completed in causing DrugStopped
  added air-in-line embolysm error modeling (bubble)
  *.aadl_diagram
  add air-in-line embolsim source and flow to patient--unmitigated

# Conflicts:
#	AADL-workspace/Functional_PCA/packages/iPCA_Hardware.aadl
#	AADL-workspace/Functional_PCA/packages/iPCA_Medical_Device.aadl