Smart City Gnosys
Smart city article details
| Title | Cityspec: An Intelligent Assistant System For Requirement Specification In Smart Cities |
|---|---|
| ID_Doc | 14241 |
| Authors | Chen Z.; Li I.; Zhang H.; Preum S.; Stankovic J.A.; Ma M. |
| Year | 2022 |
| Published | Proceedings - 2022 IEEE International Conference on Smart Computing, SMARTCOMP 2022 |
| DOI | http://dx.doi.org/10.1109/SMARTCOMP55677.2022.00020 |
| Abstract | An increasing number of monitoring systems have been developed in smart cities to ensure that a city's real-time operations satisfy safety and performance requirements. However, many existing city requirements are written in English with missing, inaccurate, or ambiguous information. There is a high demand for assisting city policy makers in converting human-specified requirements to machine-understandable formal specifications for monitoring systems. To tackle this limitation, we build CitySpec, the first intelligent assistant system for requirement specification in smart cities. To create CitySpec, we first collect over 1,500 real-world city requirements across different domains from over 100 cities and extract city-specific knowledge to generate a dataset of city vocabulary with 3,061 words. We also build a translation model and enhance it through requirement synthesis and develop a novel online learning framework with validation under uncertainty. The evaluation results on real-world city requirements show that CitySpec increases the sentence-level accuracy of requirement specification from 59.02 % to 86.64 %, and has strong adaptability to a new city and a new domain (e.g., F1 score for requirements in Seattle increases from 77.6 % to 93.75% with online learning). © 2022 IEEE. |
| Author Keywords | Intelligent Assistant; Monitoring; Requirement Specification; Smart City |
Similar Articles
| Id | Similarity | Authors | Title | Published |
|---|---|---|---|---|
14240  | 0.967 | Chen Z.; Li I.; Zhang H.; Preum S.; Stankovic J.A.; Ma M. | Cityspec With Shield: A Secure Intelligent Assistant For Requirement Formalization | Pervasive and Mobile Computing, 92 (2023) |
| 8492 | 0.967 | Chen Z.; Li I.; Zhang H.; Preurn S.; Stankovic J.A.; Ma M. | An Intelligent Assistant For Converting City Requirements To Formal Specification | Proceedings - 2022 IEEE International Conference on Smart Computing, SMARTCOMP 2022 (2022) |
| 45128 | 0.878 | Almaarif, A; Aslam, K; Gordijn, J | Requirements Engineering For Smart Cities: Emerging Trends And Techniques | 2024 IEEE INTERNATIONAL SMART CITIES CONFERENCE, ISC2 (2024) |
| 58298 | 0.867 | Lee J.; Song J. | Towards Semantic Smart Cities: A Study On The Conceptualization And Implementation Of Semantic Context Inference Systems | Sensors, 23, 23 (2023) |
| 49669 | 0.862 | Bashir A.; Latif N.; Khan A.M.; Sohail M. | Smart Cities Paradigm With Ai-Enabled Effective Requirements Engineering | 18th IEEE International Conference on Emerging Technologies, ICET 2023 (2023) |
| 34955 | 0.855 | Amaxilatis D.; Mylonas G.; Theodoridis E.; Diez L.; Deligiannidou K. | Learningcity: Knowledge Generation For Smart Cities | EAI/Springer Innovations in Communication and Computing (2020) |
| 28187 | 0.853 | Almaarif, A; Aslam, K; Gordijn, J | Government Approaches To Requirements Gathering In Smart Cities: Lessons Learned For Southeast Asia | 2024 IEEE INTERNATIONAL SMART CITIES CONFERENCE, ISC2 (2024) |
| 45127 | 0.852 | Polst, S; Elberzhager, F | Requirements Assessment In Smart City Districts: A Motivation Concept For Citizens | REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY (REFSQ 2020), 12045 (2020) |