Ingeniería de sistemas basada en modelos

Ingeniería de sistemas basada en modelos, del requisito a la variante verificada

Si se pregunta a un ingeniero de sistemas qué le ha dado el MBSE a su proyecto, la respuesta suele ser: un buen modelo y una herramienta que nadie fuera del equipo abre. El modelo es una isla. Resultados de simulación, evidencias de ensayo, datos de proveedores y decisiones están en otro sitio, y en el límite de la herramienta se rompe el hilo. Ref está construido para ese límite.

Pizarra blanca sobre un caballete con cajas sin texto y líneas de unión en una sala con sol, imagen generada por IA

La situación

Dónde se queda atascado el MBSE

CATIA Magic, Rhapsody, Enterprise Architect y Capella modelan bien los sistemas. Las dificultades empiezan allí donde el modelo se encuentra con las evidencias. Un requisito se verifica con un ensayo que corrió un martes en un banco de ensayo. La conexión entre el elemento SysML y el archivo de medición es una tabla, y la tabla se mantiene a mano hasta que deja de mantenerse. El MBSE prometió trazabilidad y entregó un modelo que una persona tiene que cuadrar con la realidad.

En Ref

Una plataforma al lado de la herramienta de modelado

Ref es el lugar donde el modelo, los artefactos derivados de él y las evidencias generadas contra él siguen conectados. Los requisitos entran como ReqIF y salen como ReqIF. La arquitectura es estructura, y la estructura pertenece a los datos que describe: componentes, puertos, conectores, interfaces y buses los edita en el navegador, usted mismo o el agente. La geometría es el otro caso. Necesita un núcleo de modelado y se queda en su sistema CAD. El comportamiento se calcula: un modelo en Python o en Modelica contra un conjunto de parámetros, y el resultado se archiva junto al requisito que verifica. FMI y SSP cubren la cosimulación.

Los archivos de modelo de su herramienta actual se guardan con sus versiones y con lo que depende de ellos. Nada obliga al equipo a dejar el editor que conoce.

El ciclo

El modelo en V como subproducto

Requisitos y arquitectura en la rama izquierda, integración y verificación en la derecha, y las conexiones entre ambas surgen del propio trabajo. Una ejecución que verifica un requisito queda unida a él porque se lanzó para él. No hay una tarea de documentación aparte. Una variante se compara con los criterios que usted fije, y la decisión queda registrada con las evidencias que había sobre la mesa.

Delimitación

Dónde encaja mejor otra herramienta

Sin máquinas de estados, sin diagramas paramétricos, sin diagramas de secuencia; donde necesite comportamiento, lo calcula. Sin XMI.

Si el requisito es cobertura completa de diagramas y una implementación piloto de SysML v2, encajan mejor CATIA Magic o Eclipse SysON. Eso es lo que debe saber en esta página.

Equipos pequeños

Sin oficina de métodos

Ref funciona sin oficina de métodos. Empiece con los artefactos que tiene: una lista de requisitos, un directorio de modelos, una carpeta con resultados de ensayo. El trabajo según ISO 26262 o IEC 61508 necesita la cadena de evidencias que describe esta página. Ref entrega la cadena.

Preguntas

Lo que se pregunta primero

¿Qué herramientas MBSE trabajan con Ref?

Cualquier herramienta que exporte requisitos como ReqIF. Los archivos de modelo de cualquier herramienta se guardan con sus versiones; el editor sigue siendo el suyo.

¿Ref sustituye nuestra herramienta de requisitos?

Puede mantener los requisitos. Si Polarion o DOORS sigue siendo el maestro, ReqIF va en las dos direcciones.

¿Revisión de calidad de requisitos según las reglas de INCOSE?

A petición, a través del agente.

¿Puede un agente escribir el modelo SysML a partir de los requisitos?

Esboza la estructura y una persona corrige. SysMBench, de la Universidad de Pekín, 2025, probó 17 modelos con 151 escenarios; el mejor alcanzó el 62 por ciento en la métrica de los autores, y los autores lo llaman débil. Eran los modelos de mediados de 2025, y las generaciones siguientes son mejores; la corrección por una persona sigue siendo más barata que un error que nadie ha visto.

Si su modelo y sus evidencias de ensayo están en sitios distintos, un piloto con un subsistema no cuesta nada. Cuéntenos su proyecto.