A Case Study in Domain-Customized Model Checking for Real-Time Component Software

Hoosier, Matthew; Dwyer, Matthew B.; Robby, .; Hatcliff, John

doi:10.1007/11925040_11

Cited by 4 publications

(4 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Classical papers on avionics buses [12,4,9,2] are focused on real-time capabilities, in particular on flight control [9] and verification [12,2]. If previous research targeted on the military domain, nowadays the challenge is civil avionics because their applications must be easily adaptable and reconfigurable.…”

Section: Previous Workmentioning

confidence: 99%

“…Referring to middleware families most of research papers are based on CORBA Component Model [7,12,6,2,16]. For example, [12] presents Bogor, a model checking framework that models the semantics of real-time CORBA using a general complexity checking model.…”

Section: Previous Workmentioning

confidence: 99%

“…For example, [12] presents Bogor, a model checking framework that models the semantics of real-time CORBA using a general complexity checking model. In the case of [6], Edwards et al present how to automate the configuration of services in presence of quality of service capabilities.…”

Section: Previous Workmentioning

confidence: 99%

“…Avionics testbeds are mainly done for general aircraft systems [12,6]. Only [9] uses a testbed of flight demonstrations with a small UAV.…”

Section: Previous Workmentioning

confidence: 99%

See 3 more Smart Citations

A middleware architecture for unmanned aircraft avionics

López¹,

Royo²,

Pastor³

et al. 2007

Proceedings of the 2007 ACM/IFIP/USENIX International Conference on Middleware Companion

View full text Add to dashboard Cite

An Unmanned Aerial Vehicle is a non-piloted airplane designed to operate in dangerous and repetitive situations. With the advent of UAV's civil applications, UAVs are emerging as a valid option in commercial scenarios. If it must be economically viable, the same platform should implement a variety of missions with little reconfiguration time and overhead.This paper presents a middleware-based architecture specially suited to operate as a flexible payload and mission controller in a UAV. The system is composed of low-cost computing devices connected by network. The functionality is divided into reusable services distributed over a number of nodes with a middleware managing their lifecycle and communication. Some research has been done in this area; yet it is mainly focused on the control domain and in its realtime operation. Our proposal differs in that we address the implementation of adaptable and reconfigurable unmanned missions in low-cost and low-resources hardware.

show abstract