Computing for embedded systems

Conference Record - IEEE Instrumentation and Measurement Technology Conference

Volumn 3, Issue , 2001, Pages 1830-1837

  Lee, E A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Architectural patterns; Concurrency; Embedded software; Frameworks; Models of computation; Real time

Indexed keywords

CONCURRENT ENGINEERING; EMBEDDED SYSTEMS; INTERFACES (COMPUTER); NETWORK PROTOCOLS; OBJECT ORIENTED PROGRAMMING;

EMBEDDED SOFTWARE DESIGN; MODEL OF COMPUTATION; TEMPORAL PROPERTIES;

SOFTWARE ENGINEERING;

EID: 0034833083     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (43)

1. Orbit - A framework for high assurance system design and analysis
2. Abstracting interaction patterns: A programming paradigm for open distributed systems
3. Multi-facetted design: The key to systems engineering
4. Formalizing architectural connection
5. The synchronous approach to reactive and real-time systems
6. Hybrid dynamical systems theory and the SIGNAL language
7. The Esterel synchronous programming language: Design, semantics, implementation
8. Overview of the Ptolemy Project
9. Logical time in distributed systems
10. Hierarchical finite state machines with multiple concurrency models
11. May 1997 draft of the ASM guide
12. The synchronous data flow programming language LUSTRE
13. Statecharts: A visual formalism for complex systems
14. STATEMATE: A working environment for the development of complex reactive systems
15. The theory of hybrid automata
16. Giotto: A time-triggered language for embedded programming
17. Communicating sequential processes
18. Frameworks = (components + patterns)
19. A multiparadigm language for reactive systems
20. The semantics of a simple language for parallel programming
21. A universal smart transducer interface: TTP/A
22. Time, clocks, and the ordering of events in a distributed system
23. Synchronous data flow
24. Dataflow process networks
25. A framework for comparing models of computation
26. System-level types for component-based design
27. An efficient implementation of reactivity for modeling hardware in the scenic design environment
28. An event-based architecture definition language
29. The argos language: Graphical representation of automata and description of reactive systems
30. A theory of type polymorphism in programming
31. A timed model for communicating sequential processes
32. The design of the TAO real-time object request broker
33. Performance prediction of parallel processing systems: The PAMELA methodology