The UAH Software Safety and Security Engineering Laboratory supports research and education in the development of safe and secure cyber-physical systems. Our goal is to improve the safety and security of embedded systems through the development of improved model-based engineering methodologies, formal methods, secure deployment, secure communications and secure execution systems. Key elements of our education efforts include providing students hands-on access to industry-standard software development and analysis tools and laboratory facilities that allow students to apply their knowledge in the development and verification of critical hardware-software systems.
Portions of this website are still under construction so be sure to return here soon to see the latest updates.
