A framework for database audit and control flow checking for a wireless telephone network controller

S. Bagchi; Y. Liu; K. Whisnant; Zbigniew T Kalbarczyk; Ravishankar K Iyer; Y. Levendel; L. Votta

doi:10.1109/DSN.2001.941408

A framework for database audit and control flow checking for a wireless telephone network controller

S. Bagchi, Y. Liu, K. Whisnant, Zbigniew T Kalbarczyk, Ravishankar K Iyer, Y. Levendel, L. Votta

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

The paper presents the design and implementation of a dependability framework for a call-processing environment in a digital mobile telephone network controller. The framework contains a data audit subsystem to maintain the structural and semantic integrity of the database and a preemptive control flow checking technique, PECOS, to protect call-processing clients. Evaluation of the dependability-enhanced system is performed (using NFTAPE, a software-implemented error injection environment). The evaluation shows that for control flow errors in the client, the combination of PECOS and data audit eliminates failsilence violations¹, reduces the incidence of client crashes, and eliminates client hangs. For database injections, data audit detects 85% of the errors and reduces the incidence of escaped errors. Evaluation of combined use of data and control checking (with error injection targeting the database and the client) shows coverage increase from 35% to 80% and indicates data flow errors as a key reason for error escapes.

Original language	English (US)
Title of host publication	Proceedings of the International Conference on Dependable Systems and Networks
Editors	D.C. Young, D.C. Young
Pages	225-234
Number of pages	10
DOIs	https://doi.org/10.1109/DSN.2001.941408
State	Published - 2001
Event	Proceedings of the International Conference on Dependable Systems and Networks - Goteborg, Sweden Duration: Jul 1 2001 → Jul 4 2001

Publication series

Name	Proceedings of the International Conference on Dependable Systems and Networks

Other

Other	Proceedings of the International Conference on Dependable Systems and Networks
Country/Territory	Sweden
City	Goteborg
Period	7/1/01 → 7/4/01

ASJC Scopus subject areas

Software
Hardware and Architecture
Computer Networks and Communications

Online availability

10.1109/DSN.2001.941408

Library availability

Discover UIUC Full Text

Cite this

Bagchi, S., Liu, Y., Whisnant, K., Kalbarczyk, Z. T., Iyer, R. K., Levendel, Y., & Votta, L. (2001). A framework for database audit and control flow checking for a wireless telephone network controller. In D. C. Young, & D. C. Young (Eds.), Proceedings of the International Conference on Dependable Systems and Networks (pp. 225-234). (Proceedings of the International Conference on Dependable Systems and Networks). https://doi.org/10.1109/DSN.2001.941408

A framework for database audit and control flow checking for a wireless telephone network controller. / Bagchi, S.; Liu, Y.; Whisnant, K. et al.
Proceedings of the International Conference on Dependable Systems and Networks. ed. / D.C. Young; D.C. Young. 2001. p. 225-234 (Proceedings of the International Conference on Dependable Systems and Networks).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Bagchi, S, Liu, Y, Whisnant, K, Kalbarczyk, ZT , Iyer, RK, Levendel, Y & Votta, L 2001, A framework for database audit and control flow checking for a wireless telephone network controller. in DC Young & DC Young (eds), Proceedings of the International Conference on Dependable Systems and Networks. Proceedings of the International Conference on Dependable Systems and Networks, pp. 225-234, Proceedings of the International Conference on Dependable Systems and Networks, Goteborg, Sweden, 7/1/01. https://doi.org/10.1109/DSN.2001.941408

Bagchi S, Liu Y, Whisnant K, Kalbarczyk ZT , Iyer RK, Levendel Y et al. A framework for database audit and control flow checking for a wireless telephone network controller. In Young DC, Young DC, editors, Proceedings of the International Conference on Dependable Systems and Networks. 2001. p. 225-234. (Proceedings of the International Conference on Dependable Systems and Networks). doi: 10.1109/DSN.2001.941408

@inproceedings{19c69de6b0bf48368e77d8dfb1b382f4,

title = "A framework for database audit and control flow checking for a wireless telephone network controller",

abstract = "The paper presents the design and implementation of a dependability framework for a call-processing environment in a digital mobile telephone network controller. The framework contains a data audit subsystem to maintain the structural and semantic integrity of the database and a preemptive control flow checking technique, PECOS, to protect call-processing clients. Evaluation of the dependability-enhanced system is performed (using NFTAPE, a software-implemented error injection environment). The evaluation shows that for control flow errors in the client, the combination of PECOS and data audit eliminates failsilence violations1, reduces the incidence of client crashes, and eliminates client hangs. For database injections, data audit detects 85% of the errors and reduces the incidence of escaped errors. Evaluation of combined use of data and control checking (with error injection targeting the database and the client) shows coverage increase from 35% to 80% and indicates data flow errors as a key reason for error escapes.",

author = "S. Bagchi and Y. Liu and K. Whisnant and Kalbarczyk, {Zbigniew T} and Iyer, {Ravishankar K} and Y. Levendel and L. Votta",

year = "2001",

doi = "10.1109/DSN.2001.941408",

language = "English (US)",

isbn = "0769511015",

series = "Proceedings of the International Conference on Dependable Systems and Networks",

pages = "225--234",

editor = "D.C. Young and D.C. Young",

booktitle = "Proceedings of the International Conference on Dependable Systems and Networks",

note = "Proceedings of the International Conference on Dependable Systems and Networks ; Conference date: 01-07-2001 Through 04-07-2001",

}

TY - GEN

T1 - A framework for database audit and control flow checking for a wireless telephone network controller

AU - Bagchi, S.

AU - Liu, Y.

AU - Whisnant, K.

AU - Kalbarczyk, Zbigniew T

AU - Iyer, Ravishankar K

AU - Levendel, Y.

AU - Votta, L.

PY - 2001

Y1 - 2001

N2 - The paper presents the design and implementation of a dependability framework for a call-processing environment in a digital mobile telephone network controller. The framework contains a data audit subsystem to maintain the structural and semantic integrity of the database and a preemptive control flow checking technique, PECOS, to protect call-processing clients. Evaluation of the dependability-enhanced system is performed (using NFTAPE, a software-implemented error injection environment). The evaluation shows that for control flow errors in the client, the combination of PECOS and data audit eliminates failsilence violations1, reduces the incidence of client crashes, and eliminates client hangs. For database injections, data audit detects 85% of the errors and reduces the incidence of escaped errors. Evaluation of combined use of data and control checking (with error injection targeting the database and the client) shows coverage increase from 35% to 80% and indicates data flow errors as a key reason for error escapes.

AB - The paper presents the design and implementation of a dependability framework for a call-processing environment in a digital mobile telephone network controller. The framework contains a data audit subsystem to maintain the structural and semantic integrity of the database and a preemptive control flow checking technique, PECOS, to protect call-processing clients. Evaluation of the dependability-enhanced system is performed (using NFTAPE, a software-implemented error injection environment). The evaluation shows that for control flow errors in the client, the combination of PECOS and data audit eliminates failsilence violations1, reduces the incidence of client crashes, and eliminates client hangs. For database injections, data audit detects 85% of the errors and reduces the incidence of escaped errors. Evaluation of combined use of data and control checking (with error injection targeting the database and the client) shows coverage increase from 35% to 80% and indicates data flow errors as a key reason for error escapes.

UR - http://www.scopus.com/inward/record.url?scp=0035789236&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0035789236&partnerID=8YFLogxK

U2 - 10.1109/DSN.2001.941408

DO - 10.1109/DSN.2001.941408

M3 - Conference contribution

AN - SCOPUS:0035789236

SN - 0769511015

SN - 9780769511016

T3 - Proceedings of the International Conference on Dependable Systems and Networks

SP - 225

EP - 234

BT - Proceedings of the International Conference on Dependable Systems and Networks

A2 - Young, D.C.

T2 - Proceedings of the International Conference on Dependable Systems and Networks

Y2 - 1 July 2001 through 4 July 2001

ER -

A framework for database audit and control flow checking for a wireless telephone network controller

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this