Specification and Modeling Formalisms
The overall ambition of this topic is to establish a coherent family of mathematical specification and modeling formalisms for quantitative and security aspects of cyber-physical systems.
Topics:
- Requirement Analysis and Extended Logics
- Resource-aware Modeling Formalisms
- Modeling of Mobility
Work package leaders:
Jan Madsen, Technical University of Denmark
Huibiao Zhu, East China Normal University
