Verificación del sistema

En Requirements & Systems Portal, los requisitos están conectados a uno o más sistemas o subsistemas. Estos sistemas se verifican mediante actividades de Verificación y Validación (V&V). El requisito de un bloque puede verificarse con una o varias actividades de V&V. Cada actividad puede vincularse a uno o varios requisitos y puede verificar uno o más sistemas.

En esta parte del tutorial, explicaremos cómo realizar actividades de V&V usando Requirements & Systems Portal y veremos lo siguiente:

• Cómo crear actividades de V&V.

• Cómo vincular actividades de V&V a los requisitos.

• Cómo ejecutar una actividad.

• Demostrar los métodos de verificación automática en Requirements & Systems Portal.

Creación y carga de vistas para verificación

Requirements & Systems Portal ofrece varios atributos preseleccionados, como Identifier, Text, Parents, Children, Type, State, V&V Status, V&V Activities, V&V Blocks, Tags y Properties. Sin embargo, esto puede provocar un desplazamiento horizontal excesivo en pantallas más pequeñas. Puede generar vistas personalizadas con solo los atributos esenciales para agilizar el proceso de verificación. Vamos a crear una nueva vista para la verificación y cargarla.

1. Vaya al módulo Requirements () y abra la especificación Fan_Spec.

2. Pase el cursor sobre cualquier encabezado de columna, haga clic en el icono que aparece y, a continuación, haga clic en el icono para mostrar una lista de columnas disponibles.

   

3. Deseleccione todas las columnas de la lista y seleccione solo las siguientes:

   • Text

   • Applicable Blocks

   • Parents

   • Children

   • V&V Status

   • V&V Activities

   • V&V Rules

   • Tags

   También puede seleccionar/deseleccionar los atributos usando el panel Columns, al que se accede desde el lado derecho. Este enfoque se muestra para que también conozca las opciones adicionales disponibles en los encabezados de columna, como filtros y opciones de tamaño de tabla. Por ejemplo, el icono proporciona opciones de filtrado para una columna específica.

4. Haga clic con el botón derecho en la tabla y seleccione el comando Save view en el menú contextual. En la ventana Save current view que se abre, introduzca Verification_View como View name, seleccione Private y, a continuación, haga clic en .

   

   Todas las columnas seleccionadas, los anchos de columna y los filtros aplicados se guardarán en una vista dedicada. Una vez guardada la vista, puede cargarla haciendo clic con el botón derecho en la tabla y seleccionando la entrada correspondiente en el submenú Load View.

Agregar una actividad de Verificación y Validación a un requisito

Requirements & Systems Portal ofrece tres columnas dedicadas a la verificación y validación de requisitos (aparte de columnas adicionales como Compliance y Compliance Comment o incluso columnas personalizadas relacionadas con actividades de verificación):

• V&V Status – indica el estado general de verificación del requisito.

• V&V Activities – muestra las actividades de V&V asociadas al requisito.

• V&V Rules – verificación automática basada en la comparación de vali entre el requisito y el módulo System Design.

1. Vaya al módulo Verifications & Validations  haciendo clic en el icono en la barra de navegación de módulos de la izquierda.

2. Haga clic en el botón . En la ventana Create V&V Activity que se abre, introduzca Mass Inspection en el campo Name y This activity measures the mass of the Valifan. en el campo Description, y luego haga clic en .

   

3. Ahora vincularemos la nueva actividad a uno de nuestros requisitos desde el módulo Requirements. Haga clic en el nombre de la actividad en la columna Name y haga clic en el control Requirements Statuses en la parte superior de la página.

   

4. Haga clic en el botón en la parte superior derecha. En la ventana Link Requirement que se abre, seleccione R-Fan-001 en la lista desplegable Requirement y seleccione Fan en la lista desplegable Block; a continuación, haga clic en .

   

5. Supongamos que realizó la inspección de masa según las instrucciones de la actividad y ahora queremos establecer el estado de verificación como verificado. Para ello, haga doble clic en la celda de la columna Status y seleccione Verified en la lista desplegable.

   

Con esto, hemos creado correctamente una actividad de verificación manual. Veamos ahora cómo realizar verificaciones automáticas en nuestros requisitos que comparen los valis del diseño del sistema con los valis del requisito.

Verificación automática del sistema mediante reglas

1. Vaya al módulo Requirements () y abra la especificación Fan_Spec.

2. Pase el cursor sobre el vali en la columna 300 g del requisito Text R-Fan-001 y compruebe su nombre en la ventana emergente. Este nombre se utilizará al crear una regla en la que este vali se comparará con un vali del módulo System Design.

   

   Los valis de los requisitos pueden editarse haciendo clic en el icono en la ventana emergente. Puede ajustar parámetros como el nombre, los márgenes, etc.

3. Haga doble clic en la celda de la columna V&V Rules del requisito R-Fan-001. Se abrirá la ventana V&V Rules, donde puede definir una regla para comparar la masa Valifan del requisito de 300 g con el vali de masa del sistema Fan del módulo System Design. Use el símbolo $ para hacer referencia a los valis. En la ventana emergente que aparece, puede buscar valis escribiendo sus nombres. Defina la regla de la siguiente manera:

   $Fan.Mass<$R-Fan_001.maximum_mass_of_the_fan

   Observe cómo Requirements & Systems Portal obtiene los valores asociados reales debajo del cuadro de texto.

   

4. Haga clic en el botón en la ventana V&V Rules y luego cierre la ventana. En la tabla, verá que ahora tenemos una regla (que está verificada) asociada al requisito y un estado total de V&V de 2/2 (ya que la actividad de inspección de masa también se verificó previamente).

   

¿Siguientes pasos?

¡Enhorabuena! ¡Ahora ya sabe cómo moverse por Requirements & Systems Portal!

Puede seguir mejorando su proyecto de ventilador de escritorio. Aquí tiene algunas ideas:

• Agregar Compliance a sus requisitos

• Agregue algunas relaciones padre/hijo entre requisitos, revise el gráfico de conexiones y observe los códigos de color en el requisito.

• ¿Qué le parece crear una simulación para calcular el desplazamiento de aire resultante en función de los modos del ventilador?

• Agregue un bloque de panel solar para hacer el ventilador portátil. Puede hacer que la velocidad máxima de rotación dependa del ángulo del sol sobre el panel solar.