/Software-Engineering-2-Project

Repository for Software Engineering Project A.Y. 2016/17, Group: Bressan, deSantis, DiMarco. Power EnJoy project. Car sharing system

Primary LanguageAlloy

Software Engineering 2 Power EnJoy Project

Please look the project presentation: Power EnJoy Presentation

Problem assignments

You are to develop a digital management system for a car-sharing service that exclusively employs electric cars. First, the system should provide the functionality normally provided by car-sharing services.

These include:

  • Users must be able to register to the system by providing their credentials and payment information. They receiveback a password that can be used to access the system.
  • Registered users must be able to find the locations of available cars within a certain distance from their current location or from a specified address.
  • Among the available cars in a certain geographical region, users must beable to reserve a single car for up to one hour before they pick it up.
  • If a car is not picked-up within one hour from the reservation,the system tags, the car as available again, and the reservation expires; the user pays a fee of 1 EUR.
  • A user that reaches a reserved car must be able to tell the system she’s nearby, so the system unlocks the car and the user may enter.
  • As soon as the engine ignites, the system starts charging the user for a given amount of money per minute; the user is notified of the current charges through a screen on the car.
  • The system stops charging the user as soon as the car is parked in a safe area and the user exits the car; at thispoint, the system locks the car automatically.
  • The set of safe areas for parking cars is pre-defined by the management system.

Documents to be created

  • Requirements Analysis and Specification Document (RASD)
  • Design Document (DD)
  • Integration Test Plan Document (ITPD)
  • Project Plan (PP)
  • Code Inspection (CI)
  • Gantt Diagrams