Formally Bounding UAS Behavior to Concept of Operation with Operation-Specific Scenario Description Language
暂无分享,去创建一个
Umut Durak | Christoph Torens | Sebastian Schirmer | Florian Nikodem | Umut Durak | F. Nikodem | Christoph Torens | Sebastian Schirmer
[1] Johann Schumann,et al. R2U2: monitoring and diagnosis of security threats for unmanned aerial systems , 2017, RV.
[2] Leonard E. Miller,et al. NASA systems engineering handbook , 1995 .
[3] Jarus Secretariat,et al. Joint Authorities for Rulemaking of Unmanned Systems , 2014 .
[4] Levent Yilmaz,et al. Distributed Simulation: A Model Driven Engineering Approach , 2016 .
[5] James Brady,et al. Certification strategies using run-time safety assurance for part 23 autopilot systems , 2016, 2016 IEEE Aerospace Conference.
[6] Bernd Finkbeiner,et al. LOLA: runtime monitoring of synchronous systems , 2005, 12th International Symposium on Temporal Representation and Reasoning (TIME'05).
[7] Umut Durak,et al. Towards a Standardization for Simulation Scenario Development in Aviation - Panel Discussion , 2018 .
[8] Johann Schumann,et al. Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems , 2014, TACAS.
[9] Umut Durak,et al. Adapting Scenario Definition Language for Formalizing UAS Concept of Operations , 2018 .
[10] Bernard P. Zeigler,et al. System entity structuring and model base management , 1990, IEEE Trans. Syst. Man Cybern..
[11] Daniel Jackson,et al. Lightweight Formal Methods , 2001, FME.
[12] Stephen P. Cook. An ASTM Standard for Bounding Behavior of Adaptive Algorithms for Unmanned Aircraft Operations (Invited) , 2017 .
[13] Sven Hartmann,et al. Computational Representation for a Simulation Scenario Definition Language , 2018 .
[14] Johann Schumann,et al. Iowa State University From the SelectedWorks of Kristin Yvonne Rozier 2014 Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs : Flight-Certifiable System Health Management for Embedded Systems , 2017 .
[15] Bernd Finkbeiner,et al. A Stream-Based Specification Language for Network Monitoring , 2016, RV.
[16] Cody H. Fleming. Safety-driven early concept analysis and development , 2015 .
[17] Sven Hartmann,et al. Using System Entity Structures to Model the Elements of a Scenario in a Research Flight Simulator , 2017 .
[18] Johann Schumann,et al. R 2 U 2 : Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems ? , 2015 .
[19] Bernard P. Zeigler,et al. Modeling & Simulation-Based Data Engineering: Introducing Pragmatics into Ontologies for Net-Centric Information Exchange , 2007 .