Airplane and space systems.
video
Submitted by feron on Wed, 10/30/2013 - 2:07pm
file
Abstract:
The objective of this research is to develop tools for comprehensive design and optimization of air traffic flow management capabilities at multiple spatial and temporal resolutions: at a national airspace-wide scale and one-day time horizon (strategic time-frame); and at a regional scale (of one or a few Centers) and a two-hour time horizon (tactical time-frame).Year 3 results are summarized in the following.
file
Abstract:
Analytically predicting the behavior of physical systems is generally not possible. For example, the three dimensional nature of physical systems makes it provably impossible to express closed--form analytical solutions even simple systems. This limitation makes experimentation the primary modality for designing new cyber--physical systems.
file
Abstract:
The objective of this research is to create tools to manage uncertainty in the design and certification process of safety-critical aviation systems. The research focuses on three innovative ideas to support this objective. First, probabilistic techniques will be introduced to specify system-level requirements and bound the performance of dynamical components. These will reduce the design costs associated with complex aviation systems consisting of tightly integrated components produced by many independent engineering organizations.
file
Abstract:
Today, the assembly of safety-critical software involves many distinct agents, including control engineers and software engineers. Due in part to the existing regulatory framework, little, if any, semantic information is passed from control engineers (who specify the real-time software) to software engineers (who implement the specifications). As a result, high-level, system-wide information is lost at the time of software assembly, and only during system validation do software specification and semantics re-appear.
file
Abstract:
More than a half million pieces of space debris are in low-Earth orbit, of which about 5% are considered a threat to operational satellites. Collisions, such as the one that occurred on February 10, 2009 between the decommissioned Russian military communications satellite Kosmos-2251 and a operational U.S. Iridium communications satellite, produce yet more debris, and the accumulation of space debris renders low-Earth orbit increasingly dangerous and un- usable.
file
Darren Cofer is a Principal Systems Engineer with Rockwell Collinsi Advanced Technology Center. He received the Ph.D. in Electrical and Computer Engineering from The University of Texas at Austin. His principal area of expertise is applying formal methods and tools to the verification and certification of high-integrity avionics systems. He is the principal investigator for the air vehicle team in DARPA's High Assurance Cyber Military Systems project, focusing on formal proof of security properties for unmanned air vehicles.
