• DocumentCode
    721022
  • Title

    State-Based Real-Time Analysis for Function Networks and Marte

  • Author

    Gezgin, Tayfun ; Weber, Raphael ; Buker, Matthias

  • Author_Institution
    OFFIS - Inst. for Inf. Technol., Oldenburg, Germany
  • fYear
    2015
  • fDate
    13-17 April 2015
  • Firstpage
    158
  • Lastpage
    165
  • Abstract
    State-based real-time scheduling analyses offer a high accuracy especially for chains of functions. In this work we extend our state-based approach to also support complex activation behavior of the functions. Additionally, we use standard modeling techniques and well defined formalisms to foster the applicability and usability of our scheduling analysis. In our approach we use M ARTE to model the underlying architecture of a system consisting of embedded control units and bus systems. For timing requirements we use the requirement specification language RSL. In order to model complex activation patterns and internal states, we use an extended task network formalism called function networks. Our approach is evaluated with an industrial driver assistance system case study.
  • Keywords
    embedded systems; formal specification; real-time systems; scheduling; specification languages; transfer functions; MARTE; RSL; bus systems; complex activation behavior; embedded control units; extended task network formalism; function networks; industrial driver assistance system; model complex activation patterns; requirement specification language; scheduling analysis; state-based real-time scheduling analysis; timing requirements; Analytical models; Computational modeling; Contracts; Ports (Computers); Timing; Unified modeling language; Analysis; Function Networks; Marte; Modeling; Real-Time Analysis; State-Based Analysis; Timed Automata;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Real-Time Distributed Computing (ISORC), 2015 IEEE 18th International Symposium on
  • Conference_Location
    Auckland
  • ISSN
    1555-0885
  • Type

    conf

  • DOI
    10.1109/ISORC.2015.41
  • Filename
    7153802