---
_id: '4423'
abstract:
- lang: eng
  text: Automation control systems typically incorporate legacy code and components
    that were originally designed to operate independently. Furthermore, they operate
    under stringent safety and timing constraints. Current design strategies deal
    with these requirements and characteristics with ad hoc approaches. In particular,
    when designing control laws, implementation constraints are often ignored or cursorily
    estimated. Indeed, costly redesigns are needed after a prototype of the control
    system is built due to missed timing constraints and subtle transient errors.
    In this paper, we use the concepts of platform-based design, and the Giotto programming
    language, to develop a methodology for the design of automation control systems
    that builds in modularity and correct-by-construction procedures. We illustrate
    our strategy by describing the (successful) application of the methodology to
    the design of a time-based control system for a rotorcraft Uninhabited Aerial
    Vehicle (UAV).
acknowledgement: "Research supported in part by DARPA under contract no.F33615-98-C-3614,
  Software Enabled Control, administered by\r\nAFRL, Dayton OH."
article_processing_charge: No
author:
- first_name: Benjamin
  full_name: Horowitz, Benjamin
  last_name: Horowitz
- first_name: Judith
  full_name: Liebman, Judith
  last_name: Liebman
- first_name: Cedric
  full_name: Ma, Cedric
  last_name: Ma
- first_name: T John
  full_name: Koo, T John
  last_name: Koo
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Alberto
  full_name: Sangiovanni Vincentelli, Alberto
  last_name: Sangiovanni Vincentelli
- first_name: Shankar
  full_name: Sastry, Shankar
  last_name: Sastry
citation:
  ama: 'Horowitz B, Liebman J, Ma C, et al. Embedded software design and system integration
    for rotorcraft UAV using platforms. In: <i>Proceedings of the 15th Triennial World
    Congress of the International Federation of Automatic Control</i>. Vol 15. Elsevier;
    2002. doi:<a href="https://doi.org/10.3182/20020721-6-ES-1901.01628">10.3182/20020721-6-ES-1901.01628</a>'
  apa: 'Horowitz, B., Liebman, J., Ma, C., Koo, T. J., Henzinger, T. A., Sangiovanni
    Vincentelli, A., &#38; Sastry, S. (2002). Embedded software design and system
    integration for rotorcraft UAV using platforms. In <i>Proceedings of the 15th
    Triennial World Congress of the International Federation of Automatic Control</i>
    (Vol. 15). Barcelona, Spain: Elsevier. <a href="https://doi.org/10.3182/20020721-6-ES-1901.01628">https://doi.org/10.3182/20020721-6-ES-1901.01628</a>'
  chicago: Horowitz, Benjamin, Judith Liebman, Cedric Ma, T John Koo, Thomas A Henzinger,
    Alberto Sangiovanni Vincentelli, and Shankar Sastry. “Embedded Software Design
    and System Integration for Rotorcraft UAV Using Platforms.” In <i>Proceedings
    of the 15th Triennial World Congress of the International Federation of Automatic
    Control</i>, Vol. 15. Elsevier, 2002. <a href="https://doi.org/10.3182/20020721-6-ES-1901.01628">https://doi.org/10.3182/20020721-6-ES-1901.01628</a>.
  ieee: B. Horowitz <i>et al.</i>, “Embedded software design and system integration
    for rotorcraft UAV using platforms,” in <i>Proceedings of the 15th Triennial World
    Congress of the International Federation of Automatic Control</i>, Barcelona,
    Spain, 2002, vol. 15, no. 1.
  ista: 'Horowitz B, Liebman J, Ma C, Koo TJ, Henzinger TA, Sangiovanni Vincentelli
    A, Sastry S. 2002. Embedded software design and system integration for rotorcraft
    UAV using platforms. Proceedings of the 15th Triennial World Congress of the International
    Federation of Automatic Control. IFAC: World Congress on Automatic Control vol.
    15.'
  mla: Horowitz, Benjamin, et al. “Embedded Software Design and System Integration
    for Rotorcraft UAV Using Platforms.” <i>Proceedings of the 15th Triennial World
    Congress of the International Federation of Automatic Control</i>, vol. 15, no.
    1, Elsevier, 2002, doi:<a href="https://doi.org/10.3182/20020721-6-ES-1901.01628">10.3182/20020721-6-ES-1901.01628</a>.
  short: B. Horowitz, J. Liebman, C. Ma, T.J. Koo, T.A. Henzinger, A. Sangiovanni
    Vincentelli, S. Sastry, in:, Proceedings of the 15th Triennial World Congress
    of the International Federation of Automatic Control, Elsevier, 2002.
conference:
  end_date: 2002-07-26
  location: Barcelona, Spain
  name: 'IFAC: World Congress on Automatic Control'
  start_date: 2002-07-21
date_created: 2018-12-11T12:08:47Z
date_published: 2002-07-01T00:00:00Z
date_updated: 2023-06-05T09:55:10Z
day: '01'
doi: 10.3182/20020721-6-ES-1901.01628
extern: '1'
intvolume: '        15'
issue: '1'
language:
- iso: eng
month: '07'
oa_version: None
publication: Proceedings of the 15th Triennial World Congress of the International
  Federation of Automatic Control
publication_identifier:
  issn:
  - 1474-6670
publication_status: published
publisher: Elsevier
publist_id: '306'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Embedded software design and system integration for rotorcraft UAV using platforms
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 15
year: '2002'
...