High-Level System Modeling: Specification and Design Methodologies

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