It is proposed that emulation techniqu can be a solution to a difficulty arising in the analysis of the analysis of the rel iabil ity of highly re1 iable computer systems for future cOlTlllercial aircraft, and thus should warrant investigation and development.
For safe and reliable DC Distribution systems, appropriate switchgear are key elements. Hybrid switchgear technology has the potential to satisfy the requirements of these prospective DC systems. This paper contributes to the improvement the design of these switchgear by providing information on increasing the reliabil...
Arno Bernhardt, Matthias Streck, Johannes Gehring et al.· IEEE Open Journal of Power E...· 0 citations
This work provides the first-ever open-source implementation of Safety Nets for HCAS and VCAS with replicable results, demonstrating a practical pathway toward certifiable AI-based systems in aviation and establishing Safety Nets as a viable Safety-by-Design solution for safety-critical applications.
J. Christensen, Thomas Stefani, Elena Hoemann et al.· 0 citations
FAA+RTS is a novel solution as it integrates previously-isolated methods for dealing with multiple constraints into a single framework, presenting a single overview of all possible trade-offs to the application designer, resulting in a robust and reliable system.
L. Miedema, D. Sapra, P. Novobilsky et al.· 0 citations
Testing and validating railway interlocking systems present significant challenges due to the need for communication with both trackside equipment and Train Control System (TCS)s, which typically involve complex subsystems and extensive hardware. This paper introduces a simulation-based software platform designed to em...
Cece Ahmad, E. Yossy· International Conferences on...· 0 citations
Testing Simulink models is a widely recognized, relevant, and challenging problem for automated software engineering. It is relevant to industry practitioners since Simulink is a development and simulation language widely used by the Cyber-Physical System (CPS) industry. It is challenging since CPS are usually complex,...
A. Bombarda, Nunzio Marco Bisceglia, Marco Saini et al.· Proceedings of the 41st IEEE...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.