Agenda 2015
| Time | Event |
| 0800 | Plenary Session for ASM |
| 0930 | Slayer of Giants |
| Stephen Blanchette, Jr. | |
| Software Engineering Institute | |
| 1000 | Using Formal Requirements and Model-Checking for Verification and Validation of Unmanned Rotorcraft |
| Christoph Torens | |
| Institute of Flight Systems, Dept. Unmanned Aircraft, Braunschweig, Germany | |
| 1030 | Seeking Meaningful Measures for COTS-Intensive System Development |
| Linda Esker | |
| Fraunhofer Center of Experimental Software Engineering | |
| 1100 | Message Latency Characterization of a Distributed Live, Virtual, Constructive Simulation Environment |
| Jim Murphy | |
| NASA Ames Research Center | |
| 1130 | RUMS – Realtime Visualization and Evaluation of Live, Virtual, Constructive Simulation Data |
| Jim Murphy | |
| NASA Ames Research Center | |
| 1200 | Lunch Break |
| 1400 | Verification of Real-Time Systems Using Statistical Model Checking |
| Dr. Jeffery Hansen | |
| Institute for Complex Engineered Systems, Carnegie Mellon University | |
| 1430 | Dependability of Software of Unknown Pedigree |
| Dr. Steve Cook | |
| MITRE Corporation | |
| 1500 | Trusting Outsourced Components In Flight Critical Systems |
| Dr. Temesghen Kahsai | |
| Carnegie Mellon University | |
| 1530 | Maintenance Phase Considerations for Onboard Flight Software Development |
| Dr. Karen Gundy-Burlet | |
| NASA Ames Research Center | |
| 1600 | Wrap-Up Discussion |
| 1630 | Workshop Ended |