Priority Inversion Checker

The Priority Inversion Checker plug-in checks AADL instance models for priority inversion. It does so for AADL instance models that contain periodic threads with explicitly assigned priority through the property SEI::Priority and have an actual processor binding specified for threads.