High confidence embedded software design: a quadrotor helicopter case study

Authors:
Zhenkai Zhang;Joseph Porter;Nicholas Kottenstette;Xenofon Koutsoukos;Janos Sztipanovits
Affiliations:
Vanderbilt University, Nashville, TN;Vanderbilt University, Nashville, TN;Vanderbilt University, Nashville, TN;Vanderbilt University, Nashville, TN;Vanderbilt University, Nashville, TN
Venue:
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
Year:
2011

Citing 2
Cited 0

Transaction level modeling: an overview

Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Embedded System Design: Modeling, Synthesis and Verification

Embedded System Design: Modeling, Synthesis and Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

Traditional design methodology is not suitable for high-confidence embedded software due to the lack of a formal semantic model for software analysis, automatic code generation, and often designed embedded software is hard to reuse. In order to automatically generate high-confidence and reusable embedded software, we propose a TLM-centric, platform-based, time-triggered and component-oriented method. We use this new method to generate the control software for a quadrotor helicopter.