skip to main content
10.1145/1647420.1647441acmconferencesArticle/Chapter ViewAbstractPublication PagesadaConference Proceedingsconference-collections
short-paper

Use of SPARK in a resource constrained embedded system

Authors Info & Claims
Published:01 November 2009Publication History

ABSTRACT

We are constructing a remote sensing buoy that will be deployed on the Arctic sea ice north of Alaska. The buoy will gather environmental data and transmit that data back to home base via the Iridium satellite network. This data will then be used (by others) to refine models of ice movement. To enhance reliability the buoy software was written using SPARK Ada. SPARK was also helpful in reducing the memory footprint of the software to an acceptable level. Note also that the construction of the prototype buoy is a student project. Thus our experience is in an educational context.

References

  1. Crossworks for MSP430. http://www.rowley.co.uk/msp430/.Google ScholarGoogle Scholar
  2. Cubesat kit home. http://www.cubesatkit.com/.Google ScholarGoogle Scholar
  3. GCC toolchain for MSP430. http://mspgcc.sourceforge.net/.Google ScholarGoogle Scholar
  4. Sofcheck compiler technology. http://www.sofcheck.com/products/adamagic.html.Google ScholarGoogle Scholar
  5. U.S. army cold regions research and engineering laboratory (CRREL). http://www.crrel.usace.army.mil/.Google ScholarGoogle Scholar
  6. C. S. Brandon. Use of ada in a student cubesat project. Ada User Journal, 29(3), 2008.Google ScholarGoogle Scholar
  7. J. Yu, A. K. Liu, and Y. Zhao. Advances in Geosciences 2005, chapter Sea Ice Motion and Deformation in the Marginal Ice Zone Through SAR. World Scientific Publishing Company, 2005.Google ScholarGoogle Scholar

Index Terms

  1. Use of SPARK in a resource constrained embedded system

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in
          • Published in

            cover image ACM Conferences
            SIGAda '09: Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
            November 2009
            142 pages
            ISBN:9781605584751
            DOI:10.1145/1647420
            • cover image ACM SIGAda Ada Letters
              ACM SIGAda Ada Letters  Volume 29, Issue 3
              SIGAda '09
              December 2009
              113 pages
              ISSN:1094-3641
              DOI:10.1145/1653616
              Issue’s Table of Contents

            Copyright © 2009 ACM

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 1 November 2009

            Permissions

            Request permissions about this article.

            Request Permissions

            Check for updates

            Qualifiers

            • short-paper

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!