<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 14 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.E-MailFormatvorlage17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri","sans-serif";}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial","sans-serif";color:black">Final
</span>Call for Papers - 4th Software Challenges in Aerospace Symposium <o:p></o:p></p>
<p class="MsoNormal">Co-located with SciTech2017<o:p></o:p></p>
<p class="MsoNormal">9–13 January 2017<o:p></o:p></p>
<p class="MsoNormal">Gaylord Texan, Grapevine, Texas<o:p></o:p></p>
<p class="MsoNormal">Website: <a href="http://www.softwarechallengesaero.com/"><span style="color:blue">http://www.softwarechallengesaero.com/</span></a>
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">MOTIVATION AND OBJECTIVES<o:p></o:p></p>
<p class="MsoNormal">---------------------------------------------<o:p></o:p></p>
<p class="MsoNormal">In the 4th Software Challenges in Aerospace symposium, we will again bring together experts at the intersection of aerospace and computer science. We will focus on software for flight operations (both on the vehicle and ground), and place
a priority on the design and analysis of software-intensive aerospace systems for safety assurance. The goal of this symposium is to foster innovation and discussion across the divide between the two academic communities. We place an emphasis on demonstrable
research on real-world applications, with clear extensions to aerospace software.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Papers will appear in the 2017 SciTech proceedings <a href="http://www.aiaa-scitech.org/">
<span style="color:blue">http://www.aiaa-scitech.org/</span></a> . Select papers from the first symposium were invited to extend their papers for a special issue of the Journal of Aerospace Information Systems.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">We invite papers of the following types:<o:p></o:p></p>
<p class="MsoNormal">Papers that clearly describe gaps in the capabilities or policies related to aerospace software, and that illuminate frontiers where research will be necessary in order to make progress.<o:p></o:p></p>
<p class="MsoNormal">Papers which push the boundaries and deliver results in software-intensive systems, highlighting techniques that enable the intelligent and efficient management of system complexity.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">THEMES<o:p></o:p></p>
<p class="MsoNormal">---------------------<o:p></o:p></p>
<p class="MsoNormal">The topics covered by this workshop include, but are not limited to, the following:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Software Synthesis for Aerospace<o:p></o:p></p>
<p class="MsoNormal"> model-based approaches to software and software-intensive system design<o:p></o:p></p>
<p class="MsoNormal"> compositional and hierarchical design approaches for reducing and managing complexity<o:p></o:p></p>
<p class="MsoNormal"> approaches to building intelligent and adaptive systems within a safety-critical framework<o:p></o:p></p>
<p class="MsoNormal"> the generation of code that is correct-by-construction<o:p></o:p></p>
<p class="MsoNormal"> the design of maintainable systems<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Software Analysis for Aerospace<o:p></o:p></p>
<p class="MsoNormal"> verification and validation for safety-critical software systems<o:p></o:p></p>
<p class="MsoNormal"> security analysis for aerospace communications<o:p></o:p></p>
<p class="MsoNormal"> compositional analysis of code for scalability<o:p></o:p></p>
<p class="MsoNormal"> automated testing techniques<o:p></o:p></p>
<p class="MsoNormal"> statistical techniques (including data mining and learning) for program and software behavior analysis<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Aerospace System Integration<o:p></o:p></p>
<p class="MsoNormal"> architectures for safety-critical aerospace systems containing software, hardware and people<o:p></o:p></p>
<p class="MsoNormal"> approaches to, benefits of, and limitations of Integrated Modular Avionics frameworks<o:p></o:p></p>
<p class="MsoNormal"> human-computer interaction including intelligent cockpits/control towers<o:p></o:p></p>
<p class="MsoNormal"> adaptive airspace implementations<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Aerospace Software Policy and Implementation<o:p></o:p></p>
<p class="MsoNormal"> the certification of software systems, including DO-178, DO-278, and safety-case based approaches<o:p></o:p></p>
<p class="MsoNormal"> decision-making in air systems, including both autonomy and human factors issues<o:p></o:p></p>
<p class="MsoNormal"> creating and maintaining a skilled workforce for aerospace software<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">SUBMISSIONS<o:p></o:p></p>
<p class="MsoNormal">---------------------<o:p></o:p></p>
<p class="MsoNormal">Submissions may be made at the AIAA SciTech 2017 website, located here:
<a href="http://www.aiaa-scitech.org"><span style="color:blue">www.aiaa-scitech.org</span></a>. Once you have authenticated to Scholar One, choose ‘Software’ as the topic, and ‘Software Challenges in Aerospace Symposium’ as the subtopic.<o:p></o:p></p>
<p class="MsoNormal">Papers will initially be accepted based on a draft manuscript, due no later than June 6th, 2016.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">We invite three kinds of papers, full-length technical papers (6-10 pages) and short ideas papers and practical experience reports (4-5 pages) in the AIAA conference format. (The author’s kit can be found at
<a href="https://www.aiaa.org/Secondary.aspx?id=4597"><span style="color:blue">https://www.aiaa.org/Secondary.aspx?id=4597</span></a> ). To encourage thorough and appropriate citation, the references section will not count against the page limits. In both cases,
the program committee will assess the papers for originality, importance of the contributions, the quality and clarity of the writing, and the consideration of the current state of practice. Each submission will be reviewed by at least three members of the
committee.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Technical papers should describe original and unpublished concepts and results at the intersection of aerospace and computing. These papers should have solid and complete evaluations and contribute to knowledge at the frontier.<o:p></o:p></p>
<p class="MsoNormal">Ideas papers will allow the authors to present and get feedback on novel ideas and on promising work that has not yet been fully evaluated. These papers should focus on inspiring new directions, and/or provocative ideas.<o:p></o:p></p>
<p class="MsoNormal">Practical experience reports are papers by authors who have attempted to implement software in realistic aerospace contexts. These papers should discuss implementation details and results, and hopefully contain recommendations for future
implementation.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Accepted full-length technical papers will be presented at the conference as 20-25 minute talks during the AIAA SciTech meeting in a special track during January 2016. Depending on the number and quality of submissions, accepted short idea
papers may be presented as full talks or as part of a panel discussion.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">IMPORTANT DATES<o:p></o:p></p>
<p class="MsoNormal">----------------------------<o:p></o:p></p>
<p class="MsoNormal">Draft papers due: 6 June 2016, 2000 hrs Eastern
<o:p></o:p></p>
<p class="MsoNormal">Authors notified: 30 August 2016 <o:p></o:p></p>
<p class="MsoNormal">Final manuscript deadline: 6 December 2016, 2000 hrs Eastern
<o:p></o:p></p>
<p class="MsoNormal">Software Challenges in Aerospace symposium AIAA SciTech 2017: 9–13 January 2017
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">ORGANIZERS<o:p></o:p></p>
<p class="MsoNormal">--------------------<o:p></o:p></p>
<p class="MsoNormal">Christoph Torens, DLR Institute of Flight Systems, Germany<o:p></o:p></p>
<p class="MsoNormal">Stephen Blanchette, Software Engineering Institute<o:p></o:p></p>
<p class="MsoNormal">Misty Davies, NASA Ames Research Center <o:p></o:p></p>
<p class="MsoNormal">James Murphy, NASA Ames Research Center<o:p></o:p></p>
<p class="MsoNormal">Chris Thames, NASA Langley Research Center<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">FURTHER INFORMATION<o:p></o:p></p>
<p class="MsoNormal">------------------------------------<o:p></o:p></p>
<p class="MsoNormal">Please visit the symposium website: <a href="http://www.softwarechallengesaero.com/">
<span style="color:blue">http://www.softwarechallengesaero.com/</span></a> <o:p></o:p></p>
<p class="MsoNormal">or contact the organizers (listed above).<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>