skip to main content
research-article

EMBEDDED DEVELOPMENT TOOLS REVISITED: Verification and Generation from the Top Down

Published: 14 October 2016 Publication History

Abstract

We envision a future where any programmer can automatically generate an embedded device from application code. A future in which a professional embedded engineer can "sketch" out a partial device design and automation can complete it, in which a hobbyist can write a program and, in a matter of days, receive a custom hardware in the mail. Building this future requires us to rethink the embedded development process and redesign the tools we use.

References

[1]
Joshua Auerbach et al. "A Compiler and Runtime for Heterogeneous Computing". In: Proceedings of the 49th Annual Design Automation Conference. DAC '12. San Francisco, California: ACM, 2012, pp. 271--276. isbn: 978-1-4503-1199-1. url: http://doi.acm.org/10.1145/2228360.2228411.
[2]
P. Derler, E. A. Lee, and A. Sangiovanni Vincentelli. "Modeling Cyber-Physical Systems". In: Proceedings of the IEEE 100.1 (2012), pp. 13--28. issn: 0018-9219. JPROC.2011.21609292.
[3]
R. Ernst. "Codesign of embedded systems: status and trends". In: IEEE Design Test of Computers 15.2 (1998), pp. 45--54. issn: 0740-7475.
[4]
Nathaniel Nystrom, Michael R Clarkson, et al. "Polyglot: An extensible compiler framework for Java". In: Compiler Construction. Springer. 2003, pp. 138--152.
[5]
Adrian Sampson et al. "EnerJ: Approximate data types for safe and general low-power computation". In: ACM SIGPLAN Notices. Vol. 46. 6. ACM. 2011, pp. 164--174.
[6]
Victor Fay Wolfe, Susan Davidson, and Insup Lee. "RTC: Language support for real-time concurrency". In: Real-Time Systems 5.1 (1993), pp. 63--87.

Cited By

View all
  • (2024)POSTER: Simplifying the Networking of Wireless Embedded Systems using a Large Language ModelProceedings of the ACM SIGCOMM 2024 Conference: Posters and Demos10.1145/3672202.3673752(78-80)Online publication date: 4-Aug-2024
  • (2020)TinyLinkACM Transactions on Sensor Networks10.1145/341236617:1(1-29)Online publication date: 27-Sep-2020
  • (2017)TinyLinkProceedings of the 23rd Annual International Conference on Mobile Computing and Networking10.1145/3117811.3117825(383-395)Online publication date: 4-Oct-2017
  1. EMBEDDED DEVELOPMENT TOOLS REVISITED: Verification and Generation from the Top Down

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image GetMobile: Mobile Computing and Communications
    GetMobile: Mobile Computing and Communications  Volume 20, Issue 2
    April 2016
    38 pages
    ISSN:2375-0529
    EISSN:2375-0537
    DOI:10.1145/3009808
    Issue’s Table of Contents
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 14 October 2016
    Published in SIGMOBILE-GETMOBILE Volume 20, Issue 2

    Check for updates

    Qualifiers

    • Research-article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)3
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 01 Jan 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2024)POSTER: Simplifying the Networking of Wireless Embedded Systems using a Large Language ModelProceedings of the ACM SIGCOMM 2024 Conference: Posters and Demos10.1145/3672202.3673752(78-80)Online publication date: 4-Aug-2024
    • (2020)TinyLinkACM Transactions on Sensor Networks10.1145/341236617:1(1-29)Online publication date: 27-Sep-2020
    • (2017)TinyLinkProceedings of the 23rd Annual International Conference on Mobile Computing and Networking10.1145/3117811.3117825(383-395)Online publication date: 4-Oct-2017

    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