High-Level System Modeling: Specification and Design Methodologies (Current Issues in Electronic Modeling)

Waxman, Ronald (Editor) / Bergé, Jean-Michel (Editor) / Levia, Oz (Editor) / Rouillard, Jacques (Editor)

ISBN 10: 1461285615 / ISBN 13: 9781461285618

Editore: Springer, 2012

Riguardo questo articolo

reprint edition. 212 pages. 9.44x6.31x0.48 inches. In Stock.

Codice articolo x-1461285615

Dati bibliografici

• Titolo: High-Level System Modeling: Specification and Design Methodologies (Current Issues in Electronic Modeling)
• Editore: Springer
• Data di pubblicazione: 2012
• Lingua: Inglese
• ISBN 10: 1461285615
• ISBN 13: 9781461285618
• Rilegatura: Paperback
• Condizione: Brand New

Descrizione articolo

Riassunto

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.

Contenuti

1. A System Specification Model and Method; J.-P. Calves. 2. ADEPT: A Unified Environment for End-to-end System Design; S. Kumar, et al. 3. The Design Cube: A Model for VHDL Designflow Representation and its Application; W. Ecker, et al. 4. A Novel Approach to Guiding Incremental Specification; T. Gabler, S. März-Rössel. 5. An Expert Assistant for Hardware Systems Specification; L. Chaouat, et al. 6. Integrating Non-Functional Aspects into Lotos; L.S. Fernández, et al. Index.