• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations

DMCA

Embedded Software (2002)

Cached

  • Download as a PDF

Download Links

  • [ptolemy.eecs.berkeley.edu]
  • [www.ece.ucsb.edu]
  • [www.hh.se]
  • [www.hh.se]
  • [www.hh.se]
  • [ptolemy.eecs.berkeley.edu]
  • [ptolemy.eecs.berkeley.edu]
  • [ptolemy.eecs.berkeley.edu]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Edward A. Lee
Venue:Advances in Computers
Citations:63 - 7 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@INPROCEEDINGS{Lee02embeddedsoftware,
    author = {Edward A. Lee},
    title = {Embedded Software},
    booktitle = {Advances in Computers},
    year = {2002},
    pages = {2002},
    publisher = {Academic Press}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

The science of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, continuums, reactivity, and resource management must be remarried to computation. Prevailing abstractions of computational systems leave out these "non-functional" aspects. This chapter explains why embedded software is not just software on small computers, and why it therefore needs fundamentally new views of computation. It suggests component architectures based on a principle called "actor-oriented design," where actors interact according to a model of computation, and describes some models of computation that are suitable for embedded software. It then suggests that actors can define interfaces that declare dynamic aspects that are essential to embedded software, such as temporal properties. These interfaces can be structured in a "system-level type system" that supports the sort of design-time and run-time type checking that conventional software benefits from.

Keyphrases

physical world    embedded software    non-functional aspect    computational system    component architecture    new view    dynamic aspect    temporal property    system-level type system    run-time type checking    small computer    conventional software benefit    embedded software system    actor-oriented design   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University