UML analysis model from THALES as input

1
UML Methodology for Avionics Systems

• UML analysis model from THALES as input
• Design recommendation
• Annotating UML analysis model with performance
  parameters
• Getting the annotated UML analysis model
• Creating the UML performance model
• Compiling XMI output of UML analysis model
• Accessing to ISDB
• Getting the UML performance model
• Feeding the schedulability analysis and
  simulation
• Compiling XMI output of the UML performance model
• Compiling ISDB results required
• Creating data input for schedulability analysis
  and simulation
• To Rapid-RMA and HyPerformix Workbench simulation

2
THALES methodology
High-level definition
First sub-level definition

• On Braking System with significant use cases
• Used to identify functional decomposition

3
UML design model annotated
Class diagram
4
Performance data extraction

• from the previous model using XML tool suite
• UML model exported in XMI format
• Creation of a new XML document
• by a XSL Transformation
• containing exactly performance parameters
• from ISDB using Java and XML tool suite

5
UML performance model
Object model diagram
6
HyPerformix Workbenchinput parameters

• Structure of configuration input file required by
  Workbench
• CP(IO)M
• name CP(IO)M name.
• partitions_table table of partitions (array).
  For each partition
• name  name of the partition
• partition_duration length of the window
• cyclic_tasks_table table of cyclic tasks. For
  each task
• name name of the task
• period period of the task
• task_duration execution time of the task.
• max_duration maximum execution time of the task.
• data_table table of the data accessed within the
  CP(IO)M (array). For each data
• name name of the data
• type type of the data (enumerated afdx, a429,
  ethernet or can).
• ARINC 429 Source
• name ARINC 429 source name
• a429_service_time response time for an ARINC 429
  frame