Alternate document:   Details   Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements (02) Insik Shin, Insup Lee, Sang

See this document in CiteSeerX!

Embedded Software (2002)  (Make Corrections)  (9 citations)
Edward A. Lee



  Home/Search   Context   Related

 
View or download:
berkeley.edu/publicati...embsoftwre.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  berkeley.edu/publications/pape... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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... (Update)

Cited by:   More
Software Architectural Support for Handheld Computing - Medvidovic, al. (2003)   (Correct)
A Style-Aware Architectural Middleware for.. - Malek, Mikic-Rakic.. (2005)   (Correct)
Implementation Issues in Hybrid Embedded Systems - Neuendorffer (2003)   (Correct)

Similar documents (at the sentence level):   More
42.7%:   Embedded Software - An Agenda for Research - Lee (1999)   (Correct)
14.8%:   Computing for Embedded Systems - Lee (2001)   (Correct)
5.6%:   Ptolemy II: Heterogeneous Concurrent Modeling and.. - Davis, II, Goel.. (1999)   (Correct)

Active bibliography (related documents):   More   All
3.8:   Embedded Software - Lee (2001)   (Correct)
0.5:   Actor-Oriented Design Of Embedded Hardware And Software.. - Lee, Neuendorffer.. (2003)   (Correct)
0.4:   Design of Embedded Systems: Formal Models.. - Edwards, Lavagno.. (1997)   (Correct)

Similar documents based on text:   More   All
0.5:   What's Ahead for Embedded Software? - Lee (2000)   (Correct)
0.4:   ENEE 759E: Overview (Handout 3) - Enee Fall Ece   (Correct)
0.3:   An Architecture for Embedded Software Integration Using.. - Wang, Shin (2000)   (Correct)

Related documents from co-citation:   More   All
4:   The Esterel synchronous programming language: Design - Berry, Gonthier - 1992
3:   An Extensible Type System for Component-Based Design (context) - Xiong, Lee
3:   Communicating Sequential Processes (context) - Hoare - 1985

BibTeX entry:   (Update)

E. A. Lee. Embedded software. Advances in Computers, 56, 2002. http://citeseer.ist.psu.edu/lee02embedded.html   More

@misc{ lee02embedded,
  author = "E. Lee",
  title = "Embedded software",
  text = "E. A. Lee. Embedded software. Advances in Computers, 56, 2002.",
  year = "2002",
  url = "citeseer.ist.psu.edu/lee02embedded.html" }
Citations (may not include all citations):
2732   Communicating Sequential Processes (context) - Hoare - 1978
2157   Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Gamma, Helm et al. - 1994
1582   Scheduling Algorithms for Multiprogramming in a Hard-Real-Ti.. - Liu, Layland - 1973
1180   The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1991
1174   Statecharts: A Visual Formalism for Complex Systems - Harel - 1987
809   A Theory of Type Polymorphism in Programming (context) - Milner - 1978
718   Distributed Algorithms (context) - Lynch - 1996
673   Actors: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
457   The Esterel synchronous programming language: Design, semant.. - Berry, Gonthier - 1992
352   Virtual Time and Global States of Distributed Systems - Mattern - 1989
352   Time, Clocks, and the Ordering of Events in a Distributed Sy.. (context) - Lamport - 1978
302   The Semantics of a Simple Language for Parallel Programming (context) - Kahn - 1974
297   STATEMATE: A Working Environment for the Development of Comp.. - Harel, Lachover et al. - 1990
271   Real-Time Object-Oriented Modeling (context) - Selic, Gullekson et al. - 1994
235   The Synchronous Data Flow Programming Language LUSTRE - Halbwachs, Caspi et al. - 1991
232   Linda in Context (context) - Carriero, Gelernter - 1989
231   Active messages: a mechanism for integrated communications a.. - von Eicken, Culler et al. - 1992
211   The Synchronous Approach to Reactive and RealTime Systems (context) - Benveniste, Berry - 1991
210   Cooperating Sequential Processes (context) - Dijkstra - 1968
210   Synchronous Data Flow (context) - Lee, Messerschmitt - 1987
194   the Development of Reactive Systems (context) - Harel, Pnueli - 1985
185   Linda and Friends (context) - Ahuja, Carreiro et al. - 1986
177   Formalizing Architectural Connection (context) - Allen, Garlan - 1994
160   The theory of hybrid automata - Henzinger - 1996
150   Static Scheduling of Synchronous Data Flow Programs for Digi.. (context) - Lee, Messerschmitt - 1987
131   Concurrent Object-Oriented Programming (context) - Agha - 1990
131   An Event-Based Architecture Definition Language - Luckham, Vera - 1995
126   A Timed Model for Communicating Sequential Processes (context) - Reed, Roscoe - 1988
125   Outline of a mathematical theory of computation (context) - Scott - 1970
112   LUSTRE: A Declarative Language for Programming Synchronous S.. (context) - Caspi, Pilaud et al. - 1987
110   Eliminating Array Bound Checking Through Dependent Types - Xi, Pfenning - 1998
106   Dataflow Process Networks - Lee, Parks - 1995
99   Polymorphic Effect Systems (context) - Lucassen, Gifford - 1988
95   On Computable Numbers with an Application to the Entscheidun.. (context) - Turing - 1936
95   A Practitioner's Handbook for Real-Time Analysis: Guide to R.. (context) - Klein, Ralya et al. - 1993
90   On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner - 1985
79   Elements of ML Programming (context) - Ullman - 1994
74   Software Synthesis from Dataflow Graphs (context) - Bhattacharyya, Murthy et al. - 1996
72   Hybrid Dynamical Systems Theory and the SIGNAL Language (context) - Benveniste, Le Guernic - 1990
71   Scheduling Dynamic Dataflow Graphs with Bounded Memory Using.. - Buck - 1993
65   Communicating Reactive Processes - Berry, Ramesh et al. - 1993
57   The Argos Language: Graphical Representation of Automata and.. - Maraninchi - 1991
52   Properties of a Model for Parallel Computations: Determinacy.. (context) - Karp, Miller - 1966
48   A Methodology for Architecture Exploration of Heterogeneous .. - Lieverse, Van Der Wolf et al. - 2001
46   An efficient implementation of reactivity for modeling hardw.. - Liao, Tjiang et al. - 1997
45   A Framework for Comparing Models of Computation (context) - Lee, Sangiovanni-Vincentelli - 1998
40   A Comparison of Statecharts Variants (context) - von der Beeck - 1994
39   Giotto: A Time-Triggered Language for Embedded Programming - Henzinger, Horowitz et al. - 2001
39   Telecommunications Systems Engineering Using SDL (context) - Saracco, Smith et al. - 1989
32   Real Time programming: Special purpose or general purpose la.. (context) - Berry - 1989
32   Abstracting Interaction Patterns: A Programming Paradigm for.. - Agha - 1997
31   Bounded Scheduling of Process Networks - Parks - 1995
30   Real-Time UML (context) - Douglass - 1998
29   A Universal Smart Transducer Interface: TTP - Kopetz, Holzmann et al. - 2000
28   A Metalanguage for Interactive Proof in LCF (context) - Gordon, Milner et al. - 1978
28   Tractable Constraints in Finite Semilattices - Rehof, Mogensen - 1996
27   Interface Theories for Component-Based Design - de Alfaro, Henzinger - 2001
25   A Multiparadigm Language for Reactive Systems - Jourdan, Lagnier et al. - 1994
25   System-Level Types for Component-Based Design - Lee, Xiong - 2001
25   Hierarchical Finite State Machines with Multiple Concurrency.. - Girault, Lee et al. - 1999
23   Geometric Parallelism and Cyclo-Static Dataflow in GRAPE-II (context) - Lauwereins, Wauters et al. - 1994
22   Performance Prediction of Parallel Processing Systems: The P.. - van Gemund - 1993
17   An Extensible Type System for Component-Based Design (context) - Xiong, Lee - 2000
16   Heterogeneous Concurrent Modeling and Design in Java (context) - Hylands, Kienhuis et al. - 2001
15   An Introduction to System Level Modeling in SystemC 2.0 (context) - Swan - 2001
15   Combinatorics and Partially Ordered Sets (context) - Trotter - 1992
15   The Specification and Execution of Heterogeneous Synchronous.. - Edwards - 1997
14   Conception, Evolution, and Application of Functional Program.. (context) - Hudak - 1989
13   Logical Time in Distributed Systems (context) - Fidge - 1991
13   Continuous Time and Mixed-Signal Simulation in Ptolemy II (context) - Liu - 1998
11   Modeling Concurrent Real-time Processes Using Discrete Event.. (context) - Lee - 1999
8   Processing Graph Method Specification Version 1.0 (context) - Kaplan - 1987
8   A Formal Methodology for Hardware/Software Co-design of Embe.. (context) - Chiodo, Giusto et al. - 1994
8   Parallel Execution of GLU Programs (context) - Jagannathan - 1992
7   Discrete-Time Dataflow Models for Visual Simulation in Ptole.. (context) - Fong - 2001
5   Active Software (context) - Laddaga - 1998
5   Singleton, Union, and Intersection Types for Program Extract.. (context) - Hayashi - 1991
5   MoML - A Modeling Markup Language in XML, Version 0.4 (context) - Lee, Neuendorffer - 2000
5   Hierarchical Approach for Design of Multi-vehicle Multi-moda.. (context) - Koo, Liebman et al. - 2001
5   Advanced Languages for Systems Software: The Fox Project - Harper, Lee - 1994
4   Process Networks in Ptolemy II (context) - Goel - 1998
4   Englewood Cliffs (context) - Standard, Prentice-Hall - 1988
4   The Simulation of Synchronous Reactive Systems In Ptolemy II (context) - Whitaker - 2001
4   Concurrent Programming in JavaTM: Design Principles and Patt.. (context) - Lea - 1997
4   Multi-Facetted Design: The Key to Systems Engineering (context) - Alexander - 1998
4   Frameworks = (Components + Patterns (context) - Johnson - 1997
3   The Semantics and Execution of a Synchronous Block-Diagram L.. (context) - Edwards, Lee - 2001
3   CORBA: A Guide to Common Object Request Broker Architecture (context) - Ben-Natan - 1995
1   Orbit --- A Framework for High Assurance System Design and A.. (context) - Abu-Ghazaleh, Alexander et al. - 1998
1   Constructive Mathematics and Computer Programming (context) - Martin-Lf - 1980



The graph only includes citing articles where the year of publication is known.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC