ADeS features

AADL support

• Support of the AADL component categories
  • Simulation of the scheduling of processes and threads by processors
  • Support of several scheduling policies
• Support of the AADL properties
• Support of the AADL modes
• Minimal behavior annex

Simulation support

• Display of the instantiated architecture
• Display of the current properties of each element
• Display of the upcoming simulation events
• Trace of the results of the simulation in the console
• Trace of the results of the simulation in a trace file
• Wizard for simulation project creation
• Wizard for simulation creation
• Simulation editor

Environment

• Eclipse plug-in, under EPL license
• Update site
• Interoperability with OSATE