HASE 2017 - 18th IEEE International Symposium on High Assurance Systems Engineering

HASE 2017 programme will be divided into the following tracks.
Track A: Theoretical foundations of assurance
Contributions under this track will focus on formal methods that aid in modeling and validating new and existing designs of complex systems.
Track B: The practice of assurance
Contributions under this track will focus on methods that have been applied in the design of high assurance systems, or have been tested in realistic testbeds.
Track C: Tools
Contributions under this track will focus on new or existing tools and their effectiveness in creating high assurance designs.
Track D: Ideas under trial
Short papers under this track will focus on new ideas that fall under design innovation. Such ideas might not have undergone a rigorous test but are worthy of discussion.
Papers that cut across Tracks A, B, and C are welcome.
Systems of interest [not limited to]
Cyber-physical Systems (including public infrastructure such as power grid, water treatment and distribution, mass transportation, digital manufacturing systems)
Internet of Things
Cloud Systems
Distributed Systems
Web Services
Embedded Systems
Autonomous vehicles
Robot swarms
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