High integrity software must not only meet correctness and performance criteria but also satisfy stringent safety and/or security demands, typically entailing certification against a relevant standard. A significant factor affecting whether and how such requirements are met is the chosen language technology and its supporting tools: not just the programming language(s) but also languages for expressing specifications, program properties, domain models, and other attributes of the software or overall system.

The HILT 2016 Workshop is focused on the synergy between Model-Based Development and Contract-Based Programming, producing a formal model-driven approach to the development of high-assurance software-intensive systems. An important output of this formal model-driven approach is code that preserves explicit representations, in the form of contracts (such as pre- and post-conditions), of the safety and security requirements of the software. This depends on having formalized representations of at least some of the high-level requirements of the system, and allows for consistency checks and assurance case evaluation at every level of development, from the high-level architecture, through the coding and testing of the individual software components of the system. This formal approach also enables verification of system requirements and consistency throughout the integration of the components to physically build the system.

The HILT 2016 Workshop will provide a forum for communities of researchers and practitioners from academic, industrial, and governmental settings, to come together, share experiences, and forge partnerships focused on integrating and deploying tool and language combinations to support a formal approach to model-based development. The workshop will be a combination of presentations and panel discussions, with one or more invited speakers. We are soliciting full papers and extended abstracts for those wishing to make presentations at the workshop. Attendees may register for only the HILT 2016 Workshop, or may register for an ESWEEK conference as well.