Formal methods and models for system design: a system level perspective

✍ Scribed by Gupta, Rajesh Kumar (ed.)

Publisher: Kluwer;Springer
Year: 2004
Tongue: English
Leaves: 367
Edition: Softcover reprint
Category: Library

No coin nor oath required. For personal study only.

✦ Table of Contents

Preface. I: Methods and Models for System Level Design. 1. Modular Hierarchies of Models for Embedded Systems
M. Broy. 2. Actor-oriented Models for Codesign
E.A. Lee, S. Neuendorffer. 3. Structural Component Composition for System-level Models
F. Doucet, et al. 4. Truly Heterogeneous Modeling with SystemC
H.D. Patel, S.K. Shukla. 5. MoDe: A Method for System-level Architecture Evaluation
J. Romberg, et al. II: Models and Methods for System Evaluation. 6. A Verification Methodology for Concurrent Software with Synchronous Communication
C. Sprenger, K. Worytkiewicz. 7. High-level Verification of Control Intensive Systems
E. Clarke, et al. 8. How to Compute the Refinement Relation for Parameterized Systems
F. Bellegarde, et al. III: Type Theoretic Models and Methods for System Design. 9. Algebraic Theory for Behavioral Type Inference
J.-P. Talpin, P. Le Guernic. 10. Behavioral Type Inference for Compositional System design
J.-P. Talpin, et al. IV: Optimizing System Models. 11. Optimizations for Faster Execution of Esterel Programs
D. Potop-Butucaru, R. de Simone. 12. Optimizing System Models for Simulation Efficiency
S.A. Sharad, S.K. Shukla. 13. Capturing Formal Specification into Abstract Models
D. Berner, et al. V: Post Production Formal Methods. 14. Engineering Changes in Field Modifiable Architectures
S. Komatsu, et al.

✦ Subjects

ANALYSE DE SYSTÈMES + CONCEPTION DE SYSTÈMES (SYSTÈMES INFORMATIQUES);SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME);SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS);System design;ANALYSE DE SYSTÈMES + CONCEPTION DE SYSTÈMES (SYSTÈMES INFORMATIQUES)

📜 SIMILAR VOLUMES

Formal Methods and Models for System Des

📁 Formal Methods and Models for System Design: A System Level Perspective

✍ Manfred Broy (auth.), Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean- 📂 Library 📅 2004 🏛 Springer US 🌐 English

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

Transaction Level Modeling with SystemC:

📁 Transaction Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems

✍ Frank Ghenassia, Alain Clouard (auth.), Frank Ghenassia (eds.) 📂 Library 📅 2005 🏛 Springer US 🌐 English

Currently employed at STMicroelectronics, Transactional-Level Modeling (TLM) puts forward a novel SoC design methodology beyond RTL with measured improvements of productivity and first time silicon success. The SystemC consortium has published the official TLM development kit in

Abstract State Machines. A Method for Hi

📁 Abstract State Machines. A Method for High-Level System Design and Analysis

✍ Egon B¨orger, and Robert Stärk 📂 Library 📅 2003 🏛 Springer-Verlag 🌐 English

Abstract state machines: A method for hi

📁 Abstract state machines: A method for high-level system design and analysis

✍ Egon Boerger, Robert Staerk 📂 Library 📅 2003 🏛 Springer 🌐 English

This book combines the features of a textbook and a handbook Researchers will find here the most comprehensive description of ASMs available today and professionals will use it as a "modeling handbook of the working software engineer. As a textbook it supports self-study or it can form the basis of

Abstract state machines A method for hig

📁 Abstract state machines A method for high level system design and analysis

✍ Egon Börger, Robert Stärk 📂 Library 📅 2003 🏛 Springer 🌐 English

Abstract state machines..A method for hi

📁 Abstract state machines..A method for high-level system design and analysis

📂 Library 📅 2003 🏛 Springer 🌐 English