An architecture for embedded software integration using reusable components

Proceedings of the International Conference on Compilers, Architecture and Synthesis for Embedded Systems

Volumn , Issue , 2000, Pages 110-118

  Wang, Shige ^a   Shin, Kang G ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Component based integration; Embedded systems; Reconfigurable software; Software architecture

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; FINITE AUTOMATA; REAL TIME SYSTEMS;

FINITE STATE MACHINES (FSM);

EMBEDDED SYSTEMS;

EID: 0034592460     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/354880.354896     Document Type: Conference Paper

References (33)

1. G. A. Agha and W. Kim. Actors: A unifying model for parallel and distributed computing. Journal of Systems Architecture, 45(15):1263-1277, 1999.
2. R. Alur and M. Yannakakis. Model checking of hierarchical state machines. In Proceedings of the 6th ACM Symposium on Foundations of Software Engineering, pages 175-188, Lake Buena Vista, FL, 1998.
3. M. A. Ardis et al. A framework for evaluating specification methods for reactive systems: experience report. IEEE Transactions on Software Engineering, 22(6):378-389, June 1996.
4. M. Astley and G. A. Agha. A visualization model for concurrent systems. Information Sciences, 93(1-2):107-131, august 1996.
5. K. Black. Corba corsses the embedded systems. White Paper.
6. J. Bosch. Object acquaintance selection and binding. Theory and Practice of Object Systems, 4(3):151-168, 1998.
7. B. P. Douglass. Real-time UML: developing efficient objects for embedded systems. Addison-Wesley, 2000.
8. K. Feldmann et al. Specification, design, and implementation of logic controllers based on colored petri net models and the standard iec 1131. IEEE Transactions on Control Systems Technology, 7(6):657-674, November 1999.
9. D. L. Galli. Distributed Operating Systems: Concepts and Practice. Prentice Hall, Upper Saddle River, NJ, 2000.
10. D. Garlan, R. Allen, and J. Ockerbloom. Architecture mismatch: why reuse is so hard. IEEE Software, 12(6):17-26, november 1995.
11. A. Girault, B. Lee, and E. A. Lee. Hierarchical finite state machines with multiple concurrency models. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 18(6):742-760, 1999.
12. D. Harel. On visual formalisms. Communications of the ACM, 31(5):514-530, May 1998.
13. J. Hooman and O. V. Roosmalen. Timed-event abstraction and timing constraints in distributed real-time programming. In Proceedings of the 3rd International Workshop on Object-Oriented Real-Time Dependable Systems, pages 153-170, Newport Beach, CA., February 5-7 1997.
14. J. Hooman and O. V. Roosmalen. An approach to platform independent real-time programming: (1)Formal description. The International Journal of Time-Critical Computing Systems, 19:61-85, 2000.
15. Y. M. Huang and C. V. Ravishankar. Constructive protocol specification using cicero. IEEE Transaction on Software Engineering, 24(4):252-267, April 1998.
16. International Electrotechnical Commission Technical Committee. IEC 61499 - function blocks, 1999.
17. F. Jahanian and A. K. Mok. Modechart: A specification language for real-time systems. IEEE Transactions on Software Engineering, 20(12):933-947, December 1994.
18. J. Jonsson and K. G. Shin. Deadline assignments in distributed hard real-time systems with relaxed locality constraints. In Proceedings of the IEEE International Conference on Distributed Computing Systems, pages 432-440, Baltimore, MD, May 27-30 1997.
19. K. Nilsen. Java for real-time. Real-Time Systems, 11(2):197-205, September 1996.
20. OMAC working group. Omac apt documentation, version 0.23, April 1999.
21. J. O. Ostroff. Formal methods for the specification and design of real-time safety critical systems. http://www.cs.yorku.ca/jonathan/survey/combined-paper.html.
22. C. Passerone et al. Modeling reactive system in java. In Proceedings of the 6th International Workshop on Hardware/Software Codesign (CODES/CASHE'98), pages 15-19, March 15-18 1998.
23. D. Peng and K. G. Shin. Modeling of concurrent task execution in a distributed system for real-time control. IEEE Transactions on Computers, C-36(4):500-516, April 1987.
24. S. Ren and G. Agah. A modular approach for programming distributed real-time systems. In Lectures on Embedded Systems: European Educational Forum School on Embedded Systems (LNCS 1494), pages 171-207. Springer-Verlag, Veldhovan, Netherland, november 1996.
25. S. Schneider. Concurrent And Real-Time Systems: The CSP approach. John Wiley & Sons, Ltd., 2000.
26. B. Selic, G. Gullekson, and P. T. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons, Inc., 1994.
27. D. B. Stewart, R. A. Volpe, and P. K. Khosla. Design of dynamically reconfigurable real-time software using port-based objects. IEEE Transactions on Software Engineering, 23(12):759-775, December 1997.
28. J. Sztipanovits et al. Multigraph: an architecture for model-integrated computing. In Proceedings of the 1995 1st IEEE International Conference on Engineering of Complex Computer Systems, pages 361-368, Ft.Lauderdale, FL, 1995.
29. C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley Publishing Company, 1997.
30. T. Villa et al. Synthesis of Finite State Machines: logic Optimization. Kluwer Academic Publishers, 1997.
31. V. Vyatkin et al. Systematic modeling of discrete event systems with signal/event nets and its application to verification of iec 1499 function blocks. ftp://ftp.cle.ab.com/stds/iec/sc65bwg7tf3/html/news.htm, 1998.
32. S. Wang and K. G. Shin. Generic programming paradigm for machine control. In Proceedings of the World Automation Congress 2000, June 2000.
33. A. M. Zaremski and J. M. Wing. Specification matching of software components. ACM Transactions on Software Engineering & Methodology, 6(4):333-369, october 1997.