|
|
Library > Fact Sheets > AFOSR: Systems and Software
AFOSR: SYSTEMS AND SOFTWARE
Air Force Office of Scientific Research
Mathematics, Information and Life Sciences Directorate
Systems and Software
Dr. David Luginbuhl, Program Manager
The goal of this research program is to produce revolutionary research results that enable creation and employment of complex software-intensive systems that meet future Air Force needs in the air, space, and cyber domains. The program seeks bold, new theoretical approaches for the specification, design, analysis, verification, and continued evolution of such systems.
We are looking for revolutionary, innovative research in software and systems engineering to address the growing size and complexity of software in Air Force platforms; for example, the growing use of UAVs has resulted in new challenges for the design and verification of flight-critical systems software. Rigorous mathematical abstractions and representations that allow us to analyze and understand timing, control, dependability, and scalability will be crucial to the development and deployment of large-scale systems.
The importance of human-in-the-loop continues to increase, so we are interested in finding the right models that allow formal specification and verification of usability. In the past, systems development has often treated usability as a separate issue in software development, but we need to consider combined approaches that look at development of systems with hardware, software, and human components.
Adapting the theoretical principles of computing to help us comprehend the role of computation in larger-scale systems is another research avenue of interest. The key to building flexible, dynamic systems is a deeper understanding of their underlying architectures. This program seeks to define the theoretical underpinnings that will eventually lead to rapid composability of systems and construction of executable architectures. This program also seeks new paradigms for software and systems development that will make it easier and less expensive to build dependable software-intensive systems.
Contact:
Dr. David Luginbuhl
AFOSR/NL
Tele: (703) 696-6207
DSN 426-6207
FAX (703) 696-8449
Email: david.luginbuhl@afosr.af.mil
|  |
|
|
|
|
Printable Fact Sheet