Software Engineering Institute

Modern embedded systems – such as those found in the CH47F Chinook, TARDEC Autonomous Truck, and Little Bird – need to be both safe and secure, but too often, a system's safety is designed and assessed separately from its security. The pace and scale of these systems' development are such that traditional analysis cannot keep up. We're developing software and processes that use a system's architecture to support developer intuition and improve safety and security. But AADL – the internationally standardized Architecture Analysis and Design Language – is for more than research: Alex Boydston will talk about how the U.S. Army is using prior research in model-based engineering to build systems that are safer and less expensive.