Towards Generic Requirements and Models for Automated Mission Tasks with RPAS
暂无分享,去创建一个
[1] Hui-Min Huang,et al. Autonomy Levels For Unmanned Systems (ALFUS) framework, volume I :: terminology version 2.1 , 2008 .
[2] Catholijn M. Jonker,et al. Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness , 1997, Int. J. Cooperative Inf. Syst..
[3] Farid Kendoul,et al. Survey of advances in guidance, navigation, and control of unmanned rotorcraft systems , 2012, J. Field Robotics.
[4] Carme Quer,et al. PABRE: Pattern-based Requirements Elicitation , 2009, 2009 Third International Conference on Research Challenges in Information Science.
[5] Farid Kendoul,et al. Towards a Unified Framework for UAS Autonomy and Technology Readiness Assessment (ATRA) , 2013 .
[6] Catholijn M. Jonker,et al. Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods , 2003, Knowledge and Information Systems.
[7] Florian-Michael Adolf,et al. Formal Requirements and Model-Checking for V&V Automation of a RPAS Mission Management System , 2015 .
[8] Jaejoon Lee,et al. Incorporating certification in feature modelling of an unmanned aerial vehicle product line , 2012, SPLC '12.
[9] Michael Jackson,et al. Problem frames and software engineering , 2005, Expert Syst. J. Knowl. Eng..
[10] Daniela E. Damian,et al. Specification of Bahavioural Requirements within Compositional Multi-agent System Design , 1999, MAAMAW.
[11] James S. Albus,et al. Autonomy Levels For Unmanned Systems (ALFUS) framework, volume II :: framework models version 1.0 , 2007 .
[12] Stacey D. Scott,et al. Generating Requirements for Futuristic Hetrogenous Unmanned Systems , 2006 .
[13] Temesghen Kahsai,et al. Verifying the Safety of a Flight-Critical System , 2015, FM.