<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">C. {Hartsell}</style></author><author><style face="normal" font="default" size="100%">G. {Karsai}</style></author><author><style face="normal" font="default" size="100%">M. {Lowry}</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Timing analysis for UAS application software</style></title><secondary-title><style face="normal" font="default" size="100%">2018 IEEE Aerospace Conference</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">aerospace computing</style></keyword><keyword><style  face="normal" font="default" size="100%">Analytical models</style></keyword><keyword><style  face="normal" font="default" size="100%">autonomous aerial vehicles</style></keyword><keyword><style  face="normal" font="default" size="100%">autonomy engine</style></keyword><keyword><style  face="normal" font="default" size="100%">cFE/cFS framework</style></keyword><keyword><style  face="normal" font="default" size="100%">cFS applications</style></keyword><keyword><style  face="normal" font="default" size="100%">Colored Petri Net based timing model</style></keyword><keyword><style  face="normal" font="default" size="100%">end-to-end timing analysis</style></keyword><keyword><style  face="normal" font="default" size="100%">flight software reconfiguration</style></keyword><keyword><style  face="normal" font="default" size="100%">flight software systems</style></keyword><keyword><style  face="normal" font="default" size="100%">middleware</style></keyword><keyword><style  face="normal" font="default" size="100%">new rapid verification methods</style></keyword><keyword><style  face="normal" font="default" size="100%">Petri nets</style></keyword><keyword><style  face="normal" font="default" size="100%">PLEXIL</style></keyword><keyword><style  face="normal" font="default" size="100%">program verification</style></keyword><keyword><style  face="normal" font="default" size="100%">real-time systems</style></keyword><keyword><style  face="normal" font="default" size="100%">software verification</style></keyword><keyword><style  face="normal" font="default" size="100%">stimulus-to-response timing analysis</style></keyword><keyword><style  face="normal" font="default" size="100%">system configurations</style></keyword><keyword><style  face="normal" font="default" size="100%">system verification</style></keyword><keyword><style  face="normal" font="default" size="100%">Timing</style></keyword><keyword><style  face="normal" font="default" size="100%">UAS application software</style></keyword><keyword><style  face="normal" font="default" size="100%">Unified modeling language</style></keyword><keyword><style  face="normal" font="default" size="100%">Unmanned Aerial Systems</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2018</style></year><pub-dates><date><style  face="normal" font="default" size="100%">March 2018</style></date></pub-dates></dates><pages><style face="normal" font="default" size="100%">1-10</style></pages></record></records></xml>