From a26a5952f95c60c72b16e0452f06ae9a6aec5877 Mon Sep 17 00:00:00 2001 From: Anthony Date: Wed, 24 Apr 2024 10:16:38 +0100 Subject: [PATCH] refactor(poster): rotate page to portrait --- pub/poster/poster.svg | 653 ++++++++++++++++++++++++++---------------- 1 file changed, 402 insertions(+), 251 deletions(-) diff --git a/pub/poster/poster.svg b/pub/poster/poster.svg index 438e577..8b91d5c 100644 --- a/pub/poster/poster.svg +++ b/pub/poster/poster.svg @@ -2,9 +2,9 @@ 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 This has been designed to be able to run on as many desktop computers as possible. As a to provide formal verification. This has been designed to be result, there are two logical sections to this, the formal model and the connector. -able to run on as many desktop computers as possible. As a -result, there are two logical sections to this, the formal The formal model is created using VDM-SL, which provides the logic for running through model and the connector. +the checklists and makes sure that the checklists are completed in a valid manner. + id="tspan79"> -The formal model is created using VDM-SL, which provides With the formal model, the connector provides a user interface using Compose the logic for running through the checklists and makes sure Multiplatform, allowing the input of checklists, which get saved in a SQLite database, and that the checklists are completed in a valid manner. +to run the tests by linking the formal model and the flight simulator using NASA's X-Plane +Connect Toolbox.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 to run the tests by linking the formal model and the flight simulator using NASA's X-Plane Connect Toolbox.ArchitectureSafety is important in aviation, and there are countless of faults that could happen during Safety is important in aviation, and there are countless of a flight. Which is why checklists are created to help pilots get safety critical steps right in faults that could happen during a flight. Which is why unexpected events and get the situation under control.checklists are created to help pilots get safety critical steps right in unexpected events and get the situation under control.ProblemAn application that connects to X-Plane and runs checklists, whilst getting statistics from An application that connects to X-Plane and runs checklists, the flight simulator to provide a result on how well the checklist performed. The application whilst getting statistics from the flight simulator to provide a allows to create and manage checklists, and store the results of tests that were run for result on how well the checklist performed. The application those procedures.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 + id="tspan158">1. Add an AI pilot that can fly the aircraft 2. Implement support for other flight simulators like Prepar3D -2. Implement support for other flight simulators like ---------- ---3. Add pre-defined aircrafts to the application to simplify inputting checklists + id="tspan164">Prepar3D 4. Research pilot reaction times to implement more variables for checklists to be tested on3. 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 ---Front end application to run checklists in a flight simulator --- Create projects and checklists that gets saved locally + id="tspan183">automatically - Tracks how each item in the checklist performed in the simulator + id="tspan185">--Create projects and checklists that gets saved locally - VDMJ interpreter built into the application ---Tracks how each item in the checklist performed in the ----- --- Compatible with Windows, macOS, and Linuxsimulator +--VDMJ interpreter built into the application +--Compatible with Windows, macOS, and LinuxFeatures1. Research current checklists that are testable and may be problematic + id="text5-2" + transform="translate(-0.92539361,222.93955)" + inkscape:label="Objective Text Body">1. Research current checklists that are testable and may be ---problematic 2. Implement a formal model that runs through checklists + x="186.34387" + y="1510.1469" + id="tspan211">2. Implement a formal model that runs through checklists 3. Produce a front end application to input and run checklists + x="186.34387" + y="1550.1469" + id="tspan214">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 conditions4. Connect the formal model, front end application, and --- ---flight simulator to allow for a more accurate ---------------- ---representation of aircraft systems and flight conditionsObjectivesObjectivesTo 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.To 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.AimAimTesting Quick Reference Handbooks in Flight Simulators Testing Quick Reference Handbooks in Flight Simulators Anthony Berg (200871682)Supervisor: Leo Freitas