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.
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
初稿截稿日期
注册截止日期
2019年01月03日 中国
2019 IEEE 19th International Symposium on High Assurance Systems Engineering2016年01月07日 美国 Orlando
2016年IEEE第17届国际高保障系统工程研讨会2015年01月08日 美国
2015年第16届IEEE国际高可靠性系统工程研讨会
留言