2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.SE2016
From Design Contracts to Component Requirements Verification
Jing Liu, John D. Backes, Darren Cofer +1
During the development and verification of complex airborne systems, a variety of languages and development environments are used for different levels of the system hierarchy. As a…
cs.SE2015★ 2 cited
Requirements Analysis of a Quad-Redundant Flight Control System
John Backes, Darren Cofer, Steven Miller +1
In this paper we detail our effort to formalize and prove requirements for the Quad-redundant Flight Control System (QFCS) within NASA's Transport Class Model (TCM). We use a compo…
cs.SE2015
Towards Realizability Checking of Contracts using Theories
Andrew Gacek, Andreas Katis, Michael W. Whalen +2
Virtual integration techniques focus on building architectural models of systems that can be analyzed early in the design cycle to try to lower cost, reduce risk, and improve quali…