On Self-checking Software Components
نویسندگان
چکیده
Software protection has recently attracted interest from developers. Self-checking software is one of the approaches for software protection. This paper surveys the existing techniques for building self-checking software and presents a taxonomy of the current endeavors. This taxonomy should help the reader to get the global view of the current solution space of self-checking software techniques. To the best of our knowledge, our paper is the first attempt to make a survey of this field of study.
منابع مشابه
Developing Fault-Tolerant Control Systems Composed of Self-Checking Components in the Action Systems Formalism
It is widely recognized that a high degree of dependability of computer-based systems can be achieved if dependability consideration starts from the early stages of system development [10]. In this paper we propose an approach for incorporating means for fault-tolerance in the component-based system development. We discuss architecture of a fault-tolerant system based on a composition of so cal...
متن کاملFormal Specification of Holonic Multi-Agent Systems Framework
Even if software agents and multi-agent systems (MAS) are recognized as both useful abstractions and effective technologies for modeling and building complex distributed applications, they are still difficult to engineer. When massive number of autonomous components interact it is very difficult to predict the behavior of the system and guarantee that the desired functionalities will be fulfill...
متن کاملInnovative Idea Category Software Probes and a Self-testing System - for Failure Detection
A key problem in todays complex software systems is software failure detection and isolation. Given that most software failures are only partial and if e ciently diagnosed, isolated and recovered, they could avert a total outage. The probe detects failed software components in a running software system by requesting service, or a certain level of service, from a set of functions, modules and/or...
متن کاملSpecification and Generation of Environment for Model Checking of Software Components
Model checking of isolated software components is inherently not possible because a component does not form a complete program with an explicit starting point. To overcome this obstacle, it is typically necessary to create an environment of the component which is the intended subject to model checking. We present our approach to automated environment generation that is based on behavior protoco...
متن کاملModel-based Runtime Verification Framework for Self-optimizing Systems
This paper describes a novel on-line model checking approach offered as service of a real-time operating system (RTOS). The verification system is intended especially for self-optimizing component-based real-time systems where self-optimization is performed by dynamically exchanging components. The verification is performed at the level of (RT-UML) models. The properties to be checked are expre...
متن کامل