Resumen Técnico: Descomposición de Requisitos Funcionales en el Diseño Basado en Conjuntos

Enunciado del Problema

El diseño de sistemas ingenieriles complejos (por ejemplo, aviones comerciales) en etapas tempranas se caracteriza por una incertidumbre y ambigüedad inherentes. Aunque el Diseño Basado en Conjuntos (SBD, por sus siglas en inglés) ofrece un marco robusto para explorar alternativas y reducir la incertidumbre mediante el desarrollo paralelo, la literatura actual carece de orientación formal sobre cómo descomponer los requisitos funcionales dentro de este paradigma. Específicamente, los enfoques existentes de SBD a menudo tratan los requisitos como simples rangos de rendimiento, lo cual es insuficiente para sistemas complejos que involucran interacciones entre software y mecánica, donde las funciones se definen como mapeos entre entradas y salidas. Además, la afirmación de que el SBD permite un desarrollo paralelo y autónomo por parte de equipos de nivel inferior carece de una prueba formal rigurosa. Existe una necesidad crítica de un método formal para descomponer los requisitos funcionales que garantice que el sistema resultante satisfaga los requisitos de nivel superior, al tiempo que apoya la autonomía de los equipos.

Metodología

El artículo propone un método formal de cuatro pasos para descomponer jerárquicamente los requisitos funcionales utilizando el razonamiento basado en conjuntos. El enfoque trata las funciones del sistema como transformaciones matemáticas de entrada-salida ($f: (x, u, c) \to y$), donde $x$ son las entradas, $y$ son las salidas, $u$ son parámetros inciertos incontrolables y $c$ son parámetros inciertos controlables.

La metodología se estructura de la siguiente manera:

1. Definir y Analizar la Arquitectura Funcional:

   • Una arquitectura funcional se define como un conjunto de subfunciones conectadas.
   • El método agrupa variables de las subfunciones para identificar variables compartidas y espacios de diseño/desarrollo distintos.
   • Las variables se clasifican en seis grupos excluyentes basados en su contexto de definición (por ejemplo, entradas definidas solo a nivel superior frente a subfunciones, salidas compartidas entre subfunciones, etc.).
   • Este paso establece el espacio de diseño inicial y el espacio de rendimiento para el sistema.

2. Explorar Espacios Factibles Iniciales:

   • Para cada subfunción, se caracteriza un espacio factible inicial basado en implementaciones factibles.
   • Estos espacios representan los rangos más amplios posibles para entradas, salidas y parámetros antes de aplicar las restricciones a nivel de sistema.

3. Estrechar Espacios Factibles:

   • Intersección: Los rangos de variables definidos en múltiples subfunciones se intersecan para crear un espacio de diseño factible inicial unificado ($FDS_1$) y un espacio de rendimiento ($FPS_1$).
   • Satisfacción de Restricciones: El método aplica un problema de satisfacción de restricciones cuantificado para estrechar aún más el espacio. Específicamente, los parámetros controlables ($c$) se estrechan ($R^\downarrow_c$) de tal manera que para todos los valores de los parámetros incontrolables ($u$) y las entradas ($x$), la salida del sistema permanezca dentro del espacio de rendimiento factible.
   • Análisis de Alcanzabilidad: El análisis de alcanzabilidad se utiliza para calcular una sobreaproximación del espacio de rendimiento alcanzable ($FPS_2$) dado el espacio de diseño estrechado ($FDS_2$). Esto garantiza que se capturen todos los comportamientos posibles del sistema bajo las restricciones estrechadas.

4. Determinar Subrequisitos:

   • Expansión de la Incertidumbre: Para acomodar una posible subestimación de las incertidumbres iniciales, el espacio de rendimiento deseado ($FPS^*$) se expande desde $FPS_2$ hacia $FPS_1$. Esta expansión no es arbitraria; está gobernada por un estudio de compensación.
   • Optimización: Se formula un problema de optimización basado en una función de barrera para determinar los límites óptimos de $FPS^*$. El objetivo minimiza la "distancia" a los límites de $FPS_1$ (para permitir un margen de incertidumbre) y de $FPS_2$ (para evitar dificultades de implementación), ponderados por las preferencias del diseñador.
   • Asignación Final: El espacio de diseño estrechado resultante ($FDS_2$) y el espacio de rendimiento expandido ($FPS^*$) se asignan como los subrequisitos formales ($R^*_x, R^*_c, R^*_u, R^*_y$) para cada subfunción.

Contribuciones Clave

El artículo realiza dos contribuciones principales a la literatura del SBD:

1. Método Formal de Descomposición para Sistemas Complejos:

   • A diferencia de los enfoques existentes de SBD que definen los requisitos como rangos de espacios de rendimiento (adecuados para componentes mecánicos), este método define los requisitos como mapeos entre rangos de entrada y salida. Esta formulación está diseñada específicamente para sistemas complejos que involucran componentes diversos (mecánicos, software, etc.).
   • El método proporciona un procedimiento riguroso y repetible para descomponer estos mapeos en subrequisitos.

2. Prueba Formal del Desarrollo Paralelo (Autonomía):

   • El artículo introduce y demuestra dos propiedades críticas: Refinamiento (reducción de la incertidumbre desde niveles superiores a inferiores) y Componibilidad (compatibilidad de las interfaces entre subrequisitos).
   • Teorema: Si los subrequisitos en cada nivel son componibles y su composición refina los requisitos funcionales de nivel superior, entonces el sistema compuesto formado al implementar independientemente estos subrequisitos satisfará los requisitos funcionales de nivel superior.
   • Esto proporciona la primera justificación formal para la afirmación de que el SBD permite un desarrollo paralelo y autónomo entre equipos de diseño distribuidos.

3. Distinción entre Margen y Exceso:

   • El método distingue explícitamente entre "margen" (valores de parámetros que compensan incertidumbres controlables) y "exceso" (superávit que acomoda incertidumbres iniciales subestimadas). Esta distinción se integra en los pasos de estrechamiento y expansión de la metodología.

Resultados

El método propuesto se demostró mediante un estudio de caso que involucra el diseño de un sistema de control de crucero.

• Requisito de Nivel Superior: El sistema debe mapear la velocidad inicial ($v_0$) y la velocidad de referencia ($v_r$) a una trayectoria de velocidad real ($v(t)$) que permanezca acotada y converja a un rango objetivo dentro de un tiempo específico.
• Descomposición: La función de nivel superior se descompuso en ocho subfunciones que representan dinámicas físicas (fuerzas, fricción, aerodinámica) y lógica de control (controlador PID).
• Ejecución del Proceso:
  • El método identificó con éxito el espacio de diseño (entradas y parámetros controlables como la velocidad máxima del motor $\omega_m$) y el espacio de rendimiento (fuerzas intermedias, pares y velocidades).
  • A través de la intersección y el análisis de alcanzabilidad (utilizando la herramienta CORA), el espacio de diseño factible se estrechó, restringiendo específicamente el parámetro controlable $\omega_m$ de $[350, 480]$ a $[365, 450]$ rad/s para garantizar la estabilidad.
  • El paso de optimización determinó los subrequisitos finales, asegurando que las subfunciones fueran componibles (las variables compartidas tenían rangos consistentes) y que el sistema compuesto refinara los requisitos de nivel superior.
• Resultado: Los subrequisitos resultantes permitieron la implementación independiente de subsistemas (por ejemplo, motor, neumáticos, controlador) mientras garantizaban matemáticamente que el sistema integrado cumpliría con los criterios de estabilidad y convergencia de nivel superior.

Significado y Afirmaciones

El artículo afirma su importancia al cerrar la brecha entre los beneficios teóricos del Diseño Basado en Conjuntos y la necesidad práctica de orientación formal y accionable en la ingeniería de requisitos.

• Formalismo sobre Enfoques Cualitativos: Los autores argumentan que, aunque el SBD se utiliza ampliamente (notablemente en los procesos de Toyota), a menudo depende de métodos cualitativos. Este artículo proporciona un marco matemático formal que elimina la ambigüedad en la descomposición.
• Habilitación de la Autonomía: Al demostrar que la componibilidad y el refinamiento son condiciones suficientes para la satisfacción a nivel superior, el método valida la promesa del SBD de autonomía de los equipos, permitiendo que los equipos distribuidos trabajen en paralelo sin rework constante o fallos de integración.
• Manejo de la Incertidumbre: El enfoque ofrece una manera estructurada de gestionar la incertidumbre a través del "margen" y el "exceso", avanzando más allá de los simples factores de seguridad hacia un manejo más matizado de las incertidumbres epistémicas y aleatorias.

Los autores mantienen modestia respecto al alcance, reconociendo que el método no resuelve todos los desafíos de la ingeniería de requisitos (como la elicitación o la validación) y depende del juicio del ingeniero para coeficientes específicos en el paso de optimización. Posicionan el trabajo como un marco para qué necesita resolverse (las restricciones y propiedades) en lugar de prescribir herramientas computacionales específicas para cómo resolver los problemas de optimización subyacentes.