Improving American Manufacturing
Smart Manufacturing has the potential to make American manufacturing more productive, more energy-efficient, and more competitive.
The team’s work addresses potential methods for formally analyzing safety and security risks in Automated Manufacturing Systems (AMS). They emphasize how to identify components and the communication interfaces and components can that be modeled using formal methods. The team used an automated manufacturing system producing aluminum cans to show how these processes are modeled using a suite of formal methods that included Linear Time propositional Temporal Logic (LTL), Architecture Analysis and Design Language (AADL), as well as fault and attack tree analysis.