From 931e65c35ea0abaf7d858b1439c83d2f63e83573 Mon Sep 17 00:00:00 2001 From: Anthony Berg Date: Tue, 23 Apr 2024 19:33:40 +0100 Subject: [PATCH] feat(poster): add main titles and bodies --- pub/poster/poster.svg | 501 +++++++++++++++++++++++++++++++++--------- 1 file changed, 403 insertions(+), 98 deletions(-) diff --git a/pub/poster/poster.svg b/pub/poster/poster.svg index 4f6b784..438e577 100644 --- a/pub/poster/poster.svg +++ b/pub/poster/poster.svg @@ -15,6 +15,7 @@ xml:space="preserve" xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" + xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg" xmlns:svg="http://www.w3.org/2000/svg">A variety of tools has been used to provide ease of use and to provide formal verification. A variety of tools has been used to provide ease of use and to provide formal verification. This has been designed to be able to run on as many desktop computers as possible. As a This has been designed to be able to run on as many desktop computers as possible. As a result, there are two logical sections to this, the formal model and the connector. + id="tspan15">result, there are two logical sections to this, the formal model and the connector. + id="tspan17"> The formal model is created using VDM-SL, which provides the logic for running through The formal model is created using VDM-SL, which provides the logic for running through the checklists and makes sure that the checklists are completed in a valid manner. + id="tspan24">the checklists and makes sure that the checklists are completed in a valid manner. + id="tspan26"> With the formal model, the connector provides a user interface using Compose With the formal model, the connector provides a user interface using Compose Multiplatform, allowing the input of checklists, which get saved in a SQLite database, and Multiplatform, allowing the input of checklists, which get saved in a SQLite database, and to run the tests by linking the formal model and the flight simulator using NASA's X-Plane to run the tests by linking the formal model and the flight simulator using NASA's X-Plane Connect Toolbox.Connect Toolbox.ArchitectureArchitectureFlight SimulatorSafety is important in aviation, and there are countless of faults that could happen during Safety is important in aviation, and there are countless of faults that could happen during a flight. Which is why checklists are created to help pilots c a flight. Which is why checklists are created to help pilots get safety critical steps right in unexpected events and get the situation under control.IntroductionProblemAn application that connects to X-Plane and runs checklists, whilst getting statistics from the flight simulator to provide a result on how well the checklist performed. The application allows to create and manage checklists, and store the results of tests that were run for those procedures.Solution1. Add an AI pilot that can fly the aircraft +2. Implement support for other flight simulators like Prepar3D +3. Add pre-defined aircrafts to the application to simplify inputting checklists +4. Research pilot reaction times to implement more variables for checklists to be tested onFuture Development- Front end application to run checklists in a flight simulator automatically +- Create projects and checklists that gets saved locally +- Tracks how each item in the checklist performed in the simulator +- VDMJ interpreter built into the application +- Compatible with Windows, macOS, and LinuxFeatures1. Research current checklists that are testable and may be problematic +2. Implement a formal model that runs through checklists +3. Produce a front end application to input and run checklists +4. Connect the formal model, front end application, and flight simulator to allow for a more ---accurate representation of aircraft systems and flight conditionsObjectivesTo test checklists for flaws that could compromise the safety of the aircraft by checking that the checklist can be completed within a reasonable amount of and the reproducibility of the checklist's outcome.AimTesting Quick Reference Handbooks in Flight Simulators Anthony Berg (200871682)Supervisor: Leo Freitas