SafeStreets is a crowdsourced application where citizens can report traffic violations to authorities along with pictures and relevant information about the infractions. After validation, if requested, the system provides the possibility to analyze the collected data based on the role of the final user.
In addition, SafeStreets can cross-reference its information with data provided by the municipality and suggest reasonable interventions for unsafe areas. It can also supply public authorities, such as the local police, with data to generate traffic tickets. Finally, it elaborates statistics on different layers to show the effectiveness of SafeStreets and its impact on the community.
The project documentation is structured into two main parts:
-
Requirement Analysis and Specification Document
-
Design Document
-
Alloy: Utilized as a declarative specification language. Alloy models are analyzed using Alloy Analyzer.
-
UML: Used for producing various diagrams for analysis. UML diagrams are generated with StarUML.
Details about Alloy models and UML diagrams present in the documentation can be found in their respective folders.