High-Level System Modeling
Subtitle: Specification and Design Methodologies (Current Issues in Electronic Modeling)
Contributors: Ronald Waxman (Editor); Jean-Michel Bergé (Editor); Oz Levia (Editor); Jacques Rouillard (Editor)
Edition: 1 edition
Publisher: Springer
Published: January 31, 1996
Language: eng
Format: Hardcover
Number of pages: 212
ISBN-13: 9780792396604
Subjects: Applications of Computing; General Theory of Computing; Technology, Engineering, Agriculture, Veterinary Science; Systems Analysis (Computer Science); Engineering - Electrical & Electronic; Computers; Computers - Languages / Programming; System design; Science/Mathematics; Mathematical Models; Electronics - Circuits - General; Programming - Systems Analysis & Design; Computers / Programming / Systems Analysis & Design; Technology / Electronics / Circuits / General; Technology-Electronics - Circuits - General; Technology-Engineering - Electrical & Electronic; Computer Bks - Languages / Programming
Description: In system design, generation of high-level abstract models that can be closely associated with evolving lower level models provides designers is 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.

. 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.