Object-oriented co-specification for embedded systems

Microprocessors and Microsystems

Volumn 20, Issue 3 SPEC. ISS., 1996, Pages 141-147

  Wolf, Wayne ^a,b  

^a Princeton University   (United States)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

Embedded computing; Hardware software co design; Object oriented; Real time system

Indexed keywords

COMPUTER HARDWARE; COMPUTER SOFTWARE; MICROCOMPUTERS; OBJECT ORIENTED PROGRAMMING; PERFORMANCE; REAL TIME SYSTEMS; SPECIFICATIONS; SYSTEMS ANALYSIS;

CO DESIGN; CO SPECIFICATION; EMBEDDED COMPUTING;

COMPUTER ARCHITECTURE;

EID: 0030147831     PISSN: 01419331     EISSN: None     Source Type: Journal    
DOI: 10.1016/0141-9331(95)01071-8     Document Type: Article

References (9)

1. C. Rosebrugh and Eng-Kee Kwang, Multiple microcontrollers in an embedded system, Dr. Dobbs J. (January 1992) 48-57.
2. D.J. Hatley and I.A. Pirbahi, Strategies for Real-Time System Specification, Dorset House, New York, 1988.
3. G. Booch, Object-Oriented Design with Examples, Addison-Wesley, Menlo Park, 1988.
4. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy and W. Lorensen, Object-Oriented Modeling and Design, Prentice Hall, Englewood Cliffs, NJ, 1991.
5. S. Shlaer and S.J. Mellor, Object Lifecycles: Modeling the World in States, Yourdon Press, Englewood Cliffs, NJ, 1992.
6. N.S. Woo, A.E. Dunlop and W. Wolf, Codesign from cospecification, IEEE Comput. (January 1994) 42-47.
7. W. Wolf, A. Wolfe, S. Chinatti, R. Koshy, G. Slater and S. Sun, TigerSwitch: A case study in embedded computing system design, in Proc. 1994 Int. Workshop on Hardware-Software Co-Design, IEEE Computer Society Press, 1994, pp. 89-96.
8. P. Zave, A compositional approach to multiparadigm programming, IEEE Softw. (September 1989) 15-25.
9. A. Takach, W. Wolf and M. Leeser, An automaton model for scheduling constraints, IEEE Trans. Comput. 44 (January 1995) 1-12.