ReqMIoT: An Integrated Requirements Modelling Environment for IoT Systems

In this paper, we propose ReqMIoT, an integrated environment for requirements development of IoT systems. Our environment supports a textual use case modelling language covering IoT-specific concepts, UCM4IoT, for interaction modelling. It also supports the generation of IoT use case diagrams. ReqMIoT enables use cases to be automatically mapped to IoT domain models conforming to the IoT Architectural Reference Model (ARM). The environment allows domain models to be revised and evolved to design models. Requirements summary can also be generated for the purpose of documentation and static analysis. A smart light application is used to demonstrate the usage of the environment. https://www.cs.torontomu.ca/∼pboutot/ reqmiot.html