Needed Foundations for Assuring the Desirable Behavior of Software-Reliant Systems
Future trends and current limitations presage a need for interdisciplinary foundations for designing, constructing, maintaining, adapting, and rapidly deploying software-reliant systems with assured system capabilities at all scales. In general, the ability to rapidly develop and field software-reliant capability is deficient. Part of this deficiency can be attributed to business and governance issues. But, part of the reason is technical - software systems science and engineering knowledge is inadequate to ensure that software-reliant capabilities can be rapidly fielded while being sufficiently safe, reliable, secure, responsive, and adaptable to change.