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.

Positive Train Control