An Intelligent Assistant for Converting City Requirements to Formal Specification

06/14/2022
by   Zirong Chen, et al.
0

As more and more monitoring systems have been deployed to smart cities, there comes a higher demand for converting new human-specified requirements to machine-understandable formal specifications automatically. However, these human-specific requirements are often written in English and bring missing, inaccurate, or ambiguous information. In this paper, we present CitySpec, an intelligent assistant system for requirement specification in smart cities. CitySpec not only helps overcome the language differences brought by English requirements and formal specifications, but also offers solutions to those missing, inaccurate, or ambiguous information. The goal of this paper is to demonstrate how CitySpec works. Specifically, we present three demos: (1) interactive completion of requirements in CitySpec; (2) human-in-the-loop correction while CitySepc encounters exceptions; (3) online learning in CitySpec.

READ FULL TEXT

page 2

page 3

research
06/07/2022

CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities

An increasing number of monitoring systems have been developed in smart ...
research
02/19/2023

CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization

An increasing number of monitoring systems have been developed in smart ...
research
08/06/2019

Runtime Monitoring of Safety and Performance Requirements in Smart Cities

With the increasing number of smart services implemented in smart cities...
research
02/11/2022

Why just FRET when you can Refactor? Retuning FRETISH Requirements

Formal verification of a software system relies on formalising the requi...
research
03/31/2020

Cross-project Classification of Security-related Requirements

We investigate the feasibility of using a classifier for security-relate...
research
09/21/2021

From English to Signal Temporal Logic

Formal methods provide very powerful tools and techniques for the design...
research
03/01/2021

validation method to improve behavioral flows on uml requirements analysis model by cross-checking with state transition model

We propose a method to evaluate and improve the validity of required spe...

Please sign up or login with your details

Forgot password? Click here to reset