Search For:

Displaying 1-2 out of 2 total
Your "What" Is My "How": Iteration and Hierarchy in System Design
Found in: IEEE Software
By Michael W. Whalen,Andrew Gacek,Darren Cofer,Anitha Murugesan,Mats P.E. Heimdahl,Sanjai Rayadurgam
Issue Date:March 2013
pp. 54-60
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
Found in: 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
pp. 139-150
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...