Traceability in Systems Engineering: An Avionics Case Study

Mustafa, Nasser; Labiche, Yvan; Towey, Dave

doi:10.1109/compsac.2018.10345

Cited by 5 publications

(2 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Finalmente, el módulo "Configuración de Flaps/Slats" utiliza el comando mencionado para colocar la palanca de flaps en una de las posiciones posibles, teniendo en cuenta el último valor de configuración, los límites de configuración y las características de actuación del actuador de flaps/slats (Mustafa et al, 2018). Por lo general, hay cinco posiciones discretas o retenes: 0, 1, 2, 3, 4, donde 0 es la configuración completamente retraída y 4 completamente extendida.…”

Section: Automatización Del Sistema De Posicionamiento De Flaps/slatsunclassified

Sistema borroso para el soporte de la envolvente de velocidad de una aeronave

Plaza Alonso,

Santos,

Sierra García

2023

XLIV Jornadas De Automática: Libro De Actas: Universidad De Zaragoza, Escuela De Ingeniería Y Arquitectura, 6, 7 Y 8 De Septiem

View full text Add to dashboard Cite

Este artículo presenta un sistema inteligente basado en lógica borrosa para automatizar acciones de piloto de un avión comercial en las diferentes fases de vuelo a la hora de adecuar la envolvente de velocidad y mantenerse dentro de ella. Para ello se diseña un sistema modular simplificado que realiza la acción de cambio de la posición de las superficies de híper-sustentación (flaps y slats) de la aeronave según sus necesidades de velocidad, para mantener la envolvente de la aeronave, lo cual es crítico para la seguridad operacional del vuelo. De esta forma, la sustentación necesaria para el vuelo se mantiene a pesar de los cambios necesarios de velocidad a la requerida para las distintas fases (despegue, ascenso, crucero, aproximación y aterrizaje) como lo haría un piloto humano, pero de forma automática. Los resultados de la simulación en escenarios simplificados muestran el comportamiento esperado.

show abstract

Section: Automatización Del Sistema De Posicionamiento De Flaps/slatsunclassified

Sistema borroso para el soporte de la envolvente de velocidad de una aeronave

Plaza Alonso,

Santos,

Sierra García

2023

XLIV Jornadas De Automática: Libro De Actas: Universidad De Zaragoza, Escuela De Ingeniería Y Arquitectura, 6, 7 Y 8 De Septiem

View full text Add to dashboard Cite

show abstract

“…In [58], traceability in Systems Engineering is discussed. In particular, the authors describe how to capture traceability information in a system with heterogeneous artifacts, by contextually presenting a case study in Avionics, which uses a traceability model and a reference trace links taxonomy.…”

Section: Tracing and Verificationmentioning

confidence: 99%

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica

et al. 2021

View full text Add to dashboard Cite

The increasing complexity of cyber-physical systems (CPSs) makes their design, development and operation extremely challenging. Due to the nature of CPS that involves many heterogeneous components, which are often designed and developed by organizations belonging to different engineering domains, it is difficult to manage, trace and verify their properties, requirements and constraints throughout their lifecycle by using classical techniques. In this context, the paper presents an integrated solution to formally define system requirements and automate their verification through simulation. The solution is based on the FOrmal Requirements Modeling Language and the Modelica language. The solution is exemplified through two case studies concerning a Trailing-Edge High-Lift system and a Heating, Ventilation and Air Conditioning system.

show abstract

Granular Traceability Between Requirements and Test Cases for Safety-Critical Software Systems

Elqortobi

Rahj

2023

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Traceability in Systems Engineering: An Avionics Case Study

Cited by 5 publications

References 33 publications

Sistema borroso para el soporte de la envolvente de velocidad de una aeronave

Sistema borroso para el soporte de la envolvente de velocidad de una aeronave

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica

Granular Traceability Between Requirements and Test Cases for Safety-Critical Software Systems

Contact Info

Product

Resources

About