主题词：Smart Grid Security and Resilience; Vehicular Ad Hoc Networks (VANETs); Real-Time Systems Scheduling; Autonomous Vehicle Technology and Safety; Formal Methods in Verification; Network Security and Intrusion Detection; Adversarial Robustness in Machine Learning; Anomaly Detection Techniques and Applications; Traffic control and management; Information and Cyber Security; Advanced Malware Detection Techniques; IoT and Edge/Fog Computing; Smart Grid Energy Management; Software Reliability and Analysis Research; Safety Systems Engineering in Autonomy; Privacy-Preserving Technologies in Data; Distributed systems and fault tolerance; Energy Efficient Wireless Sensor Networks; Traffic Prediction and Management Techniques; Software System Performance and Reliability; Fault Detection and Control Systems; Embedded Systems Design Techniques; Advanced Neural Network Applications; Security and Verification in Computing; Software Testing and Debugging Techniques