V. Hilford, M. Lyu, B. Cukic, A. Jamoussi, and F. Bastani. Diversity in the software development process, 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Autonomous Recovery from Hostile Code Insertion using.. - Kennedy, Sloman (2002) (Correct)
....be protected against the faults likely to a ect them. However, traditional solutions to the problem involve the addition of features to an existing software architecture and do not consider the software as a whole intelligent system. Examples include replication and voting [4] design diversity [9] and program self checking methods (e.g. 8] 1.1 Distributed Re ection Our solution to the problem is to distribute the re ection over multiple components so that all components are subject to monitoring from within the system. In [13] we presented a minimal prototype of an autonomous system ....
V. Hilford, M. Lyu, B. Cukic, A. Jamoussi, and F. Bastani. Diversity in the software development process, 1997.
Combining Testing and Correctness Verification in Software.. - Cukic (1997) Self-citation (Cukic) (Correct)
....is desirable. The first opportunity for the application of slicing rules is verification of the vertical slice composed of Barometric Altitude Complementary Filter (BACF) and Altitude Hold Mode (AHM) Since the specification document has been previously used multiple times to implement autopilots [6] and, despite rigorous acceptance testing, failures have never occurred in BACF and AHM, we can infer the high confidence in the validity of this part of the specification document. As the result of the partial program proof performed on this vertical slice, two input variables and five state ....
....state variables. We conservatively assumed lower confidence in the validity of specifications for the unverified modules of the program, based on our earlier experience with the implementation of the program and its exposure to the large number of trajectories generated from real flight data [6]. It should be noted that we had no influence on the initial program design. Decisions pertaining to the initial design were given in the specification and we believe that, by using a different design, the input space could have been reduced more successfully. However, without participation of ....
V. Hilford, M. R. Lyu, B. Cukic, A. Jamoussi, F. B. Bastani, "Diversity in the Software Development Process"Proc. IEEE WORDS'97, Feb. 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC