La definicion de un sistema a alto nivel es un tema de interes en ingenieria aeronautica dada la creciente complejidad y necesidades de seguridad de sistemas y componentes a bordo de la aeronave. En este trabajo se aborda el diseno de un equipo de prueba para unidades de control de generador (GCU) desde una perspectiva de alto nivel. Para ello, a partir de las especificaciones tecnicas electricas, los estandares de seguridad y desarrollo, y un analisis determinista y holistico, se generan los requerimientos que sirven como definicion del sistema. Estos requerimientos son luego usados como entrada a la PMM (Metodologia de Modelo de Propiedad), con lo cual se especifican modelos estructurales y comportamentales minimos. Con base en lo anterior, se modela en Hiles una solucion logica del sistema con ayuda de diagramas SysML, para luego generar codigo VHDL y VHDL AMS. Mediante el establecimiento de los modelos dinamicos de los elementos del sistema electrico de la aeronave, codigo VHDL-AMS especifico es desarrollado para completar el previamente obtenido?
