Update docs and models and fix bugs for security verification

Jawher Jerrayrequested to merge
update_docs_and_fix_bugs_for_security_verif into master

This merge request aims to update docs and models and fix bugs for security verification. The main changes are:

  • Add help buttons in security Tab for channels operations windows.
  • Fix a bug when displaying the architecture name during the backtracing.
  • Update and fix warnings in SysMLSecTutorial model (in the folder modeling/SysMLSec).
  • Update SysMLSec doc and add figures.
  • Update and fix warnings in AliceAndBobHW model (in the folder modeling/SysMLSec).
  • Update diplodocus tutorial doc and add figures.

Merge request reports