Skip to main content
SpringerLink
Log in

The Design of Communicating Systems

A System Engineering Approach

  • Book
  • © 1991

Overview

Authors:
  1. C. J. Koomen

    1. Philips Communication Systems, Hilversum, The Netherlands
      Department of Electrical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 147)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 16.99 USD 84.99
Discount applied Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 chapters)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Expressing Designs

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. The Basic Design Cycle

      • C. J. Koomen
      Pages 3-10

    3. Calculus of Communicating Systems

      • C. J. Koomen
      Pages 11-26

    4. Verification

      • C. J. Koomen
      Pages 27-47

    5. Fairness, queues and time

      • C. J. Koomen
      Pages 49-72

    6. Synthesis

      • C. J. Koomen
      Pages 73-91

    7. CCS and SDL

      • C. J. Koomen
      Pages 93-101

    8. CCS and Petri Nets

      • C. J. Koomen
      Pages 103-115

  3. A Design Method for Communicating Systems

    1. Front Matter

      Pages 117-117
      Download chapter PDF

    2. Design Process Descriptions

      • C. J. Koomen
      Pages 119-136

    3. The Communication Model

      • C. J. Koomen
      Pages 137-152

    4. The Application Model

      • C. J. Koomen
      Pages 153-170

    5. The Process Model

      • C. J. Koomen
      Pages 171-187

  4. Design, Creativity and Learning

    1. Front Matter

      Pages 189-189
      Download chapter PDF

    2. Design Iterations

      • C. J. Koomen
      Pages 191-202

    3. The Role of CAD and Learning in Design

      • C. J. Koomen
      Pages 203-211

    4. Design Metrics

      • C. J. Koomen
      Pages 213-224

  5. Back Matter

    Pages 241-251
    Download chapter PDF
Back to top

Keywords

About this book

"The professional schools will resume their professional responsibilities just to the degree that they can discover a science of design, a body of intellectually tough, partly formalizable, partly empirical teachable doctrine about the design process. " [H.A. Simon, 1968} Design is aimed at the transformation or translation of a specification or high­ level description into a description in terms of some real-world primitives. As such it involves the removal of the uncertainty about the way in which a required system can be realized. To optimally support the design of systems, we must look at the design process as a whole and at the strong relationship that exists between a designer, the applied design method, the required design tools and the ways in which designs can be expressed. This book focuses on that relationship. The application field we are concerned with is the design of systems in which the communication between system elements is a major design feature. Examples of such communicating systems are: communication protocols, telephone exchange control systems, process control systems, highly modular systems, embedded software, interactive systems, and VLSI systems. In summary, we are concerned with systems in which concurrency plays a major role (concurrency defines the mutual relationship between the activities in the different parts of a system or within a collection of systems).

Authors and Affiliations

  • Philips Communication Systems, Hilversum, The Netherlands

    C. J. Koomen

  • Department of Electrical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands

    C. J. Koomen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation