CS Store Search
Displaying 1-2 out of 2 total
Your "What" Is My "How": Iteration and Hierarchy in System Design
By Michael W. Whalen,Andrew Gacek,Darren Cofer,Anitha Murugesan,Mats P.E. Heimdahl,Sanjai Rayadurgam
Issue Date:March 2013
Systems are naturally constructed in hierarchies, in which design choices made at higher levels of abstraction levy requirements on system components at the lower levels. Thus, whether an aspect of a system is a design choice or a requirement largely depen...
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety
2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
By Anitha Murugesan,Oleg Sokolsky,Sanjai Rayadurgam,Michael Whalen,Mats Heimdahl,Insup Lee
Issue Date:April 2014
To manage design complexity and provide verification tractability, models of complex cyber-physical systems are typically hierarchically organized into multiple abstraction layers. Formal reasoning about such systems, therefore, usually involves multiple m...
Original Search Engine
Need a Web Account?
Become a Member
This site and all contents (unless otherwise noted) are Copyright ©2008, IEEE, Inc. All rights reserved.