Closed
Description
When invoking the binpacker from ALISA, and the system is not schedulable, the following code is triggered
./analyses/org.osate.analysis.resource.management/src/org/osate/analysis/resource/management/handlers/Binpack.java: org.osate.ui.dialogs.Dialog.showError(Application Binding Results",
this results in a window popping up with an error message.
This corresponds to the folloing ALISA verification method
method ResourceAllocationScheduling : "Allocate threads to processors and assure schedulability." [
plugin BinPack
category Quality.Timing
description
"Bind all threads to processors while maintaining schedulability and meeting binding constraints. This analysis uses a BinPacking technique by Dio DeNiz."
]