{'fraction_non_alphanumeric': 0.02081165452653486, 'fraction_numerical': 0.0, 'mean_word_length': 6.021897810218978, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Formal verification of trustworthiness requirements for Small Unmanned Aerial Systems

During the recent years there has been a rapid increase in use of Small Unmanned Aerial Systems (sUAS) for a wide range of applications ranging from precision agriculture, to environmental monitoring, and to order delivery by commercial logistics companies. However, with increasing use, comes increasing need for safe integration of these sUAS into the National Airspace System (NAS). This work addresses the trustworthiness problem for the needed sUAS safe integration, where trustworthiness is defined to include, besides safety requirements, availability, reliability, security, and privacy requirements. Previous work on needed security and privacy characteristics is enhanced with new system safety models. A formalized model for safety requirements verification purposes is developed, which uses linear temporal logic and includes safety and liveness characteristics.