活动简介

Increasingly complex and interdependent systems require careful design to ensure continued operation in the presence of component failures, natural disasters, software/hardware vulnerabilities, and latent software errors. Such systems span broad range of applicability. Devices such as pacemakers and insulin pumps, aim at better life for individuals, while large public infrastructure such a smart power grid, rapid public transport, and water treatment and distribution, impact the daily lives of a mass of people. Often such systems are interdependent in complex ways implying that flaws in the design of one may affect the behaviour of a system-of-systems.

A key question then becomes “What design innovation is needed to bring about systems whose operation in accordance with functional and non-functional requirements is assured with a very high probability?” HASE 2017 will focus on this and related questions answers to which are of paramount importance to engineers who design and build interdependent complex systems that impact individuals, entire cities and even nations.

征稿信息

重要日期

2016-09-12
初稿截稿日期

征稿范围

  • Model-driven Engineering

  • Design languages

  • Synthesis

  • Formal Methods

  • Domain Specific Languages

  • Evolution and Change

  • Verification and Validation

  • Software Analysis and Visualisation

  • Transformation-based Development

  • Security and Privacy

  • Reliability and Safety

  • Tools for High Assurance Systems

  • Artificial Intelligence in High Assurance

  • Machine Learning in High Assurance

留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    01月12日

    2017

    01月14日

    2017

  • 09月12日 2016

    初稿截稿日期

  • 01月14日 2017

    注册截止日期

移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询