The chimera methodology: Designing dynamically reconfigurable and reusable real-time software using port-based objects

International Journal of Software Engineering and Knowledge Engineering

Volumn 6, Issue 2, 1996, Pages 249-277

  Stewart, David B ^a   Khosla, Pradeep K ^b  

^a UNIVERSITY OF MARYLAND   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001710730     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194096000120     Document Type: Article

References (45)

1. B Abbott et al., "Model-based software synthesis", IEEE Softw., May 1993, pp. 42-52.
2. M. A. Arbib and H. Ehrig, "Linking schemas and module specifications for distributed systems", in Proc. 2nd IEEE Workshop on Future Trends of Distributed Computing Systems, Cairo, Egypt, September 1990.
3. B. W. Beach, "Connecting software components with declarative glue", in Proc. Int. Conf. on Software Engineering, Melbourne, Australia, May 1992, pp. 11-15.
4. T. E. Bihari and P. Gopinath, "Object-oriented real-time systems: concepts and examples", IEEE Computer 25, 12 (1992) 25-32.
5. W. Blokland and J. Sztipanovits, "Knowledge-based approach to reconfigurable control systems", in Proc. 1988 American Control Conference, Atlanta, Georgia, June 1988, pp. 1623-1628.
6. G. Booch, "Object-oriented development", IEEE Trans. Softw. Eng. SE-12, 2 (1986) 211-221.
7. J. J. Craig, Introduction to Robotics, 2nd Ed. (Addison Wesley, Reading, Massachusetts, 1989).
8. M. W. Gertz, A Visual Programming Environment for Real-Time Sensor-Based Systems, Ph.D. Dissertation, Dept. of Electrical and Computer Engineering, Carnegie Mellon University, November 1994. Available on-line, URL = http:// www.ee.umd.edu/vdstewart/bib.
9. M. W. Gertz, R. A. Maxion, and P. K. Khosla, "Visual programming and hypermedia implementation within a distributed laboratory environment", Journal of Intelligent Automation and Soft Computing 1, 1 (1995) 43-62.
10. M. W. Gertz, D. B. Stewart, B. Nelson, and P. K. Khosla, "Using hypermedia and reconfigurable software assembly to support virtual laboratories and factories", in Proc. 5th Int. Symp. on Robotics and Manufacturing (ISRAM), Maui, Hawaii, August 1994, pp. 493-500.
11. A. Gheith, B. Mukherjee, D. Silva, and K. Schwan, "KTK: Kernel support for configurable objects and invocations", in Proc. of Second Int'l Workshop on Configurable Distributed Systems, Pittsburgh, PA, March 1994, pp. 92-105.
12. M. Gorlick, "A visual platform for the synthesis of complex systems", in Proc. 1994 Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW '94), Silver Spring, MD, July 1994, pp. 233-244.
13. N. Haberman, D. Notkin, "Gandalf: software development environments", IEEE Trans. Softw. Eng. 12, 12 (1986) 1117-1127.
14. Ironies Incorporated, IV3230 VMEbus Single Board Computer and Multiprocessing Engine User's Manual, Technical Support Group, 798 Cascadilla Street, Ithaca, New York 14850.
15. R. K. Jullig, "Applying formal software synthesis", IEEE Softw. 10, 3 (1993) 11-22.
16. L. Kelmar and P. K. Khosla, "Automatic generation of forward and inverse kinematics for a reconfigurable modular manipulators systems", in J. Robotics Systems 7, 4 (1990) 599-619.
17. J. Kramer, J. Magee, and K. Ng, "Graphical configuration programming", IEEE Computer 22, 10 (1989) 53-65.
18. G. K. Krikor, M. T. Raza, and D. B. Stewart, "Design of a real-time co-operating system for multiprocessor workstations", in Proc. Hawaii Int. Conf. on System Sciences, Software Technology Track, Jan. 1996, pp. 499-507.
19. D. A. Lamb, "IDL: Sharing intermediate representations", ACM Trans. Programming Languages Systems 9, 3 (1987) 297-318.
20. D. M. Lyons and M. A. Arbib, "A formal model of computation for sensory-based robotics", IEEE Trans. Robotics and Automation 5, 3 (1989) 280-293.
21. J. Magee, N. Dulay, and J. Kramer, "Structuring parallel and distributed programs", IEEE Softw. Eng. J. 8, 2 (1993) 73-82.
22. J. Magee, J. Kramer, and M. Sloman, "Constructing distributed systems in Conic", IEEE Trans. Softw. Eng. SE-15, 6 (1989).
23. J. Magee, J. Kramer, M. Sloman, and N. Dulay, "Configuring object-based distributed programs in REX", IEEE Softw. Eng. J. 8, 2 (1992) 139-149.
24. B. Markiewicz, "Analysis of the computed-torque drive method and comparison with the conventional position servo for a computer-controlled manipulator", Technical Memorandum 33-601, The Jet Propulsion Laboratory, California Institute of Technology, Pasadena, California, March 1973.
25. K. Marzullo, R. Cooper, M. D. Wood, and K. P. Birman, "Tools for distributed application management", in IEEE Computer 24, 8 (1991) 42-51.
26. L. D. Molesky, C. Shen, G. Zlokapa, "Predictable synchronization mechanisms for multiprocessor real-time systems", Real-Time Systems 2, 3 (1990).
27. B. Nelson and P.K. Khosla, "Integrating sensor placement and visual tracking strategies", in Proc. Experimental Robotics III: The Third International Symposium, Kyoto, Japan, October 1993.
28. J. M. Purtilo and J. M. Atlee, "Module reuse by interface adaptation", Software-Practice and Experience 21, 6 (1991) 539-556.
29. R. Rajkumar, "Real-time synchronization protocols for shared memory multiprocessors", in Proc. 10th Int. Conf. Distributed Computing Systems, Paris, France, June 1990, pp. 116-123.
30. C. Rattray, J. Mclnnes, A. Reeves, and M. Thomas, "Knowledge-based software production: from specification to program", in UT IK 88 Conference Publication, July 1988, pp. 99-102.
31. D. E. Schmitz, P. K. Khosla, and T. Kanade, "The CMU reconfigurable modular manipulator system", in Proc. Int. Symp. and Exposition on Robots (designated 19th ISIR), Sydney, Australia, November 1988, pp. 473-488.
32. K. Schwan, P. Gopinath, and W. Bo, "Chaos: kernel support for objects in the realtime domain", IEEE Trans. Computers C-36, 8 (1987) 904-916.
33. L. Sha and J. B. Goodenough, "Real-time scheduling theory and Ada", IEEE Computer 23, 4 (1990) 53-62.
34. L. Sha, R. Rajkumar, and J. P. Lehoczky, "Priority inheritance protocols: an approach to real-time synchronization", Carnegie Mellon University, CS Dept., Tech Report #CMU-CS-87-181, November 1987.
35. T. E. Smith and D. E. Setliff, "Towards an automatic synthesis system for real-time software", in Proc. Real-Time Systems Symposium, San Antonio, Texas, December 1991, pp. 34-42.
36. D. B. Stewart, Real-Time Software Design and Analysis of Reconfigurable Multi-Sensor Rased Systems, Ph.D. Dissertation, Carnegie Mellon University (Pittsburgh, PA) April 1994. Available on-line, URL=http://www.ee.umd.edu/vdstewart/bib.; 196 pages.
37. D. B. Stewart and P. K. Khosla, "Real-time scheduling of sensor-based control systems", in Real-Time Programming, Eds. W. Halang and K. Ramamritham (Pergamon Press Inc., Tarrytown, New York, 1992).
38. D. B. Stewart, D. E. Schmitz, and P. K. Khosla, "The Chimera II real-time operating system for advanced sensor-based robotic applications", IEEE Trans. Systems, Man, and Cybernetics 22, 6 (1992) 1282-1295.
39. D. B. Stewart, R. A. Volpe, and P. K. Khosla, "Integration of real-time software modules for reconfigurable sensor-based control systems", in Proc. 1992 IEEE/RSJ Int. Conf. Intelligent Robots and Systems (IROS '92), Raleigh, NC, July 1992, pp. 325-333.
40. M. Steenstrup, M. A. Arbib, and E. G. Manes, "Port automata and the algebra of concurrent processes", J. Comput. Syst. Sci. 27, 1 (1983) 29-50.
41. A. K. Tetewsky, "GUI development for real-time applications", Dr. Dobb's Journal 19, 6 (1994) 28-41.
42. S. Vestal, "Mode changes in a real-time architecture description language" in Proc. 2nd Int. Workshop on Configurable Distributed Systems, Pittsburgh, PA, March 1994, pp. 136-146.
43. R. J. Vetter, C. Spell, and C. Ward, "Mosaic and the World-Wide Web", IEEE Computer 27, 10 (1994) 49-57.
44. VMETRO Inc., VBT-321 Advanced VMEbus Tracer User's Manual, 2500 Wilcrest, Suite 530, Houston, Texas 77042.
45. C. Wampler and L. Leifer, "Applications of damped least-squares methods to resolved-rate and resolved-acceleration control of manipulators", ASME J. Dynamic Systems, Measurement, and Control 110 (1988) 31-38.