La construcción de software para sistemas de aviónica requiere la aplicación de métodos de ingeniería que aseguren que el producto final, tanto el software mismo como el sistema completo, sea seguro. En muchas ocasiones incluso el software mismo provee de capacidades de seguridad (safety) al sistema que de otra manera no podrían ser construidos. En el taller se explicarán los principales métodos y técnicas utilizados y se realizarán ejercicios donde estos sean aplicados.
