CfP Deadline Extended: Workshop on Model-Based Development and Contract-Based Programming (HILT 2016)

CALL FOR PAPERS - Extended Deadline July 15, 2016

ACM SIGAda's High Integrity Language Technology International Workshop on Model-Based Development and Contract-Based Programming

part of Embedded Systems Week (ESWEEK)

October 6-7, 2016 | Pittsburgh, Pennsylvania (USA) | http://sigada.org/conf/hilt2016

Organized by SIGAda, ACM's Special Interest Group on the Ada Programming Language

ACM SIG Proceedings Guidelines for Submitters

Important Dates:

• July 15 (Extended): Papers or Extended abstracts due
• July 31: Notification of submissions accepted for presentation
• Sep 15: Final submissions due
• Oct 6&7: Workshop as part of ESWEEK

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.

You may send submissions in MS Word, PDF, or text format. Please submit your papers via EasyChair at https://www.easychair.org/conferences/?conf=hilt2016

We encourage papers and extended abstracts relating to:

• Architecture-level and requirements-oriented modeling with systems such as AADL, SysML, and ArgoSim
• Component-level modeling with systems such as UML/OCL, Simulink, and SCADE
• Automated analysis and code generation targeting verification-oriented tools and/or programming language subsets such as Coq, PVS, ACL2, Why, SPARK/Ada, Frama C/ACSL, MISRA C, JML, and CompCert C.
• Other contributions linking modeling and contracts to the topics associated with the co-located EMSOFT conference:
  • Formal modeling and verification
  • Testing, validation, and certification
  • Model- and component-based software design and analysis
  • Software technologies for safety-critical and mixed-critical systems
  • Robust implementation of control systems
  • Embedded software security