Abstract
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.
This work was partially funded by the ESPRIT WG 6071 ISCORE and the German Minister of Research and Technology under project number KAN INF 16.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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).
A. Greiner; F. PÊcheux. AMD2901-TUTORIAL. Technical report, Laboratoire MASI/CAO-VLSI, Institut de Programmation Université et Marie Curie (PARIS VI).
R.A. Milner. Communication and Concurrency. Prentice-Hall, 1989.
F. Moller The Edinburgh Concurrency Workbench (Version 6.0) Department of Computer Science, University of Edinburg, August 15, 1991
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.
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.
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.
G.E. Kaiser; P.H. Feiler; S.S. Popovich. Intelligent Assistance for Software Development and Maintenance. IEEE Software, pages 40–49, May 1988.
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.
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.
F. Moller The Edinburg Concurrency Workbench (Version 6.0) Department of Computer Science University of Edinburg, August 15, 1991
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krämer, B., Dinler, B. (1994). Applying process technology to hardware design. In: Warboys, B.C. (eds) Software Process Technology. EWSPT 1994. Lecture Notes in Computer Science, vol 772. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57739-4_29
Download citation
DOI: https://doi.org/10.1007/3-540-57739-4_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57739-3
Online ISBN: 978-3-540-48326-7
eBook Packages: Springer Book Archive