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...
Formal Verification of Overhead Accounting in an Avionics RTOS
Found in: Real-Time Systems Symposium, IEEE International
By Darren Cofer, Murali Rangarajan
Issue Date:December 2002
pp. 181
<p>This paper describes our work modeling key portions of the safety-critical software infrastructure in an Integrated Modular Avionics (IMA) platform in an effort to analytically establish correctness of important aspects of its design. In particula...