A higher level system communication model for object-oriented specification and design of embedded systems

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Volumn 2001-January, Issue , 2001, Pages 69-77

  Svarstad, K ^a   Ben Fredj, N ^b   Nicolescu, G ^b   Jerraya, A A ^b  

^a SINTEF   (Norway)

^b TIMA LABORATORY   (France)

Author keywords

Costs; Data encapsulation; Electronic mail; Embedded system; Informatics; Object oriented modeling; Production systems; Signal design; Signal processing; Telecommunications

Indexed keywords

ABSTRACTING; COMMON OBJECT REQUEST BROKER ARCHITECTURE (CORBA); COMPUTER AIDED DESIGN; COSTS; DATA ENCAPSULATION; DESIGN; ELECTRONIC MAIL; EMBEDDED SOFTWARE; INFORMATION THEORY; SIGNAL PROCESSING; SPECIFICATIONS; TELECOMMUNICATION;

COMMUNICATION MECHANISMS; COMMUNICATION PRIMITIVES; INFORMATICS; OBJECT ORIENTED MODEL; OBJECT-ORIENTED SPECIFICATIONS; PRODUCTION SYSTEM; SIGNAL DESIGN; SYSTEM-LEVEL SPECIFICATIONS;

EMBEDDED SYSTEMS;

EID: 84949782154     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASPDAC.2001.913283     Document Type: Conference Paper

References (18)

1. D. D. Gajski, F. Vahid, S. Narayan, and J. Gong, Specification and Design of Embedded Systems. Prentice Hall, 1994.
2. A. Takura and T. Ohta, "Stepwise refinement of communications service specifications for conforming to a functional-model," IEICE Transactions on Communications, vol. E77B, pp. 1322-1331, Nov 1994.
3. B. Lin and S. Vercauteren, "Synthesis of concurrent system interface modules with automatic protocol conversion generation," in Proceedings of the International Conference on Computer Aided Design, IEEE, Nov 1994.
4. M. Nakamura, Y. Kakuda, and T. Kikuno, "On constructing communication protocols from component-based service specifications," Computer Communications, vol. 19, pp. 1200-1215, Dec 1996.
5. S. Vercauteren and B. Lin, "Hardware/software communication and system integration for embedded architectures," Design Automation for Embedded Systems, vol. 2, pp. 359-382, May 1997.
6. A. Takura, T. Sera, and T. Ohta, "Protocol synthesis from rule-based communications service specifications," Electronics and Communications in Japan, Part I - Communications, vol. 81, pp. 22-35, Mar 1998.
7. J. D. Kleinsmith and D. D. Gajski, "Communication synthesis for reuse," Tech. Rep. ICS 98-06, Department of Information and Computer Science, University of California, Irvine, Feb 1998.
8. P. Coste, F. Hessel, P. Le Marrec, Z. Sugar, M. Romdhani, R. Suescun, N. Zergainoh, and A. A. Jerraya, "Multilanguage design of heterogeneous systems," in Proceedings of Seventh International Workshop on Hardware/Software Codesign, ACM Press, May 1999.
9. P. Knudsen and J. Madsen, "Integrating communication protocol selectiom with hardware/software codesign," IEEE Transactions on Computer-Aided Design of Integrated Circuits, vol. 18, pp. 1077-1095, Aug 1999.
10. International Telecommunication Union, CCITT - Specification and Description Language (SDL), Mar 1993. Recommendation Z.100.
11. W. Glunz, T. Kruse, T. Rossel, and D. Monjau, "Integrating SDL and VHDL for system level specification," in Proceedings of the Conference on Hardware Description Languages, Apr 1993.
12. B. Selic, G. Gullekson, and P. T. Ward, Real-Time Object-Oriented Modeling. Wiley Professional Computing, Wiley, 1994.
13. E. A. Lee, "Embedded software - an agenda for research," Tech. Rep. UCB ERL Memorandum M99/63, University of California at Berkeley, Dec 1999.
14. E. A. Lee and Y. Xiong, "System-level types for component-based design," Tech. Rep. UCB/ERL M00/8, University of California at Berkeley, Feb 2000.
15. Object Management Group, CORBAservices: Common Object Services Specification, Dec 1998. Available at http://www.omg.org/.
16. R. Milner, J. Parrow, and D. Walker, "A calculus of mobile processes, part I," Tech. Rep. ECS-LCFS-89-85, Computer Science Department, University of Edinburgh, Jun 1989.
17. R. Milner, J. Parrow, and D. Walker, "A calculus of mobile processes, part II," Tech. Rep. ECS-LCFS-89-86, Computer Science Department, University of Edinburgh, Jun 1989.
18. Synopsys, CoWare, Frontier Design, System-C Version 1.0 User Guide, 2000. Available at http://www.systemc.org/.