AEDUS2: Adaptable Environments for Distributed Ubiquitous Systems

请求将平台补助金续签5年，以支持伦敦帝国理工学院计算学系内分布式软件工程组的人员和差旅。这是一个世界知名的组织，它将构建工具的实际工作与更正式的软件工程方法结合在一起，这些工具用于设计和实现自适应的泛在和分布式系统和网络，用于行为建模、需求规范和分析、语言语义和分布式编程的类型系统。这项提议将为一些有经验的研究人员提供资金的凝聚力和连续性提供支持，并允许对新的想法和实验进行短期评估。项目将侧重于一种完善的软件工程方法，以适应自主系统的软件环境，基于策略的信任、隐私和安全，以及无处不在系统的需求工程。该提案还将资助一名经验丰富的研究人员提供全面的项目管理，并帮助协调打包和维护实验软件所需的努力，使外部学术和工业用户更容易获得它。

This is request for renewal for a further 5 years for a Platform Grant to support personnel and travel for the Distributed Software Engineering Group within the Department of Computing, Imperial College London. This is a world-renowned group which combines practical work on building tools for design and implementation of adaptive ubiquitous and distributed systems and networks with more formal software engineering approaches to behaviour modelling, requirements specification and analysis, language semantics and type systems for distributed programming. This proposal will provide support for cohesion and continuity of funding for a number of experienced researchers as well as permitting short-term evaluation of new ideas and experiments. Projects will focus on a sound Software Engineering approach to adaptive software environments for autonomic systems, policy-based trust, privacy and security, as well as requirements engineering for ubiquitous systems. The proposal will also fund an experienced researcher to provide overall project management and help coordinate the effort required for packaging and maintaining experimental software to make it more accessible to external academic and industrial users.