Several bugs

[Guillaume Laurens (Airbus), Hugel and Strauss]

• Add a control in the window to select task/resource/buffer time lines to be displayed after scheduling simulation : the user has to select at least one time line to display.

• Add a control to forbid use of min_to_index/max_to_index operator in any parametric sections except election_section.

• Fix an erroneous "Undefined variables" in parametric scheduler.

• Fix a bug at event table export with non preemptive scheduler and fixed schedulers.

• Do not take into account AADL data declared into other data components. These subcomponents are currently discarded.

• The AADL parser has to check that all data/thread/buffers are binded to a cpu.

• Fix several bugs in the AADL parser. Add new AADL test files (papabech2.aadl and papabench1.aadl).

• Fix a bug related to PCP and PIP shared resources and their priority inheritance which was wrong in the case of POSIX 1003.1b scheduler.

• Add a control to ensure that a task which uses a shared resource is on the same processor.

• Fix a CONSTRAINT_ERROR on time sharing scheduler based on wait time when several processors with different schedulers were defined in the same project.

• Wake up times of poisson process task were badly computed.

• Lb_Undeclared_Identifier error message had an empty string value.

• Add a control on parametric task in order to be sure that parametric task always has an activation rule.

• Fix the --TRACE sc command which did not work since the last release.

• Add a control on parametric scheduler : a parametric scheduler should at least contain an election_section.

• Fix a bug in the processor widget : when the cancel button is pressed, in the case of a user-defined scheduler, the .sc file name can be lost.

• Fix a Bug in The Built-in Muf Scheduler and Add The Criticality Field in The task Widgets.

• Fix a bug related to the LCM sub-program (GCD sub-program of discret_util.adb).