Decide

This project is an implementation of a Launch Interceptor Program developed from the specification Launch Interceptor Program: Requirements Specification which is derived from An experimental evaluation of the assumption of independence in multiversion programming by J. C. Knight and N. G. Leveson, IEEE Transactions on Software Engineering 12(1):96–109, January 1986.

How to use

The class LaunchInterceptor provides a method decide() which returns a boolean launch signal to the interceptor based on the input information. Such as radar information in the form of planar points, and configuration information in the form of the helper class Parameters. Classes Point and Connector are also provided as helper classes but to use the system one does not need to use these directly.

To use the LaunchInterceptor one has to create an instance of it, and provide the parameters:

• numPoints: The number of planar data points.
• points: Array containing the coordinates of data points.
• parameters: Struct holding parameters for LIC’s.
• lcm: 15x15 Logical Connector Matrix with Connector enunm types.
• puv: 15x1 boolean Preliminary Unlocking Vector containing the relevant LIC's.
• numTests (optional): The number of LICs used in the test.

Requirements

Junit: 4.13.1 or above
Java JDK: 11.0.9.1 or above

Contributions

• Jakob Berggren
  • Co-author of Skeleton Code
  • LIC 4, implementation and testing
  • LIC 9, implementation and testing
  • LIC 14, implementation and testing
  • Author of README
• E-Joon Ko
  • Project Leader of assignment 1
  • LIC 0, implementation and testing
  • LIC 5, implementation and testing
  • LIC 10, implementation and testing
• Agnes Forsberg
  • LIC 2, implementation and testing
  • LIC 7, implementation and testing
  • LIC 12, implementation and testing
  • FUV evaluation implementation
  • LAUNCH evaluation implementation
  • Top-level tests implementation
• Niklas Tomsic
  • Co-Author of extending Skeleton Code
  • LIC 3, implementation and testing
  • LIC 8, implementation and testing
  • LIC 13, implementation and testing
  • Small fixes related to redundant code
• Caroline Borg
  • LIC 1, implementation and testing
  • LIC 6, implementation and testing
  • LIC 11, implementation and testing
  • Co-author of Point class
  • PUM evaluation implementation
  • Rebase Cannon Fodder