Formal Methods and Models for System Design

A System Level Perspective

  • Rajesh Gupta
  • Paul Le Guernic
  • Sandeep Kumar Shukla
  • Jean-Pierre Talpin

Table of contents

  1. Front Matter
    Pages i-ix
  2. Methods and Models for System Level Design

    1. Front Matter
      Pages 1-1
    2. Edward A. Lee, Stephen Neuendorffer
      Pages 33-56
    3. Frederic Doucet, Sandeep Shukla, Rajesh Gupta
      Pages 57-81
    4. Hiren D. Patel, Sandeep K. Shukla
      Pages 83-101
    5. Jan Romberg, Jewgenij Botaschanjan, Oscar Slotosch
      Pages 103-133
  3. Models and Methods for System Validation

    1. Front Matter
      Pages 135-135
    2. Christoph Sprenger, Krzysztof Worytkiewicz
      Pages 137-157
    3. Edmund Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang
      Pages 159-179
    4. 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
    2. Jean-Pierre Talpin, Paul Le Guernic
      Pages 213-243
    3. 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
    2. Dumitru Potop-Butucaru, Robert de Simone
      Pages 285-315
    3. Shekhar A. Sharad, Sandeep Kumar Shukla
      Pages 317-330
    4. David Berner, Syed Suhaib, Sandeep Kumar Shukla, Jean-Pierre Talpin
      Pages 331-349
  6. Post-Production Formal Methods

    1. Front Matter
      Pages 351-351
    2. Satoshi Komatsu, Hiroshi Saito, Kenshu Seto, Yoshihisa Kojima, Masahiro Fujita
      Pages 353-372

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.


Scala SystemC architecture communication complex system complex systems embedded systems formal method modeling optimization simulation static-induction transistor system on chip (SoC) tools

Editors and affiliations

  • Rajesh Gupta
    • 1
  • Paul Le Guernic
    • 2
  • Sandeep Kumar Shukla
    • 3
  • Jean-Pierre Talpin
    • 2
  1. 1.University of California at San DiegoUSA
  3. 3.Virginia TechUSA

Bibliographic information