HILT 2016             ACM logo - Advancing Computing as a Science & Profession

ACM SIGAda’s High Integrity Language Technology
International Workshop on
Model-Based Development and Contract-Based Programming
as part of Embedded Systems Week (ESWEEK)

Workshop at a Glance

Final Program

A Great "Thank You" to Our Sponsors

Thursday, October 6
9:00 - 10:15am

Plenary Session

Greetings from SIGAda and Conference Officers

Keynote Address:

Your program is more complicated than you think: System Assurance and the Real-world Semantics of Software
John Knight (University of Virginia)

10:15 - 10:45am Morning Break
10:45am - 12:30pm

Session: Static Analysis Presentations

Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC (Paper)
Timm Liebrenz (Technische Universität Berlin), Verena Klös (Technische Universität Berlin), and Paula Herber (Technische Universität Berlin)

The Use of SPARK/Ada in a Complex Spacecraft (Paper)
Carl Brandon (Vermont Technical College) and Peter Chapin (Vermont Technical College)

A Comparison of Avionics Open System Architectures (Paper)
Joyce Tokar (Pyrrhus Software)

Session summary and discussion

12:30 - 2:00pm Lunch
2:00 - 3:00pm

Session: Static Analysis Presentations (continued)

Contract-Based Verification of Timing Enforcers (Paper)
Sagar Chaki (Software Engineering Institute (SEI)) and Dionisio de Niz

Analysis and Design of Safety-critical, Cyber-Physical Systems (Paper)
John McGregor (Clemson University), David Gluch (Software Engineering Institute (SEI)), and Peter Feiler (Software Engineering Institute (SEI))

3:00 - 3:30pm

Session: Static Analysis Presentation and Static Analysis Tool Demonstration, Part 1

Automated Fault Tree Analysis from AADL Models (Paper)
Peter Feiler (Software Engineering Institute (SEI)) and Julien Delange (Software Engineering Institute (SEI))

3:30 - 4:00pm Afternoon Break
4:00 - 5:30pm

Session: Static Analysis Tool Demonstrations, Part 2

Modeling, Verifying, and Generating Software for Distributed Cyber-Physical Systems using DMPL and AADL (Abstract)
Sagar Chaki (Software Engineering Institute (SEI)), Dionisio de Niz, and Joseph Seibel

AGREE tool demonstration (Abstract)
John Backes (Rockwell Collins)

SafeProver: A High-Performance Verification Tool (Paper)
Jean Frédéric Etienne (SafeRiver) and Eric Juppeaux (SafeRiver)

5:30 - 6:30pm Break
6:30 - 9:00pm

Dinner and Social Event
Six Penn Kitchen

Keynote Address:

40 years of experience in HIL languages in 15 minutes
Bernard Dion (ANSYS Systems Business Unit)

Friday, October 7
9:00 - 10:00am

Plenary Session

Keynote Address:

Challenges in Autonomous Vehicle Testing and Validation
Phil Koopman (Carnegie Mellon University
Department of Electrical and Computer Engineering (ECE))

Session: Q&A

10:00 - 10:30am Morning Break
10:30am - 11:45pm

Session: Static Analysis Presentations

Safety verification for nonlinear and hybrid models with C2E2 (Abstract)
Chuchu Fan, Sayan Mitra, and Mahesh Viswanathan

Session: Dynamic Analysis Presentations

Simulation of AADL models with software-in-the-loop execution (Paper)
Denis Buzdalov (Institute for System Programming of Russian Academy of Sciences)

Building Trust in a Model-Based Automatic Code Generator (Paper)
Tucker Taft (AdaCore), Elie Richa (AdaCore, SAS), and Andres Toom (IB Krates)

11:45am - 12:30pm

Session: Dynamic Analysis Tool Demonstrations, Part 1

Debugging Embedded Systems Requirements Before The Design Begins (Paper)
Fabien Gaucher (ARGOSIM SA) and Yves Génevaux (ARGOSIM SA)

12:30 - 1:30pm Lunch
1:30 - 3:00pm

Session: Dynamic Analysis Tool Demonstrations, Part 2

Design Requirements Iterative Process (DRIP) Tool Demonstration: Concurrent Engineering of Design, Requirements and Knowledge (Paper)
Josef Müller (Engineered Mechatronics), Prashanth Narasimhan (Engineered Mechatronics), and Gopalswamy Swaminathan (Engineered Mechatronics, Texas A&M)

ANSYS (Gold Sponsor) demonstration of ANSYS Model-Based Development Suite

Interactive Model-Level Debugging of Auto-Generated Code (Abstract)
Tucker Taft (AdaCore), Clement Bourgeois, and Emmanuel Briot

3:00 - 3:30pm Afternoon Break
3:30 - 5:00pm

Session: Modeling and Simulation

Panel: Modeling and Simulation of Complex Systems

Moderator: Tucker Taft (AdaCore)

Denis Buzdalov   Simulation of AADL with S-I-L
Bruce Barkstrom   Ada-Based Simulation of a Production and Distribution Archive for Earth Science Data
John McGregor, David Gluch, and Peter Feiler   Analysis and Design of Safety-critical, Cyber-Physical Systems
Peter Feiler and Julien Delange   Automated Fault-Tree Analysis from AADL models

Created on 4 October 2016;  website comments and corrections to ClydeRoby at ACM.Org