High level design of distributed embedded and mobile systems

点击翻译按钮获取中文摘要

My overall research objective is the development of a comprehensive methodological framework for computational and mathematical modeling of complex distributed systems at high levels of abstraction as required for the early software development phases to ensure that the key system attributes are properly established and well understood prior to actually building the system. Focusing on semantic rather than syntactic aspects, the identification and elimination of design flaws and undesirable side effects requires precise models of the expected system behavior and the use of such models for analyzing functional system properties, test case generation, and runtime verification.