Title :
An approach to generate optimized cyclic scheduling from AADL specification
Author :
Masini, Henrique Forlani
Abstract :
█ Assumptions made must be respected: requirements in a standard format and function-wise WCET estimation. █ Use of multi-processors not considered. █ We are currently adding memory restrictions to the mathematical formulation.
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2014 IEEE/AIAA 33rd
Conference_Location :
Colorado Springs, CO, USA
Print_ISBN :
978-1-4799-5002-7
DOI :
10.1109/DASC.2014.6979670
