High assurance application systems and their technologies under changing situations

Abstract

Application systems have been confronted with the evolving social, economic and technical circumstances and eventually with changing customer requirements for products and services. Under these changing situations, the application system has to be continuously expanded, modified and integrated with other different applications. Some application systems are exemplified to clarify these requirements and application systems assurance is defined as the online property under such changing situations. As one solution for high assurance in the system architecture level, the ADS (Autonomous Decentralized System) is shown to be effective. But the problems of integrating the application systems with the different requirement levels without stopping their operation and evaluating the assurances remain unresolved.