skip to main content
research-article

High confidence embedded software design: a quadrotor helicopter case study

Published: 01 June 2011 Publication History

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.

References

[1]
AscTec Hummingbird with AutoPilot User's Manual.
[2]
L. Cai and D. Gajski. Transaction level modeling: An overview. In Proc. of the Intl. Conf. on HW/SW Codesign and System Synthesis (CODES-ISSS), pages 19--24, Oct 2003.
[3]
L. P. Carloni, F. D. Bernardinis, C. Pinello, A. L. Sangiovanni-Vincentelli, and M. Sgroi. Platform-based design for embedded systems. In R. Zurawski, editor, The Embedded Systems Handbook. CRC Press, 2005.
[4]
D. Gajski, S. Abdi, A. Gertslauer, and G. Schirner. Embedded System Design: Modeling, Synthesis and Verification. Springer, 2009.
[5]
T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: A time-triggered language for embedded programming. Proc. of the IEEE, 91:84--99, Jan 2003.
[6]
N. Kottenstette and J. Porter. Digital passive attitude and altitude control schemes for quadrotor aircraft. In ICCA '09: 7th IEEE Intl. Conf. on Control and Automation, ChristChurch, New Zealand, 2009.
[7]
E. A. Lee. Embedded software. Advances in Computers, 56, 2002.
[8]
E. A. Lee and D. G. Messerschmitt. Synchronous data flow. Proc. of the IEEE, 75(9):1235--1245, 1987.
[9]
J. Porter and G. H. et al. The ESMoL Language and Tools for High-Confidence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis. Technical Report ISIS-10-109, ISIS, Vanderbilt Univ., 2010.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGBED Review
ACM SIGBED Review  Volume 8, Issue 2
Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
June 2011
41 pages
EISSN:1551-3688
DOI:10.1145/2000367
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2011
Published in SIGBED Volume 8, Issue 2

Check for updates

Author Tags

  1. computer aided software engineering
  2. digital control
  3. embedded software
  4. graphical models
  5. real-time systems

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 167
    Total Downloads
  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Jan 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media