icon-carat-right menu search cmu-wordmark
Carnegie Mellon University

How Has the DARPA HACMS Project Used Virtual System Integration Technology?

• Video
Watch Sam Procter answer, "How has the DARPA HACMS project used virtual system integration technology?"
Publisher

Software Engineering Institute

Watch

Abstract

Watch Sam Procter discuss how AADL was used to specify the architecture of the HACMS project due to its strong semantics, which doesn't leave much ambiguity that can be exploited.

SHARE

Subscribe

On YouTube
Part of a Collection

Architecture Analysis & Design Language (AADL): SEI Resources
Ask a question about this Video