• Home
• About the Workshop
  • Important Dates
  • Submission Information (PDF)
  • Social Event
  • Program Committee
  • SIGAda Officers
• Technical Program
  • Invited Presentations
  • Schedule
• Sponsorships
  • Sponsorship Opportunities
  • Current Sponsors
• Registration and Travel
  • Workshop Registration
  • Hotel Registration
  • IMPORTANT VISA INFORMATION

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
(Abstract)
John Knight (University of Virginia)

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

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))

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))

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)

Dinner and Social Event
Six Penn Kitchen

Keynote Address:

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

Plenary Session

Keynote Address:

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

Session: Q&A

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)

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)

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

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