Design and experimental validation of UAV control system software based on the TMO structuring scheme

Authors:
Hansol Park;Moon Hae Kim;Chun-Hyon Chang;Keechon Kim;Jung-Guk Kim;Doo-Hyun Kim
Affiliations:
School of Internet and Multimedia Engineering and Computer Science Department, Konkuk University, Seoul, Korea;School of Internet and Multimedia Engineering and Computer Science Department, Konkuk University, Seoul, Korea;School of Internet and Multimedia Engineering and Computer Science Department, Konkuk University, Seoul, Korea;School of Internet and Multimedia Engineering and Computer Science Department, Konkuk University, Seoul, Korea;Hankuk University of Foreign studies, Korea;School of Internet and Multimedia Engineering and Computer Science Department, Konkuk University, Seoul, Korea
Venue:
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Year:
2007

Citing 4
Cited 0

Object Structures for Real-Time Systems and Simulators

Computer
APIs for Real-Time Distributed Object Programming

Computer
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
An Efficient Middleware Architecture Supporting Time-Triggered Message-Triggered Objects and an NT-based Implementation

ISORC '99 Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The technologies for designing and validating computer-control systems subject to challenging timing and reliability requirements have been advancing slowly. One such type of systems are unmanned aerial vehicle (UAV) control systems. The functional complexity of UAV control systems is steadily increasing. Enabling the design of such complex systems in easily understandable forms that are amenable to rigorous analysis is a highly desirable goal. In this paper, we discuss our experimental application of the Time-triggered Message-triggered Object (TMO) structuring scheme to the design of a UAV control system. The TMO scheme enables high-level structuring together with design-time guaranteeing of accurate timings of various critical control actions with significantly smaller efforts than those required when using lower-level structuring schemes based on direct programming of threads, UDP invocations, etc. An experimental 2-step validation of a UAV control system is also discussed. The first step was to validate the system by use of an environment simulator and then real flight tests were involved only in the second step.