Designing High Integrity Systems Using Aspects

: In this paper we show how design-level aspects can be used to develop high integrity systems. In our approach, a system designer must first identify the specific mechanisms required for high integrity systems. To support this activity we have developed an initial tabulation of different kinds of threats and the mechanisms used to prevent, detect, and recover from the related attacks and problems. Each mechanism can be modeled independently as an aspect. After the mechanisms are identified, the corresponding aspects are then woven in the appropriate order into the models of the essential system functionality to produce a model of a high integrity system. Key words: Aspect, Integrity, Software design

• Type: Journal
• Year: 2002
• Where: TC
• Authors: Geri Georg, Robert B. France, Indrakshi Ray
• Keywords: Information Technology, Initial Tabulation, Related Attacks, Specific Mechanisms, TC 2002