Master thesis report, layout issues and structure

[christofferholmstedt]

The master thesis report should include the following chapters:

**First chapters**
1. Abstract
2. Acknowledgement
3. Table of Contents
4. List of Figures
5. List of Tables
6. List of Abbreviations

**Main chapters**
1. Introduction
  1. Background (including move to VN, and proof-of-concept with IoT)
  2. Problem statement
2. State of the Art
  1. Space plug-and-play Avionics
  2. Ada and Dependability
  3. Model Checking and UPPAAL
  4. Internet of Things
3. Method
  1. Literature study
  2. Requirements analysis
  3. Design with UML
  4. Modeling, validation and verification with UPPAAL
  5. Development in Ada
  6. Iteration of 3.2 to 3.5 twice during the thesis work
4. Result
5. Conclusion

**Last chapters**
1. Bibliography
2. Appendices

The master thesis report should include the following sections and subsections:

What is in scope for my research question?
What is not in scope for my research question?