征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

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 2018 will focus on this and related questions and answers which are of paramount importance to engineers who design and build interdependent complex systems that impact individuals, entire cities and even nations.

征稿信息

重要日期

2018-09-09
初稿截稿日期
2018-10-21
初稿录用日期
2018-12-01
终稿截稿日期

征稿范围

Topics of interest [not limited to]

  • 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月03日

    2019

    01月05日

    2019

  • 09月09日 2018

    初稿截稿日期

  • 10月21日 2018

    初稿录用通知日期

  • 12月01日 2018

    终稿截稿日期

  • 01月05日 2019

    注册截止日期

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