Modelling and analysis techniques for spatio-temporal requirements

Requirements Engineering (RE) is a key step in any project aiming at evolving an information system (IS). Current developments, on mobile or cyber-physical systems for example, combine both spatial and temporal dimensions, often reserved to Geographic Information Systems (GIS). This requires more systematic methods for capturing and reasoning about the spatial and temporal nature of requirements. This paper presents a framework for systematically identifying, structuring and reasoning about such requirements, including the selection among alternative designs. In addition to specific techniques combining RE and GIS contributions, a guidance process is also detailed. The process has a dedicated tool support and was also validated on different cases. One of them is used as running example to illustrate our extensions. © 2017 Lavoisier.