Overview

In system design, generation of high-level abstract models that can be closely associated with evolving lower-level models provides designers with the ability to incrementally `test' an evolving design against a model of a specification. Such high-level models may deal with areas such as performance, reliability, availability, maintainability, and system safety. Abstract models also allow exploration of the hardware versus software design space in an incremental fashion as a fuller, detailed design unfolds, leaving behind the old practice of hardware-software binding too early in the design process. Such models may also allow the inclusion of non-functional aspects of design (e.g. space, power, heat) in a simulatable information model dealing with the system's operation. This book addresses Model Generation and Application specifically in the following domains: Specification modeling (linking object/data modeling, behavior modeling, and activity modeling). Operational specification modeling (modeling the way the system is supposed to operate - from a user's viewpoint). Linking non-functional parameters with specification models. Hybrid modeling (linking performance and functional elements). Application of high-level modeling to hardware/software approaches. Mathematical analysis techniques related to the modeling approaches. Reliability modeling. Applications of High Level Modeling. Reducing High Level Modeling to Practice. High-Level System Modeling: Specification and Design Methodologies describes the latest research and practice in the modeling of electronic systems and as such is an important update for all researchers, design engineers and technical managers working in design automation and circuit design.

Full Product Details

Author:   Ronald Waxman ,  Jean-Michel Bergé ,  Oz Levia ,  Jacques Rouillard
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   Softcover reprint of the original 1st ed. 1996
Volume:   4
Dimensions:   Width: 16.00cm , Height: 1.10cm , Length: 24.00cm
Weight:   0.347kg
ISBN:  

9781461285618

ISBN 10:   1461285615
Pages:   192
Publication Date:   26 September 2011
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

1. A System Specification Model and Method.- 1.1. Introduction.- 1.2. Overview of the Development Process.- 1.3. Objective, Nature and Quality of a Specification.- 1.4. Related Models and Methods.- 1.5. Essential Concepts for Specification.- 1.6. Model for Functional Specification.- 1.7. Object and Data Modeling.- 1.8. Activity Modeling.- 1.9. Behavioral Modeling.- 1.10. Specification of Performance Constraints.- 1.11. Technological Specifications.- 1.12. Specification Method.- 1.13. Expressing Functional Specifications.- 1.14. Specification Method applied to an Example.- 1.15. Specific Features of the Specification Model.- 1.16. Conclusions.- 2. Adept: A Unified Environment for end-to-end System Design.- 2.1. Introduction.- 2.2. The ADEPT Environment.- 2.3. Examples and Results.- 2.4. Conclusions.- 3. The Design Cube: A Model for VHDL Designflow Representation and Its Application.- 3.1. Introduction.- 3.2. Design and Modeling.- 3.3 The Y-Chart Model and VHDL.- 3.4 The Design Cube.- 3.5 Nodes in the Design Cube.- 3.6. Arcs in the Design Cube.- 3.7. An extension of the model.- 3.8. Applying the Design Cube to the Current Synthesis Technology.- 3.9. Conclusion and Future Work.- 4. A Novel Approach to Guiding Incremental Specification.- 4.1. Introduction.- 4.2. Problem Formulation.- 4.3. Solution.- 4.4. Example.- 4.5. Results.- 4.6. Elaborate Theory for the Identification of Refining Edges.- 4.7. Conclusion.- 5. An Expert Assistant for Hardware Systems Specification.- 5.1 Introduction.- 5.2 The Module Manager and the MODES Environment.- 5.3 The Module Manager and the CSIF Format.- 5.4 The Module Manager Architecture.- 5.5 The Knowledge Representation of the Module Manager.- 5.6 Conclusion.- 6. Integrating Non-Functional Aspects into Lotos.- 6.1. Introduction.- 6.2. Non-Functional Extensions.- 6.3. An Example.- 6.4. Properties of the Annotations.- 6.5. Conclusion.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions