- 29 Apr, 2022 1 commit
-
-
Brian R Larson authored
-
- 17 Feb, 2022 1 commit
-
-
Brian Larson authored
-
- 02 Apr, 2021 1 commit
-
-
Brian Larson authored
-
- 07 Mar, 2021 2 commits
-
-
Brian Larson authored
-
Brian Larson authored
-
- 12 Feb, 2021 1 commit
-
-
brianrlarson authored
-
- 06 Feb, 2021 1 commit
-
-
Brian Larson authored
-
- 05 Feb, 2021 1 commit
-
-
Brian Larson authored
-
- 02 Jan, 2021 1 commit
-
-
Brian Larson authored
-
- 26 Dec, 2020 2 commits
-
-
Brian Larson authored
-
Brian Larson authored
-
- 25 Dec, 2020 2 commits
-
-
Brian Larson authored
-
Brian Larson authored
-
- 24 Dec, 2020 1 commit
-
-
Brian Larson authored
-
- 23 Dec, 2020 1 commit
-
-
Brian Larson authored
proved
-
- 22 Dec, 2020 1 commit
-
-
Brian Larson authored
in featue groups. The claimed missing in propagations are actually there.
-
- 20 Dec, 2020 1 commit
-
-
Brian Larson authored
-
- 11 Dec, 2020 1 commit
-
-
Brian Larson authored
warning.
-
- 29 Nov, 2020 4 commits
-
-
Brian Larson authored
-
Brian Larson authored
-
Brian Larson authored
-
Brian Larson authored
behaviors to prove
-
- 26 Oct, 2020 1 commit
-
-
Brian Larson authored
-
- 21 Oct, 2020 1 commit
-
-
Brian Larson authored
-
- 10 Oct, 2020 1 commit
-
-
Brian Larson authored
-
- 07 Sep, 2020 1 commit
-
-
Brian Larson authored
-
- 21 Aug, 2020 1 commit
-
-
Brian Larson authored
-
- 01 Aug, 2020 1 commit
-
-
Brian Larson authored
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.
-
- 31 Jul, 2020 1 commit
-
-
Brian Larson authored
New diagrams for requirements artifact, and move security, power, and GUI to functional architecture (from Services)
-
- 27 Jul, 2020 1 commit
-
-
Brian Larson authored
Functional. Only CPAL left in Services.
-
- 13 Jul, 2020 1 commit
-
-
Brian Larson authored
-
- 30 Jun, 2020 1 commit
-
-
thari authored
-
- 27 Jun, 2020 4 commits
-
-
thari authored
* master: being consistent with prop name # Conflicts: # AADL-workspace/Functional_PCA/packages/iPCA_Medical_Device.aadl
-
thari authored
-
thari authored
-
thari authored
* 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
-
- 19 Jun, 2020 1 commit
-
-
Brian Larson authored
-
- 15 Jun, 2020 1 commit
-
-
Brian Larson authored
-
- 12 Jun, 2020 1 commit
-
-
thari authored
-
- 10 Jun, 2020 1 commit
-
-
thari authored
-