What the FY2027 request buys
Verbatim from the R-2A exhibit for project EMR-01 of PE 0601122E. This is the budget justification's own description of work that has not happened yet — the one thing no other level of the budget carries.
- Demonstrate that proof explicitly encodes key semantic information that can be mapped to the operational context to enhance the operator's insight. - Develop AI architectures that enable users to enhance system understanding. - Develop test scenarios and proof artifacts and perform test and evaluation within a realistic gaming environment. - Develop formal proof artifacts for use in case-specific software tool components. - Develop interactive, visual, or immersive approaches such as haptics and virtual/augmented reality that facilitate users exploratory interaction with software systems.
The FY 2027 increase reflects continued development of proof-based techniques for software understanding, adaptation, and interaction and additional efforts to demonstrate and evaluate the techniques in realistic environments and systems.
FY2026: the year under way
Prior-year accomplishments and current-year plans from the same exhibit. Context for the FY2027 plan, not a series — an activity partitions its project exactly in the request year, but can under-cover it in earlier years.
- Begin the proof-of-concept to demonstrate that proofs encode software system knowledge to enhance system understanding and adaptation. - Initiate development of test scenarios and proof artifacts.
Three years, and no five-year plan
An R-2A activity publishes the prior year, the current year and the budget year. The FYDP outyears exist at project and program-element level and are deliberately absent here rather than inferred. Estimate types are colored and never summed into one figure.
| Fiscal Year | Estimate Type | Amount ($M) |
|---|---|---|
| FY2026 | Enacted | 9.2 |
| FY2027 | Request | 23.7 |
This activity is 12% of project EMR-01's FY2027 request and 6.1% of PE 0601122E's. In the request year the activities under a project sum to it exactly; in the current year they under-cover it in about 9% of cases, so an activity's delta can legitimately exceed its parent's and the two must not be compared row to row.
15 activities in project EMR-01
Every R-2A line of this project, largest FY2027 request first. Linked where the activity has enough of its own narrative to carry a page; the rest are shown in full on the project page.