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
Link To Document