Conceptual framework proposes software intents to govern complex systems, highlighting a research agenda for autonomous verification and self-correction.
Software is widely used, and society increasingly depends on its reliability. However, software has become so complex and it evolves so quickly that we fail to keep it under control. Therefore, we propose intents: fundamental laws that capture a software systems’ intended behavior (resilient, secure, safe, sustainable, etc.). The realization of this idea requires novel theories, algorithms, tools, and techniques to discover, express, verify, and evolve software intents. Thus, future software systems will be able to verify themselves that they meet their intents. Moreover, they will be able to respond to deviations from intents through selfcorrection. In this article we propose a research agenda, outlining which novel theories, algorithms and tools are required.
No takes yet. Share an insight, caveat, or question.
Norwood et al. (1977) studied this question.
Synapse has enriched 3 closely related papers on similar clinical questions. Consider them for comparative context: