Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Formal Methods and Models for System Design

A System Level Perspective

  • Book
  • © 2004

Overview

Editors:
  1. Rajesh Gupta

    1. University of California at San Diego, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Paul Le Guernic

    1. INRIA-IRISA, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Sandeep Kumar Shukla

    1. Virginia Tech, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Jean-Pierre Talpin

    1. INRIA-IRISA, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Techniques and tools relevant to both system-level hardware design, system on chip design, architecture-cautious embedded software design.
  • This is a unique book that brings together a divergent range of articles on System-Level design, which includes emerging design languages and system level design platforms, formal verification techniques, type theory based design etc.
  • For graduate students, researchers and CAD industry people this may be a very unique opportunity to learn all these from a single source

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.00
Price excludes VAT (USA)
  • Compact, lightweight 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-ix
    Download chapter PDF

  2. Methods and Models for System Level Design

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Modular Hierarchies of Models for Embedded Systems

      • Manfred Broy
      Pages 3-32

    3. Actor-Oriented Models for Codesign

      • Edward A. Lee, Stephen Neuendorffer
      Pages 33-56

    4. Structural Component Composition for System-Level Models

      • Frederic Doucet, Sandeep Shukla, Rajesh Gupta
      Pages 57-81

    5. Truly Heterogeneous Modeling with Systemc

      • Hiren D. Patel, Sandeep K. Shukla
      Pages 83-101

    6. Mode: A Method for System-Level Architecture Evaluation

      • Jan Romberg, Jewgenij Botaschanjan, Oscar Slotosch
      Pages 103-133

  3. Models and Methods for System Validation

    1. Front Matter

      Pages 135-135
      Download chapter PDF

    2. A Verification Methodology for Concurrent Software with Synchronous Communication

      • Christoph Sprenger, Krzysztof Worytkiewicz
      Pages 137-157

    3. Highlevel Verification of Control Intensive Systems Using Predicate Abstraction

      • Edmund Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang
      Pages 159-179

    4. How to Compute the Refinement Relation for Parameterized Systems

      • Françoise Bellegarde, Célina Charlet, Olga Kouchnarenko
      Pages 181-209

  4. Type Theoretic Models and Methods for System Design

    1. Front Matter

      Pages 211-211
      Download chapter PDF

    2. Behavioral Type Inference

      • Jean-Pierre Talpin, Paul Le Guernic
      Pages 213-243

    3. Behavioral Type Inference

      • Jean-Pierre Talpin, David Berner, Sandeep Kumar Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta
      Pages 245-282

  5. Optimizing System Models

    1. Front Matter

      Pages 283-283
      Download chapter PDF

    2. Optimizations for Faster Execution of Esterel Programs

      • Dumitru Potop-Butucaru, Robert de Simone
      Pages 285-315

    3. Optimizing System Models for Simulation Efficiency

      • Shekhar A. Sharad, Sandeep Kumar Shukla
      Pages 317-330

    4. XFM: Extreme Formal Method for Capturing Formal Specification into Abstract Models

      • David Berner, Syed Suhaib, Sandeep Kumar Shukla, Jean-Pierre Talpin
      Pages 331-349

  6. Post-Production Formal Methods

    1. Front Matter

      Pages 351-351
      Download chapter PDF

    2. Engineering Changes in Field Modifiable Architectures

      • Satoshi Komatsu, Hiroshi Saito, Kenshu Seto, Yoshihisa Kojima, Masahiro Fujita
      Pages 353-372
Back to top

Keywords

About this book

Perhaps nothing characterizes the inherent heterogeneity in embedded sys­ tems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core repre­ sent a careful division and design of hardware and software parts of the system To do this task effectively, models and methods are necessary functionality. to capture application behavior, needs and system implementation constraints. Formal modeling can be valuable in addressing these tasks. As with most engineering domains, co-design practice defines the state of the it seeks to add new capabilities in system conceptualization, mod­ art, though eling, optimization and implementation. These advances -particularly those related to synthesis and verification tasks -direct1y depend upon formal under­ standing of system behavior and performance measures. Current practice in system modeling relies upon exploiting high-level programming frameworks, such as SystemC, EstereI, to capture design at increasingly higher levels of ab­ straction and attempts to reduce the system implementation task. While raising the abstraction levels for design and verification tasks, to be really useful, these approaches must also provide for reuse, adaptation of the existing intellectual property (IP) blocks.

Reviews

From the reviews:

"This book explores various formal methods and models that can be used to manage the complexity … . This quite readable and self-contained monograph demonstrates some of the recent efforts made to address a very important issue, that is how to effectively and efficiently practice system design … . This is certainly an excellent reference book for system design practitioners and a very good example for those applied mathematicians who look for ways to apply their knowledge to solve practical problems." (Zhizhang Shen, Zentralblatt MATH, Vol. 1061 (12), 2005)

Editors and Affiliations

  • University of California at San Diego, USA

    Rajesh Gupta

  • INRIA-IRISA, USA

    Paul Le Guernic, Jean-Pierre Talpin

  • Virginia Tech, USA

    Sandeep Kumar Shukla

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation