High-Level System Modeling: Specification and Design Methodologies
Ronald Waxman · Jean-Michel Bergé · Oz Levia · Jacques Rouillard
Dec 2012 · Current Issues in Electronic Modeling Book 4 · Springer Science & Business Media
Ebook
192
Pages
reportRatings and reviews aren’t verified Learn More
About this ebook
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.
Rate this ebook
Tell us what you think.
Reading information
Smartphones and tablets
Install the Google Play Books app for Android and iPad/iPhone. It syncs automatically with your account and allows you to read online or offline wherever you are.
Laptops and computers
You can listen to audiobooks purchased on Google Play using your computer's web browser.
eReaders and other devices
To read on e-ink devices like Kobo eReaders, you'll need to download a file and transfer it to your device. Follow the detailed Help Center instructions to transfer the files to supported eReaders.
