2 search results - page 1 / 1 » Towards the Design of Certifiable Mixed-criticality Systems |
RTAS
2010
IEEE
13 years 5 months ago
2010
IEEE
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...