[SystemSafety] HILT 2016 Workshop on Model-Based Development and Contract-Based Programming: Call for papers and extended abstracts:

[Ben Brosgol]

HILT 2016 Workshop on Model-Based Development and Contract-Based Programming

As part of ESWEEK (Embedded Systems Week)
October 6 & 7, 2016; Pittsburgh, PA
Sponsored by ACM SIGAda

CFP: http://www.sigada.org/conf/hilt2016/HILT2016-CFP.pdf
Website:  http://sigada.org/conf/hilt2016
ESWEEK: http://esweek.org

The High Integrity Language Technology (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.

Important Dates:

June 30:  Papers or Extended abstracts due
July 31:  Notification of submissions accepted for presentation
Sept 15:  Final submissions due
Oct 6&7:  Workshop as part of ESWEEK

Keynote:
* Phil Koopman, CMU

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:
   o Formal modeling and verification
   o Testing, validation, and certification
   o Model- and component-based software design and analysis
   o Software technologies for safety-critical and mixed-critical systems
   o Robust implementation of control systems
   o Embedded software security

Workshop Co-Chairs
* Julien Delange, Software Engineering Institute
* Tucker Taft, AdaCore Inc

Organizing Committee
* David Cook, Chair, ACM SIGAda, S.F. Austin State University
* Dirk Craeynest, ACM SIGAda International Representative, KU Leuven
* Clyde Roby, Secretary-Treasurer, ACM SIGAda, Institute for Defense 
Analyses
* Alok Srivastava, Editor, ACM Ada Letters, Engility Corp.
* Ricky E. Sward, Past Chair, ACM SIGAda, MITRE