What's ahead for embedded software?

Computer

Volumn 33, Issue 9, 2000, Pages 18-26

  Lee, Edward A ^a,b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE DESCRIPTION LANGUAGE; DISTRIBUTED OBJECTS; EMBEDDED SOFTWARE; INTERACTION PATTERNS; REAL TIME SCHEDULING; TRANSMISSION CONTROL PROTOCOL;

AUTOMATA THEORY; COMPUTATIONAL METHODS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER NETWORKS; COMPUTER SIMULATION; CONSTRAINT THEORY; EMBEDDED SYSTEMS; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; SCHEDULING; SUBROUTINES; USER INTERFACES;

SOFTWARE ENGINEERING;

EID: 0034273528     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/2.868693     Document Type: Article

References (12)

1. G.A. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, MIT Press, Cambridge, Mass., 1986.
2. E.A. Lee and A. Sangiovanni-Vincentelli, "A Framework for Comparing Models of Computation," IEEE Trans. CAD Integrated Circuits and Systems, Dec. 1998, pp. 1217-1229.
3. A. Benveniste and P. Le Guernic, "Hybrid Dynamical Systems Theory and the SIGNAL Language," IEEE Trans. Automatic Control, May 1990, pp. 525-546.
4. L. Lamport, "Time, Clocks, and the Ordering of Events in a Distributed System," Comm. ACM, July 1978, pp. 558-565.
5. R. Allen and D. Garlan, "Formalizing Architectural Connection," Proc. 16th Int'l Conf. Software Eng. (ICSE 94), IEEE CS Press, Los Alamitos, Calif., 1994, pp. 71-80.
6. T.A. Henzinger, "The Theory of Hybrid Automata," Proc. 11th Symp. Logic in Computer Science, IEEE CS Press, Los Alamitos, Calif., 1996, pp. 278-292.
7. A. Girault, B. Lee, and E.A. Lee, "Hierarchical Finite State Machines with Multiple Concurrency Models," IEEE Trans. CAD Integrated Circuits and Systems, June 1999, pp. 742-760.
8. D. Harel et al., "STATEMATE: A Working Environment for the Development of Complex Reactive Systems," IEEE Trans. Software Eng., Apr. 1990, pp. 403-414.
9. W.T. Trotter, Combinatorics and Partially Ordered Sets, Johns Hopkins Univ. Press, Baltimore, 1992.
10. P. Martin-Löf, "Constructive Mathematics and Computer Programming," in Logic, Methodology, and Philosophy of Science VI, North-Holland, Amsterdam, 1980, pp. 153-175.
11. J.K. Ousterhout, "Scripting: Higher Level Programming for the 21st Century," Computer, Mar. 1998, pp. 22-30.
12. N. Abu-Ghazaleh et al., "Orbit - A Framework for High Assurance System Design and Analysis," Tech. Report TR 211/01/98/ECECS, Univ. of Cincinnati, 1998.