Formal Methods And Models For... | Buy

The gap between the size of microelectronic design/validation task and our ability to design these in a reasonable time is steadly increasing. We need tools and techniques to bridge this gap. Formal models and methods hold this promise by their focus on scalability, efficiency and design optimization. In additional, we need methodological innovations to bring formal techniques into practice. Exploiting the structure of the systems to decompose the problems into smaller ones, discovering the hierarchy and proper decomposition, abstraction, refinement, and other behavioral and structural properties of system are important for successful use of formal methods. Formal Methods and Models for System Design is organized as a series of articles written by industrial and academic experts who apply formal methods in hardware and software design, develop methodologies and tools, or develop theoretical formalisms. The emphasis of the book is on (i) formal frameworks for complex system modeling, such as system-on-chip, embedded software, component based systems, (ii) formal verification techniques, especially abstraction and refinement based methodologies, (iii) behavioral type theory for system integration, (iv) optimization techniques for executable system level models for efficient simulation, and execution, and (v)formal models for post-production configurability. Formal Methods and Models for System Design will provide readers with a sample of some of the recent developments in formal methods in system design. It can also be used as a graduate level text for a seminar based course.

Preface

vii

Part I Methods and Models for System Level Design

Modular Hierarchies of Models for Embedded Systems

3

(30)

Manfred Broy

Actor-oriented models for codesign

33

(24)

Edward A. Lee

Stephen Neuendorffer

Structural Component Composition for System-level Models

57

(26)

Frederic Doucet

Sandeep Shukla

Rajesh Gupta

Truly Heterogeneous modeling with SystemC

83

(20)

Hiren D. Patel

Sandeep K. Shukla

MoDe: A Method for System-Level Architecture Evaluation

103

(34)

Jan Romberg

Jewgenij Botaschanjan

Oscar Slotosch

Part II Models and Methods for System Validation

A Verification Methodology for Concurrent Software with Synchronous Communication

137

(22)

Christoph Sprenger

Krzysztof Worytkiewicz

High Level Verification of Control Intensive Systems

159

(22)

Edmund Clarke

Orna Grumberg

Muralidhar Talupur

Dong Wang

How to Compute the Refinement Relation for Parameterized Systems

181

(32)

Francoise Bellegarde

Celina Charlet

Olga Kouchnarenko

Part III Type Theoretic Models and Methods for System Design

Algebraic theory for behavioral type inference

213

(32)

Jean-Pierre Talpin

Paul Le Guernic

Behavioral type inference for compositional system design

245

(40)

Jean-Pierre Talpin

David Berner

Sandeep Kumar Shukla

Paul Le Guernic

Abdoulaye Gamatie

Rajesh Gupta

Part IV Optimizing System Models

Optimizations for Faster Execution of Esterel Programs

285

(32)

Dumitru Potop-Butucaru

Robert de Simone

Optimizing System Models for Simulation Efficiency

317

(14)

Shekhar A. Sharad

Sandeep Kumar Shukla

Capturing Formal Specification into Abstract Models

331

(22)

David Berner

Syed Suhaib

Sandeep Kumar Shukla

Jean-Pierre Talpin

Part V Post-Production Formal Methods

Engineering Changes in Field Modifiable Architectures

353

Satoshi Komatsu

Hiroshi Saito

Kenshu Seto

Yoshihisa Kojima

Masahiro Fujita

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.