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.