FSS: Flight Safety System University project about designing a safety system for a plane in SysML and implementing it in the Ada programming language.