From 860040b0fd4d9fa7ed4fdd1f1851abf896c4e9bb Mon Sep 17 00:00:00 2001 From: Anthony Date: Fri, 26 Apr 2024 10:32:44 +0100 Subject: [PATCH] feat(poster): add final poster design --- pub/poster/poster.pdf | Bin 997 -> 0 bytes pub/poster/poster.svg | 1122 +++++++++++++++++++++++++---------------- 2 files changed, 690 insertions(+), 432 deletions(-) delete mode 100644 pub/poster/poster.pdf diff --git a/pub/poster/poster.pdf b/pub/poster/poster.pdf deleted file mode 100644 index 55c51165e39da892b8f7d5f7775e2bed36d99860..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 997 zcmY!laBV;o|@;1uhukeHE{xF$U>FEcA;;e=?)7&EMC~R`>MJ*1olQnx5IVd4B89N2u;m z%)MP>rMW`4`|^y#g(hF$DtH{P_MV-lyQk@7)wzl3Gd4Co&FuUsyvhB@OM_eS5)}&? zoA(QcwZ3$oC%0$SWHIm0&WaPo{7;+ATgsZm`DW%fSHshlmTvhrFZniIydQCSYe48i zj;~wO{n<+tvRohEx)2@5wud#}+B8Ia*VeH6QLFx@Nh+jr)U2QLa!m-|rH#)UU0$va zl==H~{|@bkN2jmM&wMGLpZM~Ueo=DMBg_Z{#{(?285+T&&=8T{U`Z3@)ZmXztJ0E(V51K8XnlDG%5MzbY7(31q8INVvi#$R|+RqtG;S;!ECuo|!Wn85!P+vgToW YvbZF%sHCC@=zeo^LoQWSSARDy0ESj#0ssI2 diff --git a/pub/poster/poster.svg b/pub/poster/poster.svg index 8b91d5c..9dcd364 100644 --- a/pub/poster/poster.svg +++ b/pub/poster/poster.svg @@ -9,7 +9,7 @@ id="svg1" inkscape:version="1.3.2 (091e20ef0f, 2023-11-25, custom)" sodipodi:docname="poster.svg" - inkscape:export-filename="poster.pdf" + inkscape:export-filename="poster.png" inkscape:export-xdpi="96" inkscape:export-ydpi="96" xml:space="preserve" @@ -27,9 +27,9 @@ inkscape:pagecheckerboard="0" inkscape:deskcolor="#505050" inkscape:document-units="mm" - inkscape:zoom="0.18976267" - inkscape:cx="2547.9195" - inkscape:cy="1865.4881" + inkscape:zoom="0.25000001" + inkscape:cx="915.99998" + inkscape:cy="1596" inkscape:window-width="1920" inkscape:window-height="1008" inkscape:window-x="0" @@ -37,7 +37,7 @@ inkscape:window-maximized="1" inkscape:current-layer="layer6" showguides="true" - showgrid="true">A variety of tools has been used to provide ease of use and A variety of tools has been used to provide to provide formal verification. This has been designed to be ease of use and to provide formal verification. able to run on as many desktop computers as possible. As a This has been designed to be able to run on as result, there are two logical sections to this, the formal many desktop computers as possible. As a model and the connector. + id="tspan15">result, there are two logical sections to this, the formal model and the connector. + id="tspan19"> The formal model is created using The formal model is created using VDM-SLVDM-SL, which provides , the logic for running through the checklists and makes sure which provides the logic for running through that the checklists are completed in a valid manner. + id="tspan28">the checklists and makes sure that the checklists are completed in a valid manner. + id="tspan32"> With the formal model, the connector provides a user With the formal model, the connector interface using provides a user interface using Compose Multiplatform, allowing the Compose input of checklists, which get saved in a SQLiteMultiplatform database, , allowing the input of and checklists, which get saved in a SQLiteto run the tests by linking the formal model and the flight simulator using NASA's X-Plane Connect Toolboxdatabase, and to run the tests by linking the .formal model and the flight simulator using NASA's X-Plane Connect Toolbox.ArchitectureArchitectureFormal MethodFormal MethodChecklist TesterChecklist TesterFlight SimulatorFlight SimulatorSafety is important in aviation, and there are countless of Safety is important in aviation, and there are faults that could happen during a flight. Which is why countless of faults that could happen during checklists are created to help pilots get safety critical steps a flight. Which is why checklists are created to right in unexpected events and get the situation under help pilots get safety critical steps right in control.unexpected events and to get the situation under control.ProblemProblemAn application that connects to X-Plane and runs checklists, An application that connects to X-Plane and whilst getting statistics from the flight simulator to provide a runs checklists, whilst getting statistics from result on how well the checklist performed. The application the flight simulator to provide a result on how allows to create and manage checklists, and store the well the checklist performed. The application results of tests that were run for allows to create and manage checklists, and those procedures.store the results of tests that were run for those procedures.SolutionSolution1. Add an AI pilot that can fly the aircraft -1. Add an AI pilot that can fly the aircraft +2. Implement support for other flight simulators like ---------- 2. Implement support for other flight simulators ---Prepar3D ----like Prepar3D +3. Add pre-defined aircrafts to the application to simplify --- 3. Add pre-defined aircrafts to the application - ---inputting checklists ----to simplify inputting checklists +4. Research pilot reaction times to implement more ----------- 4. Research pilot reaction times to implement -- ---variables for checklists to be tested on---more variables for checklists to be tested onFuture DevelopmentFuture Development--Front end application to run checklists in a flight simulator --Front end application to run checklists in a -- --automatically ---flight simulator automatically +--Create projects and checklists that gets saved locally ---Create projects and checklists that gets ------ --Tracks how each item in the checklist performed in the ----- --saved locally +--simulator ---Tracks how each item in the checklist --------- --VDMJ interpreter built into the application ---performed in the simulator +--Compatible with Windows, macOS, and Linux--VDMJ interpreter built into the application +--Compatible with Windows, macOS, and ----- --LinuxFeaturesFeatures1. Research current checklists that are testable and may be 1. Research current checklists that are testable ---problematic ----and may be problematic +2. Implement a formal model that runs through checklists -2. Implement a formal model that runs ---------- 3. Produce a front end application to input and run --------- ---through checklists +---checklists -3. Produce a front end application to input ---- 4. Connect the formal model, front end application, and --- ---and run checklists +---flight simulator to allow for a more accurate ---------------- 4. Connect the formal model, front end --------- ---representation of aircraft systems and flight conditions---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 To test checklists for flaws that could safety of the aircraft by checking that the checklist can be compromise the safety of the aircraft by completed within a reasonable amount of and the checking that the checklist can be completed reproducibility of the checklist's outcome.within a reasonable amount of and the reproducibility of the checklist's outcome.AimAimTesting Quick Reference Handbooks in Testing Quick Reference Handbooks in Flight Simulators Flight Simulators Anthony Berg (200871682)Anthony Berg (200871682)Supervisor: Leo Freitas Supervisor: Leo Freitas