Knowledge representation in MICKEY: An expert system for designing microprocessor-based systems

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

Volumn 27, Issue 4, 1997, Pages 467-479

  Mitra, Raj S ^a   Basu, Anupam ^a  

^a INDIAN INSTITUTE OF TECHNOLOGY   (India)

Author keywords

Computer aided design; Knowledge representation; Knowledge based systems; Real time embedded systems

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER HARDWARE; COMPUTER SOFTWARE; CONCURRENT ENGINEERING; EXPERT SYSTEMS; KNOWLEDGE BASED SYSTEMS; MICROCOMPUTERS;

INDUSTRIAL DESIGN; MICROPROCESSOR BASED SYSTEMS; REAL TIME EMBEDDED SYSTEMS;

KNOWLEDGE REPRESENTATION;

EID: 0031188923     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/3468.594913     Document Type: Article

References (27)

1. G. D. Micheli, "Computer aided hardware software codesign," IEEE Micro Mag., vol. 14, pp. 10-16, Aug 1994.
2. J. McDermott, "R1: The formative years," AI Mag., vol. 2, no. 2, 1981.
3. T. M. Mitchell, L. I. Steinberg, and J. S. Shulman, "A knowledge-based approach to design," IEEE Trans. Pattern Anal. Machine Intell., vol. 7, no. 5, pp. 502-510, 1985.
4. L. I. Steinberg, "Design = top down refinement plus constraint propagation plus what?," in Proc. IEEE Systems, Man, Cybernetics Conf., 1987.
5. V. E. Kelly, "The CRITTER system: Automated critiquing of digital circuit designs," in Proc. 21st DAC, New Mexico, 1984, pp. 419-425.
6. C. Tong, "Toward an engineering science of knowledge-based design," Int. J Artif. Intell. Eng., vol. 2, no. 3, 1987.
7. J. Granacki, D. Knapp, and A. C. Parker, "The ADAM advanced design automation system: Overview, planner, and natural language interface," in Proc. ACM/IEEE 22nd DAC, June 1985, pp. 727-730.
8. A. P. Gupta, W. P. Birmingham, and D. P. Siewiorek, "Automating the design of computer systems," IEEE Trans. Computer-Aided Design, vol. 12, no. 4, pp. 473-487, 1993.
9. T. J. Kowalski, An Artificial Intelligence Approach to VLSI Design. Boston, MA: Kluwer, 1985.
10. M. C. McFarland and T. J. Kowalski, "Incorporating bottom-up design into hardware synthesis," IEEE Trans. Computer-Aided Design, vol. 9, pp. 938-946, Sept. 1990.
11. F. Brewer and D. Gajski, "Chippe: A system for constraint driven behavioral synthesis," IEEE Trans. Computer-Aided Design, vol. 9, pp. 681-695, July 1990.
12. _, "An expert system paradigm for design," in Proc. 23rd DAC, 1991.
13. D. Harel, "Statecharts: A visual formalism for complex systems," Sci. Comput. Program., vol. 8, pp. 231-274, 1987.
14. S. Narayan, F. Vahid, and D. D. Gajski, "System specification and synthesis with the SpecCharts language," in Proc. Int. Conf. CAD (ICCAD-91), 1991, pp. 266-269.
15. R. S. Mitra, B. Guha, and A. Basu, "Rapid prototyping of microprocessor-based systems," in Proc. Int. Conf. CAD (ICCAD-93), Nov. 1993, pp. 600-603.
16. D. Barstow, "A perspective on automatic programming," AI Mag., vol. 5, no. 5, 1984.
17. J. R. Cameron, "An overview of JSD," IEEE Trans. Software Eng., vol. 12, no. 2, pp. 222-250, Feb, 1986.
18. M. A. Jackson, System Development. Englewood Cliffs, NJ: Prentice-Hall, 1983.
19. G. Dromey, Program Derivation. Reading, MA: Addison-Wesley, 1989.
20. Y. Ledru, "Developing reactive systems in a VDM framework," in Proc. 6th Int. Conf. Software Specifications Design, Oct. 1991, pp. 130-139.
21. R. M. Haralick and L. G. Shapiro, "The consistent labeling problem, part 1," IEEE Trans. Pattern Anal. Machine Intell., vol. 1, pp. 173-184, 1979.
22. R. M. Haralick and G. Elliott, "Increasing tree search efficiency for constraint satisfaction problems," Artif. Intell., vol. 14, pp. 263-313, 1980.
23. E. Hyvonen, "Constraint reasoning based on interval arithmetic: the tolerance propagation approach," Artif. Intell., vol. 58, pp. 71-112, 1992.
24. M. Stefik, "Planning with constraints (MOLGEN: Part 1)," Artif. Intell., vol. 16, no. 2, 1981.
25. L. Brownston, R. Farrell, E. Kant, and N. Martin, Programming Expert Systems in OPS5. Reading, MA: Addison-Wesley, 1986.
26. A. S. Krishnakumar and K. T. Cheng, "On the computation of the set of reachable states of hybrid models," in Proc. 31st DAC, 1994, pp. 615-621.
27. M. A. Manzoul, "Multiple overcurrent relays using a single microprocessor," IEEE Trans. Ind. Electron., vol. 37, no. 4, pp. 307-309, 1990.