Timing analysis for UAS application software

Timing analysis for UAS application software
Author	C. Hartsell} G. Karsai} M. Lowry}
Keywords	aerospace computing Analytical models autonomous aerial vehicles autonomy engine cFE/cFS framework cFS applications Colored Petri Net based timing model end-to-end timing analysis flight software reconfiguration flight software systems middleware new rapid verification methods Petri nets PLEXIL program verification real-time systems software verification stimulus-to-response timing analysis system configurations system verification Timing UAS application software Unified modeling language Unmanned Aerial Systems
Year of Publication	2018
Conference Name	2018 IEEE Aerospace Conference
Date Published	March 2018
Google Scholar \| BibTeX \| XML