An extension for AADL to model mixed-criticality avionic systems deployed on IMA architectures with TTEthernet
['Robati Tiyam', 'Amine El Kouhen', 'Abdelouahed Gherbi', 'Sardaouna Hamadou', 'John Mullins']
An extension for AADL to model mixed-criticality avionic systems deployed on IMA architectures with TTEthernet