Sample paper
Word Count: approximately 2,000 words
Scope Statement
The report presents a comprehensive specification of requirements for the traffic light control subsystem of a smart city transportation management system, describing the subsystem responsible for adaptively controlling traffic lights based on real-time traffic conditions and emergency vehicle prioritisation. It employs RT-SASD methodologies -- data flow diagrams, control flow diagrams, process specifications, and control specifications -- to specify the subsystem's intended behaviour and drive subsequent design and implementation.
Subsystem Description
The subsystem dynamically adjusts traffic light timing and sequencing across intersections based on current traffic patterns, aiming to maximise throughput and minimise congestion while ensuring safe flow for vehicles and pedestrians. Key capabilities include real-time monitoring from cameras, inductive loops, and radar; adaptive timing algorithms that adjust green/red splits, cycle lengths, and phase sequences; emergency vehicle preemption that provides a green wave and automatically resumes normal operation once the vehicle clears the intersection; coordination across adjacent intersections to maintain progression along corridors; pedestrian crossing management with extended time for vulnerable users; fail-safe fallback to flashing red during equipment failures; and a traffic engineer interface for monitoring and configuration.
External interfaces include traffic sensors, a connected vehicle platform (via vehicle-to-infrastructure communication), the transit management system, the emergency vehicle preemption system, pedestrian sensors, the central citywide traffic management system, and the traffic engineer workstation.
Refining the Description with Generative AI
An initial subsystem description was drafted through structured queries to a generative AI tool covering the subsystem's primary functions and its key external interfaces. The AI-generated response captured the core functionality accurately but required refinement: elaborating on adaptive timing mechanics (green/red splits, cycle lengths, phase sequences), emphasising the real-time nature of monitoring, clarifying that normal operation resumes automatically once an emergency vehicle clears the intersection, adding inter-intersection coordination and accommodation for vulnerable pedestrians, specifying sensor types and their data outputs, and standardising terminology (e.g., "subsystem" rather than "system") throughout the final description.
Data Flow Diagrams
The Level 0 DFD presents the subsystem as a single process exchanging data with its external entities: traffic sensor data, connected vehicle data, transit data, emergency preemption requests, pedestrian input and sensor data, central management commands, and traffic engineer input flow in; traffic light commands and subsystem status/metrics flow out.
The Level 1 DFD decomposes the subsystem into seven subprocesses -- Monitor Traffic, Optimize Signal Timing, Manage Emergency Preemption, Manage Pedestrian Crossings, Control Traffic Lights, Manage Faults, and Update Central System -- connected by data flows including processed traffic data, computed signal timing parameters, preemption commands, pedestrian requests, fault notifications, and status updates.
Control Flow Diagrams
The control flow diagram for the Traffic Light Optimization process captures the event sequence: sensor data becoming ready triggers timing optimisation, which produces timing parameters that trigger a light update; separately, an approaching emergency vehicle activates preemption until it completes, a pedestrian request activates a crossing phase until it completes, and a detected fault triggers a fail-safe timing plan until the fault clears.
Process Specifications
A representative process specification for Optimize Signal Timing takes processed traffic data, configuration settings, pedestrian requests, preemption status, and fault status as inputs. It first checks for active preemption or faults, loading the corresponding override timing plan if either is present; otherwise it retrieves configuration constraints (minimum/maximum green times, cycle length limits, coordination parameters, pedestrian crossing requirements) and runs the optimisation algorithm to compute green splits, adjust for pedestrian crossing time, compute cycle length, and offset coordinated phases -- outputting the optimised timing parameters.
Control Specifications
A process activation table shows how events map to subprocess activation: sensor data readiness activates signal timing optimisation; an approaching emergency vehicle activates preemption management while deactivating pedestrian crossing management; a pedestrian request activates crossing management; and a detected fault deactivates all normal processes and activates fault management, with fault clearance reversing this.
A five-state transition matrix (Normal Operation, Emergency Preemption, Pedestrian Crossing, Flashing Red, All Red) formalises valid transitions: Normal Operation can move to Emergency Preemption, Pedestrian Crossing, or Flashing Red depending on the triggering event; Flashing Red persists until the fault clears, then transitions through All Red back to Normal Operation; and both Emergency Preemption and Pedestrian Crossing can be interrupted by a higher-priority emergency vehicle event or a detected fault.
Conclusion and Next Steps
The report concludes that the RT-SASD techniques applied -- DFDs, CFDs, PSPECs, and CSPECs -- together provide a comprehensive, unambiguous specification of the subsystem's functionality, interfaces, and dynamic behaviour. Recommended next steps include stakeholder validation with traffic engineers, city planners, and emergency services; detailed software design specification; implementation following real-time systems best practices; unit, integration, and real-world simulation testing; integration with the broader smart city traffic management system; a monitored pilot deployment; and staff documentation and training.
References
Arshad, J., Siddique, M. A. B., Zulfiqar, Z., Khokhar, A., Salim, S., Younas, T., et al. (2020, February). A novel remote user authentication scheme by using private blockchain-based secure access control for agriculture monitoring. In 2020 International Conference on Engineering and Emerging Technologies (ICEET) (pp. 1-9). IEEE. Arshad et al., 2020
Behrisch, M., Bieker, L., Erdmann, J., & Krajzewicz, D. (2011). SUMO -- simulation of urban mobility: an overview. Proceedings of SIMUL 2011. ThinkMind.
Ghazal, B., ElKhatib, K., Chahine, K., & Kherfan, M. (2016, April). Smart traffic light control system. 2016 Third International Conference on Electrical, Electronics, Computer Engineering and their Applications (EECEA) (pp. 140-145). IEEE.
Huang, Y., Seck, M. D., & Verbraeck, A. (2011, December). From data to simulation models: component-based model generation with a data-driven approach. Proceedings of the 2011 Winter Simulation Conference (WSC) (pp. 3719-3729). IEEE.
Jalali, S., & Wohlin, C. (2012, September). Systematic literature studies: database searches vs. backward snowballing. Proceedings of the ACM-IEEE International Symposium on Empirical Software Engineering and Measurement (pp. 29-38). Jalali & Wohlin, 2012
Kashinath, S. A., Mostafa, S. A., Mustapha, A., Mahdin, H., Lim, D., Mahmoud, M. A., et al. (2021). Review of data fusion methods for real-time and multi-sensor traffic flow analysis. IEEE Access, 9, 51258-51276.
Kavitha, Y., Satyanarayana, P., & Mirza, S. S. (2023). Sensor-based traffic signal pre-emption for emergency vehicles using an efficient short-range communication network. Measurement: Sensors, 28, 100830.
Yousef, K. M., Al-Karaki, J. N., & Shatnawi, A. M. (2010). Intelligent traffic light flow control system using wireless sensors networks: vehicular wireless networks and vehicular intelligent transportation systems. Journal of Information Science and Engineering, 26(3), 753-768.