Section: New Results
Spatio-temporal constraints for mobile systems, with automotive driving assistance illustrations
Participants : Frédéric Mallet, Joëlle Abou Faysal, Robert de Simone, Xiaohong Chen.
The objective here is to extend constraint specifications to encompass spatial aspects in addition to logical multiform time. Spatio-temporal logics and requirement formalisms are thus an inspiration here. But mobility requests additionally that these spatio-temporal relations evolve in time. We are investigating in several directions:
-
a target methodological approach is to consider these spatio-temporal relations to express safe driving rules as requirements or guarantees, meant to (in)validate trajectory proposals computed by a lower-level algorithmic system (itself operating on more direct neighborhood information). A realistic size case study is handled in collaboration with Renault Software Labs, as part of the CIFRE PhD contract of Joëlle Abou-Faysal, to define the precise needs in expressiveness and formal validation.
-
Preliminary definitions of a spatio-temporal requirement specification languages, borrowing ideas from spatio-temporal logics and formal mobile process modeling (none of which being sufficient to our aim), is being progressed in collaboration with fellow researchers from ECNU Shanghai [20].