Autonomy Requirements Engineering for Space Missions

کاوش فضایی پیشرفته توسط ماموریت های بدون سرنشین با استقلال یکپارچه در هر دو سیستم پرواز و زمین انجام می شود. ریسک و امکان سنجی عوامل اصلی حمایت از استفاده از کشتی های بدون سرنشین و استفاده از اتوماسیون و فن آوری های روباتیک در صورت امکان هستند. خودمختاری در فضا به افزایش میزان داده های علمی برگشتی از ماموریت ها، انجام علوم جدید و کاهش هزینه های ماموریت کمک می کند.

برانگیختن و بیان الزامات خودمختاری یکی از مهم ترین چالش های فضاپیمای خودمختار است. مهندسان باید بر امروز غلبه کنند. این کتاب رویکرد مهندسی نیازمندی‌های خودمختاری (ARE) را مورد بحث قرار می‌دهد، که برای کمک به مهندسان نرم‌افزار به‌درستی نیازمندی‌های استقلال را استخراج، بیان، تأیید و تأیید می‌کند. علاوه بر این، یک پیشرفته‌ترین پیشرفته‌ترین مهندسی نرم‌افزار برای هوافضا برای تشریح مشکلاتی که توسط ARE انجام می‌شود همراه با یک مطالعه موردی اثبات مفهومی در مورد ماموریت BepiColombo ESA ارائه شده است که توانایی ARE را برای رسیدگی به الزامات استقلال نشان می‌دهد. /p>

Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are major factors supporting the use of unmanned craft and the use of automation and robotic technologies where possible. Autonomy in space helps to increase the amount of science data returned from missions, perform new science, and reduce mission costs.

Elicitation and expression of autonomy requirements is one of the most significant challenges the autonomous spacecraft engineers need to overcome today. This book discusses the Autonomy Requirements Engineering (ARE) approach, intended to help software engineers properly elicit, express, verify, and validate autonomy requirements. Moreover, a comprehensive state-of-the-art of software engineering for aerospace is presented to outline the problems handled by ARE along with a proof-of-concept case study on the ESA's BepiColombo Mission demonstrating the ARE’s ability to handle autonomy requirements.