Skip to main content

Horizontal Menu

  • Research
    • Areas
    • Projects
    • Publications
  • Education
    • Grad Student Info
    • Internship Program
  • Team
  • Sponsors
  • Contact
  • Opportunities

Hamburger Menu

  • Home
  • ISIS Calendar
    • Research Projects
    • Research Areas
    • Publications
    • Grad Student Info
    • Internship Program
  • Team
  • Sponsors
  • Contact
  • Opportunities

Breadcrumb

  • Home /
  • Publications /
  • 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

Footer Links A

  • About Us
  • Contact
  • LinkedIn

Footer Links B

  • Work at ISIS
  • Internship Program
  • Grad Student Info

1025 16th Avenue South

Nashville, Tennessee 37212

Phone: (615) 343-7472

Email: contact.isis@vanderbilt.edu