• DocumentCode
    2454265
  • Title

    Integrating Virtual Execution Platform for Accurate Analysis in Distributed Real-Time Control System Development

  • Author

    Park, Sangsoo ; Olds, Walter ; Shin, Kang G. ; Wang, Shige

  • Author_Institution
    Univ. of Michigan, Ann Arbor
  • fYear
    2007
  • fDate
    3-6 Dec. 2007
  • Firstpage
    61
  • Lastpage
    72
  • Abstract
    A distributed real-time control system is modeled by automatically generating a virtual execution platform and integrating it with an abstract run-time model. This allows us to capture the dynamic effects of non-deterministic behavior of the underlying hardware and real-time operating system (RTOS), which cannot be accurately evaluated by existing static approaches. Our framework has been implemented and integrated with the existing AIRES toolkit. The construction of a virtual execution platform for a control application is observed to take 422ms. The integrated platform and control application consists of 56 software components connected by 1280 links for data exchanges and precedence relations, and the constructed platform executes the application at a normalized speed-defined as the ratio of simulation time to real time -10.6. Our preliminary evaluation has demonstrated the virtual execution platform´s capability of providing accurate run-time information at a reasonable time-cost.
  • Keywords
    control system analysis computing; distributed control; operating systems (computers); real-time systems; AIRES toolkit; abstract run-time model; accurate analysis; distributed real-time control system development; nondeterministic behavior; virtual execution platform; Application software; Automatic control; Automatic generation control; Control system synthesis; Control systems; Distributed control; Hardware; Operating systems; Real time systems; Runtime;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Real-Time Systems Symposium, 2007. RTSS 2007. 28th IEEE International
  • Conference_Location
    Tucson, AZ
  • ISSN
    1052-8725
  • Print_ISBN
    978-0-7695-3062-8
  • Type

    conf

  • DOI
    10.1109/RTSS.2007.21
  • Filename
    4408292