Agenda 2016
| Time | Event |
|---|---|
| 0730 – 0800 | Speaker’s Briefings |
| 0800 – 0830 | |
| 0830 – 0900 | |
| SOF-01. | Software Architecture and Robust Software Engineering |
| Chair(s): | Chris Thames (NASA Langley Research Center) |
| 0900 – 0930 | Formally Verified Run Time Assurance Architecture of a 6U CubeSat Attitude Control System |
| Kerianne H. Gross, Air Force Research Laboratory; Matthew Clark, Air Force Research Laboratory; Jonathan A. Hoffman, Air Force Research Laboratory; Aaron Fifarek, LinQuest; Kuldip Rattan, Wright State University; Eric Swenson, Air Force Institute of Technology; Michael Whalen, University of Minnesota, Minneapolis; Lucas Wagner, Rockwell Collins | |
| http://arc.aiaa.org/doi/abs/10.2514/6.2016-0222 | |
| 0930 – 1000 | New Requirement-Definition and Verification Techniques According to DO-178C, DO-331, and DO-333 |
| Ulrich Eisemann, dSPACE GmbH; Jace L. Allen, dSPACE Inc. | |
| http://arc.aiaa.org/doi/abs/10.2514/6.2016-0223 | |
| SOF-02. | Lightweight Perfection: Why and How You Should Review Code for Small Teams |
| Chair(s): | Stephen Blanchette (Software Engineering Institute) |
| 1030 – 1200 | Plenary Talk |
| Chris Thames (NASA Langley Research Center), James Murphy (NASA Ames Research Center), Misty Davies (NASA -Ames Research Center) | |
| 1200 – 1400 | Lunch Break |
| SOF-03. | Software Challenges in Aerospace Symposium |
| Chair(s): | James Murphy (NASA -Ames Research Center) |
| 1400 – 1430 | Applying Machine Learning for Run-time Bug Detection in Aviation Software |
| Hu Huang, Tufts University; Samuel Guyer, Tufts University; Jason Rife, Tufts University | |
| http://arc.aiaa.org/doi/abs/10.2514/6.2016-0482 | |
| 1430 – 1500 | Soft Computing in Aerospace |
| Fred C. Briggs, Self | |
| http://arc.aiaa.org/doi/abs/10.2514/6.2016-0483 | |
| 1500 – 1530 | Towards Generic Requirements and Models for Automated Mission Tasks with RPAS |
| Christoph Torens, German Aerospace Center (DLR); Florian Adolf, German Aerospace Center (DLR); Girish Patil, Technical University of Chemnitz; Ganesh K. Vernekar, Technical University of Chemnitz | |
| http://arc.aiaa.org/doi/abs/10.2514/6.2016-0484 | |
| 1530 | Workshop Ended |