The Coq mailing list

[Tahina Ramananandro <ramananandro AT reservoir.com>]

Dear colleagues,

Please consider submitting to the:

ACM SIGAda’s High Integrity Language Technology (HILT) 2016

International Workshop on Model-Based Development and Contract-Based

Programming

Part of: Embedded Systems Week (ESWEEK)

Organizer: SIGAda, ACM’s Special Interest Group on the Ada Programming Language

Location: Pittsburgh, Pennsylvania (USA)

URL: http://sigada.org/conf/hilt2016/

Papers Due: July 15th, 2016

Submission URL: https://www.easychair.org/conferences/?conf=hilt2016

Papers Due: July 15th, 2016

Notification: July 31st, 2016

Camera-ready: September 15th, 2016

Workshop: October 6-7th, 2016

AIMS AND SCOPE

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.

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.

HILT 2016 is designed as 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 this formal approach to model-based development. The workshop will be a combination of presentations and panel discussions.

TOPICS OF INTEREST

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 

SUBMISSION INFORMATION

Attendees wishing to present at the workshop should prepare full papers (approx. 8 pages), or extended abstracts (approx. 4 pages) for their proposed presentations, in MS Word, PDF, or text format, by July 15th, 2016, at https://www.easychair.org/conferences/?conf=hilt2016

Then, the workshop program committee will select presentations and organize them into sessions. Other interested participants are welcome to register for the HILT 2016 Workshop as part of their ESWEEK registration.

INVITED SPEAKERS

HILT 2016 will feature invited presentations from leading experts in language technology and high-integrity systems:

- John Knight, University of Virginia

- Bernard Dion, ANSYS Systems Business Unit

- Phil Koopman, Carnegie Mellon University

  Software Engineering Institute (SEI)

ORGANIZERS

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 Craynest, ACM SIGAda International Representative,

  KU Leuven

- Clyde Robby, Secretary-Treasurer, ACM SIGAda,

  Institute for Defense Analyses

- Alok Srivastava, Editor, ACM Ada Letters, Engility Corp.

- Ricky E. Sward, Past Chair, ACM SIGAda, MITRE

Program Committee:

- Tony Aiello, Dependable Computing 

- Howard Ausden, Lockheed Martin 

- Ted Baker, Florida State University (Retired) 

- Ben Brosgol, AdaCore 

- Sagar Chaki, Carnegie Mellon University

  Software Engineering Institute (SEI) 

- Stephen Chong, Harvard University 

- David Cook, S.F. Austin State University

- Peter Feiler, Carnegie Mellon University

  Software Engineering Institute (SEI) 

- Hubert Garavel, INRIA 

- Jérôme Hugues, Institute for Space and Aeronautics Engineering (ISAE),

  Toulouse, France 

- Brian Hulbert, LinQuest

- Stephen Jacklin, NASA 

- John Kassie, Rockwell Collins 

- Bruce Lewis, US Army 

- Miroslav Pajic, Duke Pratt School of Engineering 

- Erhard Ploedereder, University of Stuttgart (Germany) 

- Tahina Ramananandro, Reservoir Labs 

- Howard Reubenstein, BAE 

- Alok Srivastava, Engility Corporation 

- Joyce Tokar, Pyrrhus Software 

- Angela Wallenberg, Altran 

- Mike Whalen, University of Minnesota

MORE INFORMATION

about HILT 2016, including registration and travel, can be found at:

http://sigada.org/conf/hilt2016/

Looking forward to your paper submissions!

Thank you,

--

Tahina Oliver Ramananandro, Ph. D.

Senior Engineer, Advanced Compilers and Formal Verification

Reservoir Labs, Inc.

632 Broadway, Suite 803

New York, NY 10012

USA

Phone: +1 (212) 780-0527 ext. 157

E-mail: ramananandro AT reservoir.com, tahina AT ramananandro.org

Web: http://www.reservoir.com, http://tahina.ramananandro.org