TY - GEN
T1 - Supporting multiple levels of criticality
AU - Totel, Eric
AU - Blanquart, Jean Paul
AU - Deswarte, Yves
AU - Powell, David
N1 - Publisher Copyright:
© 1998 IEEE.
PY - 1998/1/1
Y1 - 1998/1/1
N2 - Current safety-critical embedded systems provide support for increasingly diverse and complex tasks, whose levels of criticality can be extremely different. Rather than validating all software to the highest level of confidence, it is more efficient to focus the validation effort on the most critical components. Consequently, it must be ensured that residual design faults in low criticality software cannot corrupt high criticality components. This paper defines an object-oriented integrity policy which ensures that such a property is enforced. Each object is assigned an integrity level related to its criticality. The policy defines rules to access the object methods so that no object can be corrupted by a lower integrity component. Several sorts of objects are accommodated, enabling safety-critical applications to be designed with great flexibility. This is illustrated by a prototype which is implemented on a CORBA-compliant distributed system.
AB - Current safety-critical embedded systems provide support for increasingly diverse and complex tasks, whose levels of criticality can be extremely different. Rather than validating all software to the highest level of confidence, it is more efficient to focus the validation effort on the most critical components. Consequently, it must be ensured that residual design faults in low criticality software cannot corrupt high criticality components. This paper defines an object-oriented integrity policy which ensures that such a property is enforced. Each object is assigned an integrity level related to its criticality. The policy defines rules to access the object methods so that no object can be corrupted by a lower integrity component. Several sorts of objects are accommodated, enabling safety-critical applications to be designed with great flexibility. This is illustrated by a prototype which is implemented on a CORBA-compliant distributed system.
U2 - 10.1109/FTCS.1998.689456
DO - 10.1109/FTCS.1998.689456
M3 - Conference contribution
AN - SCOPUS:84255207716
T3 - Digest of Papers - 28th Annual International Symposium on Fault-Tolerant Computing, FTCS 1998
SP - 70
EP - 79
BT - Digest of Papers - 28th Annual International Symposium on Fault-Tolerant Computing, FTCS 1998
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 28th Annual International Symposium on Fault-Tolerant Computing, FTCS 1998
Y2 - 23 June 1998 through 25 June 1998
ER -