Applying process technology to hardware design
We report on a case study of applying a two-tiered approach to model hardware design processes. First we use CCS and tools of the Concurrency Workbench to specify and rigorously analyse the dynamics of design processes. Then we transform the validated abstract process model semi-automatically into Marvel rules, objects and envelopes. The resulting executable model provides a process environment for the public domain collection of design tools, Alliance. The purpose of this experiment was to demonstrate that much of the effort currently spent for research under the headings “CAD frameworks” and “task and session management” could be saved by exploiting software engineering results, in particular the emerging software process technology.
Unable to display preview. Download preview PDF.
- 1.A. Greiner; F. PÊcheux. ALLIANCE: A complete Set of CAD Tools for teaching VLSI Design. Technical report, Laboratoire MASI/CAO-VLSI, Institut de Programmation Université et Marie Curie (PARIS VI).Google Scholar
- 2.A. Greiner; F. PÊcheux. AMD2901-TUTORIAL. Technical report, Laboratoire MASI/CAO-VLSI, Institut de Programmation Université et Marie Curie (PARIS VI).Google Scholar
- 3.R.A. Milner. Communication and Concurrency. Prentice-Hall, 1989.Google Scholar
- 4.F. Moller The Edinburgh Concurrency Workbench (Version 6.0) Department of Computer Science, University of Edinburg, August 15, 1991Google Scholar
- 5.B. Dinler and B. Krämer. Integrating a CAD Tool Box with a Software Process Environment: A Case Study. In Procs. Intern. Workshop on Hardware-Software Codesign, October 1993.Google Scholar
- 6.I. Sommerville and T. Rodden. Understanding the software process as a social process. In Software Process Technology, LNCS 635, pages 55–57, Berlin, Heidelberg, New York, 1992. Springer.Google Scholar
- 7.M.Saeki and T. Kaneko and M. Sakamoto. A Method for Software Process Modeling and Description using LOTOS. In First International Conference on the Software Process — Manufacturing Complex Systems, pages 90–104, October 1991. Computer Society Press.Google Scholar
- 8.G.E. Kaiser; P.H. Feiler; S.S. Popovich. Intelligent Assistance for Software Development and Maintenance. IEEE Software, pages 40–49, May 1988.Google Scholar
- 9.G.T. Heineman, G.E. Kaiser, N.S. Barghouti, and I.Z. BenShaul. Rule chaining in MARVEL: Dynamic binding of parameters. In 6th Annual Knowledge-Based Software Engineering Conference, pages 276–287, September 1991.Google Scholar
- 10.G.E. Kaiser, I.Z. Ben-Shaul, and S.S. Popovich. Implementing Activity Structures Process Modeling on Top of the MARVEL Environment Kernel. Columbia University, Department of Computer SCience, September 1991.Google Scholar
- 11.F. Moller The Edinburg Concurrency Workbench (Version 6.0) Department of Computer Science University of Edinburg, August 15, 1991Google Scholar