diff --git a/pub/poster/poster.pdf b/pub/poster/poster.pdf new file mode 100644 index 0000000..55c5116 Binary files /dev/null and b/pub/poster/poster.pdf differ diff --git a/pub/poster/poster.svg b/pub/poster/poster.svg new file mode 100644 index 0000000..4f6b784 --- /dev/null +++ b/pub/poster/poster.svg @@ -0,0 +1,555 @@ + + + +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 result, there are two logical sections to this, the formal model and the connector. + +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. + +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.ArchitectureFormal MethodChecklist TesterFlight SimulatorSafety 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 IntroductionTesting Quick Reference Handbooks in Flight Simulators Anthony Berg (200871682)Supervisor: Leo Freitas diff --git a/pub/poster/resources/Newcastle_University_logo.svg b/pub/poster/resources/Newcastle_University_logo.svg new file mode 100644 index 0000000..afff41c --- /dev/null +++ b/pub/poster/resources/Newcastle_University_logo.svg @@ -0,0 +1,41 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file