Contribución a la especificación de aspectos no funcionales de sistemas hardware-software

Abstract

EL CODISEÑO HARDWARE-SOFTWARE ES UNA DISCIPLINA PARA EL DISEÑO DE SISTEMAS EMBEBIDOS APARECIDA RECIENTEMENTE, Y QUE HA SUSCITADO GRAN INTERES, CONSISTE EN BUSCAR UN DISEÑO OPTIMO IMPLEMENTANDO PARTE DEL SISTEMA EN HARDWARE Y PARTE EN SOFTWARE DE ACUERDO CON CIERTOS REQUISITOS DE COSTES Y PRESTACIONES. LA IDEA DEL CODISEÑO HARDWARE-SOFTWARE ES RETRASAR LA DECISION DE QUE PARTES DEL SISTEMA SE VAN A IMPLEMENTAR EN HARDWARE Y QUE PARTES SE VAN A IMPLEMENTAR EN SOFTWARE LO MAS POSIBLE, HASTA QUE SE TENGA INFORMACION ACERCA DE LAS PRESTACIONES Y COSTES DE LAS POSIBLES IMPLEMENTACIONES. A LA TAREA DE ASIGNAR LOS COMPONENTES DEL SISTEMA A LOS PROCESADORES HARDWARE O SOFTWARE DISPONIBLES EN LA ARQUITECTURA UTILIZADA SE LE CONOCE CON EL NOMBRE DE PARTICIONADO. PARA PODER DISEÑAR UN SISTEMA UTILIZANDO LAS TECNICAS DEL CODISEÑO, ADEMAS DE UNA DESCRIPCION DE LA FUNCIONALIDAD QUE SE DESEA QUE TENGA EL SISTEMA, ES NECESARIO DISPONER DE CIERTA INFORMACION ADICIONAL. ESTA INFORMACION INCLUIRA LAS PRESTACIONES Y LOS COSTES DE DISTINTAS IMPLEMENTACIONES DE LOS SUBCOMPONENTES QUE FORMAN EL SISTEMA Y LOS REQUISITOS IMPUESTOS POR EL USUARIO. ESTA DESCRIPCION DE DISTINTOS PARAMETROS DEL SISTEMA, PERO QUE NO FORMAN PARTE DELA FUNCIONALIDAD DEL MISMO ES A LO QUE NOS REFERIMOS CUANDO HABLAMOS DE LOS ASPECTOS NO FUNCIONALES DEL SISTEMA. ESTA TESIS ESTA DEDICADA AL ESTUDIO DE LOS ASPECTOS NO FUNCIONALES DE LOS SISTEMAS. DENTRO DEL CAMPO DE LOS ASPECTOS NO FUNCIONALES SE CENTRA EN LA ESPECIFICACION DE ASPECTOS NO FUNCIONALES. ADEMAS SE HAN REALIZADO HERRAMIENTAS QUE AYUDEN AL PROCESO DE DISEÑO EN RELACION A LOS ASPECTOS NO FUNCIONALES Y CONTRIBUCIONES ORIGINALES EN EL CAMPO DEL REFINAMIENTO FORMAL EN PRESENCIA DE INFORMACION NO FUNCIONAL.