• DocumentCode
    181348
  • Title

    An approach to generate optimized cyclic scheduling from AADL specification

  • Author

    Masini, Henrique Forlani

  • fYear
    2014
  • fDate
    5-9 Oct. 2014
  • Firstpage
    1
  • Lastpage
    40
  • 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.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Digital Avionics Systems Conference (DASC), 2014 IEEE/AIAA 33rd
  • Conference_Location
    Colorado Springs, CO, USA
  • Print_ISBN
    978-1-4799-5002-7
  • Type

    conf

  • DOI
    10.1109/DASC.2014.6979670
  • Filename
    6979670
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=181348