Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems

Webinar

Defense Software for a Contested Future: Report Release Webinar

August 28, 2025

1:00 PM - 2:00 PM (EDT)

Past

Discussion

This discussion information is being collected via Slido. Slido is not affiliated in any way with, or endorsed by, the National Academies of Sciences, Engineering, and Medicine, and your submission via the Slido website is subject to Slido’s privacy and terms of use.

About

U.S. national security depends on defense software that is secure, reliable, and agile. At the request of the Defense Advanced Research Projects Agency (DARPA), the National Academies of Sciences, Engineering, and Medicine conducted a study to explore how to enhance the assurance and agility of large-scale, integrated software-based systems. The report recommends strategies for engineering and managing military software systems to reduce cyber risk and support more rapid system evolution in response to changing mission needs.

Additional Information

Is it a Closed Session event?

Not Closed

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (In-Person Meeting # 45)

June 11 - 12, 2025

Past

About

The committee will convene in a closed session to continue refining the draft report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Alex Gantman
Michael Hicks
Dawn Meyerriecks

The following topics were discussed in the closed sessions:

The committee convened in closed session to finalize its response to the review.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting # 44)

May 2, 2025

2:00 PM - 4:00 PM (EDT)

Past

About

The committee will continue to work on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Timothy Booher
Steve Boutelle
Alex Gantman

The following topics were discussed in the closed sessions:

The committee continued to work on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting # 43)

April 25, 2025

2:00 PM - 4:00 PM (EDT)

Past

About

The committee will continue to work on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Alex Gantman
Richard Ward

The following topics were discussed in the closed sessions:

The committee proceeded with refining the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-No written documents were made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting # 42)

April 18, 2025

2:00 PM - 4:00 PM (EDT)

Past

About

The committee will continue to work on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Tim Booher
Steve Boutelle
Alex Gantman
Richard Ward

The following topics were discussed in the closed sessions:

The committee continued to work on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting # 41)

April 11, 2025

2:00 PM - 4:00 PM (EDT)

Past

About

The committee will continue to work on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Alex Gantman
Richard Ward

The following topics were discussed in the closed sessions:

The committee met briefly to work on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 40)

April 4, 2025

2:00 PM - 4:00 PM (EDT)

Past

About

The committee will meet in closed session to continue working on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Timothy Booher
Alex Gantman
Michael Hicks

The following topics were discussed in the closed sessions:

The committee continued to work on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting # 39)

March 28, 2025

2:00 PM - 4:00 PM (EDT)

Past

About

The committee will meet in closed session to work on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Greg Morrisett
Michael Hicks
Dawn Meyerriecks
Richard Ward

The following topics were discussed in the closed sessions:

The committee continued to work on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-No documents were made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting # 38)

March 21, 2025

2:00 PM - 4:00 PM (EDT)

Past

About

The committee will meet in closed session to continue working on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Helen Gill
Michael Hicks
Richard Ward

The following topics were discussed in the closed sessions:

The committee continued to work on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting # 37)

March 14, 2025

2:00 PM - 4:00 PM (EDT)

Past

About

The committee met in closed session to continue working on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Timothy Booher
Steve Boutelle
Alex Gantman
Helen Gill
Dawn Meyerriecks
Richard Ward

The following topics were discussed in the closed sessions:

The committee continued to work on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting # 36)

March 7, 2025

2:00 PM - 4:00 PM (EST)

Past

About

To view the meeting via Vimeo, please click here.

2:00 pm - 2:45 pm - Byron Cook from Amazon will brief the committee on the DARPA Capstone Program.

Additional Information

Is it a Closed Session event?

Partially Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Timothy Booher
Steve Boutelle
Helen Gill
Michael Hicks
Dawn Meyerriecks
Richard Ward

The following topics were discussed in the closed sessions:

The committee reacted to the briefer presentation and continued to work on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

March 07, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting # 35)

February 28, 2025

2:00 PM - 4:00 PM (EST)

Past

About

The committee will continue to work on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Tim Booher
Steve Boutelle
Helen Gill
Richard Ward

The following topics were discussed in the closed sessions:

The committee continued to work on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no items made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting # 34)

February 21, 2025

2:00 PM - 4:00 PM (EST)

Past

About

The committee will continue to work on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

All members of the committee were present for this meeting.

The following topics were discussed in the closed sessions:

The committee continued to work on the draft of the report

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting # 33)

February 14, 2025

2:00 PM - 3:00 PM (EST)

Past

About

The committee will continue to work on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Helen Gill
Michael Hicks

The following topics were discussed in the closed sessions:

The committee met briefly to discuss the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no items made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting # 32)

February 7, 2025

2:00 PM - 4:00 PM (EST)

Past

About

The committee will continue to work on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Jandria Alexander
Timothy Booher
Steve Boutelle
Alex Gantman
Helen Gill
Michael Hicks
Dawn Meyerriecks
Richard Ward

The following topics were discussed in the closed sessions:

The committee continued to work on the report draft.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no documents made available to the committee during the closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting # 31)

January 31, 2025

2:00 PM - 4:00 PM (EST)

Past

About

The committee will continue to work on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Timothy Booher
Alex Gantman
Helen Gill
Michael Hicks
Dawn Meyerriecks
Richard Ward

The following topics were discussed in the closed sessions:

The committee continued to work on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no items made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting # 30)

January 24, 2025

2:00 PM - 4:00 PM (EST)

Past

About

The committee will continue to work on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Steve Boutelle
Helen Gill
Michael Hicks
Dawn Meyerriecks
Richard Ward

The following topics were discussed in the closed sessions:

The committee continued to work on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 29)

January 17, 2025

2:00 PM - 4:00 PM (EST)

Past

About

The committee will continue to work on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Timothy Booher
Steve Boutelle
Alex Gantman
Helen Gill
Michael Hicks
Richard Ward

The following topics were discussed in the closed sessions:

The committee continued to work on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

There were no documents made available during the closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting # 28)

January 10, 2025

2:00 PM - 4:00 PM (EST)

Past

About

The committee will meet to continue working on the draft of the report. The meeting is closed in its entirety.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Timothy Booher
Steve Boutelle
Alex Gantman
Helen Gill
Richard Ward

The following topics were discussed in the closed sessions:

The committee continued to work on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A - There were no documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 27)

December 20, 2024

3:00 PM - 5:00 PM (EST)

Past

About

The committee will meet in closed session to continue working on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Tim Booher
Alex Gantman
Helen Gill
Michael Hicks

The following topics were discussed in the closed sessions:

The committee continued to work on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A - There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 26)

December 6, 2024

3:00 PM - 5:00 PM (EST)

Past

About

The committee continues to work on the report draft.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Timothy Booher
Steve Boutelle
Alex Gantman
Helen Gill
Dawn Meyerriecks
Richard Ward

The following topics were discussed in the closed sessions:

The committee continued to work on the report draft.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A - There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 25)

November 22, 2024

3:00 PM - 5:00 PM (EST)

Past

About

To view the meeting via livestream, please click https://vimeo.com/event/4745102..

Agenda

3:00 pm - 4:30 pm — Rick Jandrian, Christopher Toney, and Sean Allen—United States Navy—Perspective on the Navy software programs.

Additional Information

Is it a Closed Session event?

Partially Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Jandria Alexander
Timothy Booher
Steve Boutelle
Alex Gantman
Helen Gill
Michael Hicks
Richard Ward

The following topics were discussed in the closed sessions:

The committee reacted to the briefers and discussed the presented material.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no materials made available to the committee in closed session.

Date of posting of Closed Session Summary:

January 24, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 24)

November 8, 2024

3:00 PM - 5:00 PM (EST)

Past

About

To view the meeting via livestream, please click here https://vimeo.com/event/4707701.

Agenda

3:00 pm - 4:00 pm — Felix Cortez —United States Air Force—Perspective on assurance for embedded software

Additional Information

Is it a Closed Session event?

Partially Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Jandria Alexander
Steve Boutelle
Alex Gantman
Helen Gill
Dawn Meyerriecks

The following topics were discussed in the closed sessions:

The committee continued to work on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-No written documents were made available to the committee during the closed session.

Date of posting of Closed Session Summary:

November 08, 2024

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 23)

October 25, 2024

3:00 PM - 5:00 PM (EDT)

Past

About

The committee will continue to work on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Jandria Alexander
Timothy Booher
Steve Boutelle
Alex Gantman
Helen Gill
Michael Hicks
Dawn Meyerriecks
Richard Ward

The following topics were discussed in the closed sessions:

The committee split into breakout sessions and continued working on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A – No items were provided to the committee, as this was a closed meeting.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 22)

October 8 - 9, 2024

Past

About

Doug Schmidt from DOD Operational Test & Evaluation will provide the DOD OT&E perspective on software architecture and agility. To view the meeting, click here https://vimeo.com/event/4629593

October 8, 2024

Agenda

2:00 pm - 3:00 pm — Doug Schmidt (DOD OT&E) —DOD OT&E perspective on software architecture and agility.

Additional Information

Is it a Closed Session event?

Partially Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Jandria Alexander
Timothy Booher
Steve Boutelle
Alex Gantman
Helen Gill
Michael Hicks
John Launchbury
Dawn C. Meyerriecks

The following topics were discussed in the closed sessions:

The committee reacted to the briefers and continued to work on the report draft.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-No items were made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 21)

September 27, 2024

3:00 PM - 5:00 PM (EDT)

Past

About

Russell Frew will offer his perspective on software assurance and nimbleness from the defense industry. To view the meeting, click here https://vimeo.com/event/4599770

3:00 pm - 4:30 pm — Russell Frew and Glen Miller (Lockheed Martin) —Perspective on software assurance and nimbleness from the defense industry.

Additional Information

Is it a Closed Session event?

Partially Closed

The following committee members were present at the closed sessions of the event

Greg Morrisett
Jandria Alexander
Alex Gantman
Helen Gill
Michael Hicks
John Launchbury
Dawn Meyerriecks

The following topics were discussed in the closed sessions:

The committee responded to the briefer's presentation and continued working on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no items made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 20)

September 13, 2024

3:00 PM - 5:00 PM (EDT)

Past

About

The committee will continue to work on the draft of the report.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Jandria Alexander
Timothy Booher
Steve Boutelle
Alex Gantman
Helen Gill
Dawn Meyerriecks
Richard Ward

The following topics were discussed in the closed sessions:

The committee continued to work on the report draft.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A - There were no documents were made available to the committee during the closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 19)

August 30, 2024

3:00 PM - 5:00 PM (EDT)

Past

About

The committee plans to work on the report draft.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Timothy Booher
Steve Boutelle
Helen Gill
Michael Hicks
Richard Ward

The following topics were discussed in the closed sessions:

The committee continued to work on the draft of the report.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 17)

August 16, 2024

3:00 PM - 5:00 PM (EDT)

Past

About

The committee will hear from Maj. General Glenn Dean on software program innovations while Joe Kiniry of Galois will discuss formal methods for software assurance. To view the livestream, please click here https://vimeo.com/event/4508850

Agenda

3:00 pm - 4:00 pm — Maj. Gen Glenn Dean (US ARMY): Software program innovations

4:00 pm - 5:00 pm — Joe Kiniry (Galois): Formal methods for software assurance

Additional Information

Is it a Closed Session event?

Not Closed

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 16)

August 2, 2024

3:00 PM - 5:00 PM (EDT)

Past

About

To view the meeting via livestream, please click here https://vimeo.com/event/4485577

Agenda

3:00 - 4:00 pm - Christopher Kern, Google - Perspective on Software Security at Scale

Additional Information

Is it a Closed Session event?

Partially Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Jandria Alexander
Timothy Booher
Steve Boutelle
Helen Gill
Michael Hicks
Dawn Meyerriecks
Richard Ward

The following topics were discussed in the closed sessions:

The committee reacted to the briefer presentations, worked on the report outline and discussed possible briefers for future meetings.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting # 15)

July 19, 2024

3:00 PM - 5:00 PM (EDT)

Past

About

Briefers from Kessel Run will brief the committee on software development and acquisition. To view the meeting via Vimeo, please click here https://vimeo.com/event/4431499

Agenda

3:00 pm - 4:30 pm—Kessel Run, Software Development and Acquisition

Col. Richard Lopez, Kessel Run

Ron Malur, Kessel Run

Additional Information

Is it a Closed Session event?

Partially Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Jandria Alexander
Timothy Booher
Steve Boutelle
Helen Gill
Michael Hicks

The following topics were discussed in the closed sessions:

The committee reacted to the briefer presentations and continued to plan for future meetings.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no documents made made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 14)

June 21, 2024

3:00 PM - 5:00 PM (EDT)

Past

About

Mark Kitz, program executive officer of PEO C3N, will discuss the Army’s approach to command-and-control systems and networks, focusing on strategies for assuring large-scale, integrated software-based systems. To view the meeting via Vimeo, please click here https://vimeo.com/event/4400652.

Additional Information

Is it a Closed Session event?

Partially Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Steve Boutelle
Alex Gantman
Helen Gill
Michael Hicks
Richard Ward

The following topics were discussed in the closed sessions:

The committee reacted to briefers and continued to plan for future meetings.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 13)

June 7, 2024

3:00 PM - 5:00 PM (EDT)

Past

About

Doug Ghormley will share Sandia's viewpoint on Assurance from 3 to 4 p.m., followed by John Heimann, Greg Marsden, and Adam Drake from Oracle, who will discuss their perspectives on open source software from 4 to 5 p.m.

To view the meeting via Vimeo, please click here https://vimeo.com/event/4370055.

Additional Information

Is it a Closed Session event?

Not Closed

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 12)

May 24, 2024

3:00 PM - 5:00 PM (EDT)

Past

About

The committee is scheduled to receive input from Brian Rosenberg regarding RTX's viewpoint on software assurance, while Mike Westra will provide insights from the automotive industry's perspective on the same topic. To view the meeting via livestream, please click here https://vimeo.com/event/4309837.

Additional Information

Is it a Closed Session event?

Not Closed

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

2nd In-Person Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 11)

May 6 - 7, 2024

Past

About

The committee plans to hold its second face-to-face gathering at the National Academy of Sciences. During the first day, they'll receive insights from speakers regarding procurement, while the second day will focus on perspectives on software factory.

May 6, 2024 — To view the livestream, click here https://vimeo.com/event/4279763.

1:30 p.m. - 2:30 p.m. — Perspective on fundamental research in software assurance

Sol Greenspan, National Science Foundation (NSF)

May 7, 2024 — To view the livestram, click here https://vimeo.com/event/4279767.

11:00 a.m. - 12:45 p.m.— Navy Software Development

Navy Team

Additional Information

Is it a Closed Session event?

Partially Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Jandria Alexander
Timothy Booher
Steve Boutelle
Alex Gantman
Dorothy Gill
Michael Hicks
Dawn Meyerriecks
Richard Ward

The following topics were discussed in the closed sessions:

The committee reacted to the briefer presentations and continued to plan for future meetings.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Location

Keck Center

500 5th St NW

Washington DC 20001, USA

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 10)

April 26, 2024

3:00 PM - 5:00 PM (EDT)

Past

About

The committee will receive insights from Murugiah Souppaya of NIST regarding secure software development, while Michael Durling from GE Research is slated to present on model-based methodologies for critical systems development.

To view the meeting via vimeo, click here https://vimeo.com/event/4233336.

Additional Information

Is it a Closed Session event?

Not Closed

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 9)

April 12, 2024

3:00 PM - 5:00 PM (EDT)

Past

About

This meeting was cancelled in its entirety.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

This meeting was cancelled in its entirety.

The following topics were discussed in the closed sessions:

This meeting was cancelled in its entirety.

The following materials (written documents) were made available to the committee in the closed sessions:

This meeting was cancelled in its entirety.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 8)

March 29, 2024

2:00 PM - 4:00 PM (EDT)

Past

About

The committee will meet to plan for future meetings.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Steve Boutelle
Alex Gantman
Michael Hicks

The following topics were discussed in the closed sessions:

The committee met to plan for future meetings.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 7)

March 15, 2024

2:00 PM - 4:00 PM (EDT)

Past

About

This meeting was closed in its entirety.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Timothy Booher
Alex Gantman
Helen Gill
Michael Hicks
John Launchbury
Dawn Meyerriecks
Richard Ward

The following topics were discussed in the closed sessions:

The committee convened to exchange their respective industry perspectives.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 6)

March 1, 2024

2:00 PM - 4:00 PM (EST)

Past

About

To view the meeting via vimeo, click here https://vimeo.com/event/4118570

2:30 pm - 3:30 pm - LLMs and formal methods for software assurance

Talia Ringer, University of Illinois, Urbana-Champaign

3:30 pm - 4:30 pm - seL4 perspective on software assurance

Gernot Heiser, UNSW Sydney

Additional Information

Is it a Closed Session event?

Partially Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Jandria Alexander
Timothy Booher
Alex Gantman
Helen Gill
Michael Hicks
John Launchbury
Dawn Meyerriecks
Richard Ward

The following topics were discussed in the closed sessions:

The committee took some time after the open session to react to the briefers and plan for future meetings.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 5)

February 16, 2024

2:00 PM - 4:00 PM (EST)

Past

About

To view the meeting via Vimeo, please click here https://vimeo.com/event/4044209.

2:00 pm - 3:00 pm - Perspective from the Joint Federated Assurance Center

Melinda Reed, OUSD(R&E)

Additional Information

Is it a Closed Session event?

Partially Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Steve Boutelle
Alex Gantman
Helen Gill
Michael Hicks
John Launchbury
Richard Ward

The following topics were discussed in the closed sessions:

The committee reacted to the speaker and continued to prepare for future meetings.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 4)

February 2, 2024

2:00 PM - 4:00 PM (EST)

Past

About

To view the meeting via vimeo, click here https://vimeo.com/event/4044205

The committee will hear about the "Application of formal verification in industry."

2:00 - 3:00 pm - Byron Cook, Amazon Web services

3:00 - 4:00 pm - Forrest Shull, Under Secretary of Defense for Research and Engineering

Additional Information

Is it a Closed Session event?

Partially Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Jandria Alexander
Steve Boutelle
Alex Gantman
Helen Gill
John Launchbury
Dawn Meyerriecks
Richard Ward

The following topics were discussed in the closed sessions:

The committee reacted to the speakers and planned for future meetings.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 3)

January 19, 2024

2:00 PM - 4:00 PM (EST)

Past

About

The committee will hear the DARPA perspective on software assurance. To view the vimeo, please click here https://vimeo.com/event/4021953.

2:00 p.m. - 4:00 p.m. - Kathleen Fisher, DARPA

Brad Martin, DARPA

Matthew Wilding, DARPA

Additional Information

Is it a Closed Session event?

Not Closed

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting Closed

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 2)

November 29, 2023

2:00 PM - 4:00 PM (EST)

Past

About

This meeting is closed in its entirety.

Additional Information

Is it a Closed Session event?

Institution Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Jandria Alexander
Steve Boutelle
Alex Gantman
Helen Gill
Michael Hicks
John Launchbury
Richard Ward

The following topics were discussed in the closed sessions:

The committee planned for future meetings.

The following materials (written documents) were made available to the committee in the closed sessions:

N/A-There were no written documents made available to the committee during closed session.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Meeting

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems (Meeting 1)

November 9 - 10, 2023

Past

About

The inaugural meeting of the committee will include introductions from committee members, a review of committee composition, balance, and any possible conflicts of interest, a discussion of the study’s task with its sponsor, and planning for future meetings.

Open Session Agenda

To view the video via vimeo, please click here https://vimeo.com/event/3860322

November 9th

11:00 a.m. - 12:00 p.m. - Perspective on software assurance and nimbleness, William Scherlis, Carnegie Mellon University

Additional Information

Is it a Closed Session event?

Partially Closed

The following committee members were present at the closed sessions of the event

Steve Lipner
Greg Morrisett
Jandria Alexander
Timothy Booher
Steve Boutelle
Alex Gantman
Dorothy Gill
Michael Hicks
Richard Ward

The following topics were discussed in the closed sessions:

NASEM Policies / Procedures
Composition and Balance
Conflict of Interest
Statement of Task
Future Meetings (Schedule and Topics)

The following materials (written documents) were made available to the committee in the closed sessions:

N/A - There were no documents made available to the committee.

Date of posting of Closed Session Summary:

August 27, 2025

Contact

Tho Nguyen

ThoNguyen@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Log In

Sign in to access your saved publications, downloads, and email preferences.

Former MyNAP users: You'll need to reset your password on your first login to MyAcademies. Click "Forgot password" below to receive a reset link via email. Having trouble? Visit our FAQ page to contact support.

Members of the National Academy of Sciences, National Academy of Engineering, or National Academy of Medicine should log in through their respective Academy portals.

Email (required)
Password (required)

Don't have an account?

Register

Email (required)
New password (required)
Retype password (required) Password must be at least 8 characters
I accept the terms of use
terms of use

Thank You

Thank you for creating a MyAcademies account!

Enjoy free access to thousands of National Academies' publications, a 10% discount off every purchase, and build your personal library.

Forgot Password

Enter the email address for your MyAcademies (formerly MyNAP) account to receive password reset instructions.

Reset Requested

We sent password reset instructions to your email . Follow the link in that email to create a new password. Didn't receive it? Check your spam folder or contact us for assistance.

Reset Password

New password (required)
Retype password (required) Password must be at least 8 characters

Reset Password

Your password has been reset.

Log In

Verify email

Verify Your Email Address

We sent a verification link to your email. Please check your inbox (and spam folder) and follow the link to verify your email address. If you did not receive the email, you can request a new verification link below

Subscribe

First Name
Last Name
Email (required)
I agree to receive emails from the National Academies (required)

We respect your privacy and will never share your information.

My Academies

Enhancing the Assurance and Nimbleness of Large-Scale Integrated Software-Based Systems

Dropdown items

Defense Software for a Contested Future: Report Release Webinar