High Assurance through Design Innovation

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


  • 28 Apr: Proceedings are now available on IEEE Xplore
  • 25 Jan: Presentation slides for HASE are available for download here
  • 6 Jan: Click here to register for iTrust testbed tour on 14 Jan.
  • 6 Jan: Final programme can be accessed here.
  • 29 Dec: Early bird registration is extended to 5 Jan 2017.
  • 7 Dec: Registration is now open!
  • 28 Nov: Draft detailed programme for HASE is now available.
  • 28 Nov: Limited booths are available for organisations to showcase their technology at HASE. Reserve one early!
  • 15 Nov: Author kit and submission and formatting guidelines for camera ready papers are now available!
  • 11 Nov: Camera ready submission deadline has been extended to 21 Nov 2016. Final Paper Formatting and Submission Instructions Web page (online author kit) will be made available in the coming days.
  • 27 Oct: Congratulations on your paper acceptance! Please submit your camera ready copies by 14 Nov 2016.
  • 20 Oct: In conjunction with HASE 2017, iTrust is also organising a Workshop on Security Issues in CPS. Call for Papers for the Workshop is now open till Nov 14, and can be submitted through EasyChair.
  • 29 Sep: Accommodation booking (with preferential rates) for HASE 2017 is now available here! For more info on the conference venue, please click here.
  • 27 Sep: Submission for papers is now closed. Authors whose papers are accepted will be notified by 24 Oct 2016. Thank you for your submissions
  • 9 Sep: Call for Papers submission deadline has been extended by one week to 19 Sep 2016, 11:59 PM (GMT+8)
  • 6 Sep: Discounted flights via United Airlines are now available!
  • 13 Jul: CFP is now open

Symposium sponsor:

IEEE comp soc
Technical Committee on Distributed Processing (TCDP)

Symposium organiser:


Booth Sponsors

Silver sponsors:


For more than 80 years, Rohde & Schwarz has stood for quality, precision and innovation in all fields of wireless communications. The group relies on its expertise based on 20 years of experience in IT and network security. All Rohde & Schwarz development, sales and service activities focus on the customer.

The company offers a complete test and measurement portfolio for the wireless market. Rohde & Schwarz solutions are used worldwide by leading companies in the wireless communications and mobile network testing market segments. The group also offers T&M equipment tailored to the automotive industry, the aerospace and defense market, all sectors of industrial electronics and research and education. In broadcast and media, Rohde & Schwarz addresses network operators, consumer electronics manufacturers and content providers. The group ranks among the world market leaders in both T&M and broadcasting equipment.

Rohde & Schwarz actively promotes IT and network security. With its cybersecurity solutions, the group protects industry and government authorities against cyberattacks and espionage. Communications and security solutions from Rohde & Schwarz are also used for critical infrastructures. The company additionally offers reconnaissance equipment for homeland and external security as well as communications and reconnaissance equipment for the armed forces.


RSA helps leading organizations around the world take command of their security posture by partnering to build and implement business-driven security strategies. With RSA’s award-winning cybersecurity solutions, organizations can effectively detect and respond to advanced attacks; manage user identities and access; and reduce business risk, fraud and cybercrime. For more information, go to www.rsa.com.

Bronze sponsors:


SUTD is Singapore’s fourth public university, and one of the first universities in the world to incorporate the art and science of design and technology into a multi-disciplinary curriculum. Established in collaboration with the Massachusetts Institute of Technology (MIT), SUTD seeks to nurture technically-grounded leaders and innovators in engineering product development, engineering systems and design, information systems technology and design, and architecture and sustainable design, to serve societal needs. Also in collaboration with Zhejiang University (ZJU) and Singapore Management University (SMU), SUTD, a research-intensive university, is distinguished by its unique East and West academic programmes which incorporate elements of entrepreneurship, management and design thinking. Graduate opportunities include an MIT-SUTD Dual Masters’ Degree Programme and an SUTD PhD Programme. www.sutd.edu.sg.


In 2013 TNO opened its Singapore office as a regional hub for South East Asia. TNO connects people and knowledge to create innovations that boost the sustainable competitive strength of industry and well-being of society. Our innovations focus on the future challenges by applied scientific research and public private partnerships to provide solutions for these challenges. Focus areas:

  • Cyber Security: Blockchain Security (BCS), Design of Secure Critical Infrastructures (DSCI) and Solutions to Combat Cybercrime and Cyberterrorism (SC3);
  • Smart Urbanisation and Mobility: Urban planning with real-time dashboards, Detection of deviant human behaviors by Intelligent Imaging, Autonomous Guided Vehicles, Truck Platooning, V2V and V2X communication concepts.