Christopher Rouff

Autonomous systems will soon be ubiquitous in our society, saving us time, performing tasks we do not want to do, caring for us and keeping us safe. Autonomous robots in homes and businesses are already cleaning floors, mowing lawns, delivering meals and packages, and the technology is now driving cars and trucks. Though they will soon be common occurrences in everyday life, assuring their safety, privacy and security is still a huge challenge. A number of autonomous car accidents have occurred after millions of miles of testing, and injuries regularly occur from other types of autonomous systems. Assuring the proper behavior and safety of autonomous systems is an important endeavor to reduce risks in using them. This monograph discusses assurance for autonomous systems, the different approaches to assuring autonomy, formal analysis, cybersecurity, certification and research challenges.The monograph starts with a brief introduction to assured autonomy, providing definitions and key terms. Thereafter, an overview of assured autonomy and different aspects of system and software assurances are provided, and Section 3 discusses governance, trust, ethics and privacy of autonomous systems. Section 4 covers assuring the correct operation of autonomous systems, which can be done through techniques such as formal verification, testing and monitoring. The monograph then describes certification of current systems and proposals for certifying autonomous systems, providing an example of the certification of aircraft software and multiple proposals for how autonomous systems could be certified. Lastly, areas of research in assuring autonomous systems are covered.

This book provides a novel perspective on the concept of memetics as applied to the development and evolution of intelligent robots and robotic communities/cultures. It provides a framework for the emergence of a hybrid community of people and intelligent robots collaborating to realize mutual benefits and scientific objectives. It aims to show that as the hybrid community emerges, so does its culture. Once this foundational work is done, the book illustrates the robot memetic ideas in the context of a space exploration scenario based on the development and operation of a human/robot settlement on Mars.

This book de-emphasizes the formal mathematical description of spacecraft on-board attitude and orbit applications in favor of a more qualitative, concept-oriented presentation of these topics. The information presented in this book was originally given as a set of lectures in 1999 and 2000 instigated by a NASA Flight Software Branch Chief at Goddard Space Flight Center. The Branch Chief later suggested this book. It provides an approachable insight into the area and is not intended as an essential reference work.ACS Without an Attitude is intended for programmers and testers new to the field who are seeking a commonsense understanding of the subject matter they are coding and testing in the hope that they will reduce their risk of introducing or missing the key software bug that causes an abrupt termination in their spacecraft’s mission. In addition, the book will provide managers and others working with spacecraft with a basic understanding of this subject.

This book de-emphasizes the formal mathematical description of spacecraft on-board attitude and orbit applications in favor of a more qualitative, concept-oriented presentation of these topics. The information presented in this book was originally given as a set of lectures in 1999 and 2000 instigated by a NASA Flight Software Branch Chief at Goddard Space Flight Center. The Branch Chief later suggested this book. It provides an approachable insight into the area and is not intended as an essential reference work.ACS Without an Attitude is intended for programmers and testers new to the field who are seeking a commonsense understanding of the subject matter they are coding and testing in the hope that they will reduce their risk of introducing or missing the key software bug that causes an abrupt termination in their spacecraft’s mission. In addition, the book will provide managers and others working with spacecraft with a basic understanding of this subject.

In the early 1990s, NASA Goddard Space Flight Center started researching and developing autonomous and autonomic ground and spacecraft control systems for future NASA missions. This research started by experimenting with and developing expert systems to automate ground station software and reduce the number of people needed to control a spacecraft. This was followed by research into agent-based technology to develop autonomous ground c- trol and spacecraft. Research into this area has now evolved into using the concepts of autonomic systems to make future space missions self-managing and giving them a high degree of survivability in the harsh environments in which they operate. This book describes much of the results of this research. In addition, it aimstodiscusstheneededsoftwaretomakefutureNASAspacemissionsmore completelyautonomousandautonomic.Thecoreofthesoftwareforthesenew missions has been written for other applications or is being applied gradually in current missions, or is in current development. It is intended that this book should document how NASA missions are becoming more autonomous and autonomic and should point to the way of making future missions highly - tonomous and autonomic. What is not covered is the supporting hardware of these missions or the intricate software that implements orbit and at- tude determination, on-board resource allocation, or planning and scheduling (though we refer to these technologies and give references for the interested reader).

In the early 1990s, NASA Goddard Space Flight Center started researching and developing autonomous and autonomic ground and spacecraft control systems for future NASA missions. This research started by experimenting with and developing expert systems to automate ground station software and reduce the number of people needed to control a spacecraft. This was followed by research into agent-based technology to develop autonomous ground c- trol and spacecraft. Research into this area has now evolved into using the concepts of autonomic systems to make future space missions self-managing and giving them a high degree of survivability in the harsh environments in which they operate. This book describes much of the results of this research. In addition, it aimstodiscusstheneededsoftwaretomakefutureNASAspacemissionsmore completelyautonomousandautonomic.Thecoreofthesoftwareforthesenew missions has been written for other applications or is being applied gradually in current missions, or is in current development. It is intended that this book should document how NASA missions are becoming more autonomous and autonomic and should point to the way of making future missions highly - tonomous and autonomic. What is not covered is the supporting hardware of these missions or the intricate software that implements orbit and at- tude determination, on-board resource allocation, or planning and scheduling (though we refer to these technologies and give references for the interested reader).