Citation
Jerry R. Burch, Roberto Passerone, Alberto Sangiovanni-Vincentelli. "Using Multiple Levels of Abstractions in Embedded Software Design". Proceedings of the first International Workshop on Embedded Software, October, 2001.

Abstract
The methodologies that are in use today for software development rely on representations and techniques appropriate for the applications (compilers, business applications, CAD, etc.) that have been traditionally implemented on programmable processors. Embedded software is different: by virtue of being embedded in a surrounding system, the software must be able to continuously react to stimula in the desired way. Verifying the correctness of the system requires that the model of the software be transformed to include (refine) or exclude (abstract) information to retain only what is relevant to the task at hand. In this paper, we outline a framework that we inted to use for studying the problems of abstraction and refinement in the context of embedded software for hybrid systems.

Electronic downloads

• BurchPasseroneASV_EMSOFT01.pdf · application/pdf · 246 kbytes

Citation formats

• HTML

  Jerry R. Burch, Roberto Passerone, Alberto
  Sangiovanni-Vincentelli. <a
  href="http://www.gigascale.org/pubs/135.html">Using
  Multiple Levels of Abstractions in Embedded Software
  Design</a>, Proceedings of the first International
  Workshop on Embedded Software, October, 2001.

• Plain text

  Jerry R. Burch, Roberto Passerone, Alberto
  Sangiovanni-Vincentelli. "Using Multiple Levels of
  Abstractions in Embedded Software Design". Proceedings of
  the first International Workshop on Embedded Software,
  October, 2001.

• BibTeX

  @inproceedings{BurchPasseroneSangiovanniVincentelli01_UsingMultipleLevelsOfAbstractionsInEmbeddedSoftwareDesign,
      author = {Jerry R. Burch and Roberto Passerone and Alberto
                Sangiovanni-Vincentelli},
      title = {Using Multiple Levels of Abstractions in Embedded
                Software Design},
      booktitle = {Proceedings of the first International Workshop on
                Embedded Software},
      month = {October},
      year = {2001},
      abstract = {The methodologies that are in use today for
                software development rely on representations and
                techniques appropriate for the applications
                (compilers, business applications, CAD, etc.) that
                have been traditionally implemented on
                programmable processors. Embedded software is
                different: by virtue of being embedded in a
                surrounding system, the software must be able to
                continuously react to stimula in the desired way.
                Verifying the correctness of the system requires
                that the model of the software be transformed to
                include (refine) or exclude (abstract) information
                to retain only what is relevant to the task at
                hand. In this paper, we outline a framework that
                we inted to use for studying the problems of
                abstraction and refinement in the context of
                embedded software for hybrid systems.},
      URL = {http://www.gigascale.org/pubs/135.html}
  }
  

Posted by Roberto Passerone, Ph.D. on 24 Oct 2001..

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.