CSDL - Proceedings H

Organizing Committee (PDF)

pp. ix

Program Committee (PDF)

pp. x

Keynote Speech

High Assurance Life and Death (PDF)

pp. 2

Session I: Specification and Testing of High-Assurance Systems

Mk48 ADCAP torpedo high-assurance testing (Abstract)

D.L. MacPherson, US Navy, USA

pp. 8

PDF

A real-time specification environment based on Z and graphical object-oriented modeling techniques (Abstract)

J.-M. Bruel, Lab. IRIT/SIERA, Univ. Paul Sabatier, Toulouse, France

R.B. France, Lab. IRIT/SIERA, Univ. Paul Sabatier, Toulouse, France

A. Benzekri, Lab. IRIT/SIERA, Univ. Paul Sabatier, Toulouse, France

Y. Raynaud, Lab. IRIT/SIERA, Univ. Paul Sabatier, Toulouse, France

pp. 16

PDF

Specifying fault tolerance in mission critical systems (Abstract)

T.S. Perraju, Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA

S.P. Rana, Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA

S.P. Sarkar, Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA

pp. 24

PDF

Top-down development of real-time software specification (Abstract)

Jyhjong Lin, Dept. of Inf. Manage., ChaoYan Inst. of Technol., Taichung County, Taiwan

D.C. Kung, Dept. of Inf. Manage., ChaoYan Inst. of Technol., Taichung County, Taiwan

Pei Hsia, Dept. of Inf. Manage., ChaoYan Inst. of Technol., Taichung County, Taiwan

pp. 271

PDF

Specifying timing constraints in real-time object-oriented systems (Abstract)

R.V. Vishnuvajjala, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA

Wei-Tek Tsai, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA

R. Mojdehbakhsh, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA

L. Elliott, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA

pp. 32

PDF

A technique for validating Booch object-oriented designs from extensions to the Descartes specification language (Abstract)

R.V. Pichai, Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA

J.E. Urban, Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA

pp. 40

PDF

Panel I

High assurance engineering: the good, the bad, and the ugly (PDF)

I-Ling Yen, Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA

pp. 50

Computer security: the good, the bad and the ugly (Abstract)

C. Meadows, Naval Res. Lab., Washington, DC, USA

pp. 52

PDF

Ten practical techniques for high assurance systems engineering (PDF)

V.T. Thomas, Technol. Center, Honeywell Inc., Minneapolis, MN, USA

pp. 55

Software on the edge (PDF)

V.L. Winter, Sandia Nat. Labs., USA

pp. 57

Session II: Quality and High-Assurance

Ensuring quality in distributed multimedia systems (Abstract)

R. Paul, Testing & Evaluation, Washington, DC, USA

M.F. Khan, Testing & Evaluation, Washington, DC, USA

S. Baqai, Testing & Evaluation, Washington, DC, USA

A. Ghafoor, Testing & Evaluation, Washington, DC, USA

pp. 60

PDF

Proving refinement transformations for deriving high-assurance software (Abstract)

V.L. Winter, Sandia Nat. Labs., USA

J.M. Boyle, Sandia Nat. Labs., USA

pp. 68

PDF

Investigating rare-event failure tolerance: reductions in future uncertainty (Abstract)

J. Voas, Reliable Software Technol., Sterling, VA, USA

F. Charron, Reliable Software Technol., Sterling, VA, USA

K. Miller, Reliable Software Technol., Sterling, VA, USA

pp. 78

PDF

Applying engineering of computer-based systems (ECBS) and product line center (PLC) approaches to the development of mission critical systems for the Department of Defense (DoD) (Abstract)

S.C. Shanahan, Walcoff, USA

pp. 86

PDF

Writing a user functional description for an Army software metrics support tool (Abstract)

J.M. Drake, Univ. of Northern Iowa, IN, USA

pp. 93

PDF

Session III: Concurrency and High-Assurance

A new compositional method for condensed state-space verification (Abstract)

E.Y.T. Juan, Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA

J.J.P. Tsai, Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA

T. Murata, Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA

pp. 104

PDF

Selecting and mapping test sequences from formal specifications of concurrent programs (Abstract)

Jian Chen, Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA

R. Carver, Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA

pp. 112

PDF

PSRR: a scheme for time-bounded fault tolerance in distributed object-based systems (Abstract)

K.H. Kim, Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA

C. Subbaraman, Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA

pp. 120

PDF

The Department of Defense Science and Technology (S&T) Program

Session IV: High-Assurance Execution Environments

Adaptive recovery for mobile environments (Abstract)

N. Neves, Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA

W.K. Fuchs, Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA

pp. 134

PDF

Fault injection experiments on real-time protocols using ORCHESTRA (Abstract)

S. Dawson, Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA

F. Jahanian, Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA

T. Mitton, Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA

pp. 142

PDF

Policy-independent real-time operating system mechanisms for timing error detection, handling and monitoring (Abstract)

D.B. Stewart, Dept. of Electr. Eng. & Inst. for Adv. Comput. Studies, Maryland Univ., College Park, MD, USA

P.K. Khosla, Dept. of Electr. Eng. & Inst. for Adv. Comput. Studies, Maryland Univ., College Park, MD, USA

pp. 150

PDF

A hybrid parallel evaluation model for logic-based intelligent systems (Abstract)

J.J.P. Tsai, Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA

Bing Li, Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA

E.Y.T. Juan, Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA

pp. 158

PDF

Transaction integration for reusable hard real-time components (Abstract)

P. Cornwell, Distributed Objects Res. Group, Bournemouth Univ., UK

A. Wellings, Distributed Objects Res. Group, Bournemouth Univ., UK

pp. 166

PDF

Flow analysis for concurrent, reactive, real-time systems (Abstract)

R. Vishnuvajjala, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA

S. Subramanian, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA

Wei-Tek Tsai, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA

R. Mojdehbakhsh, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA

L. Elliot, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA

pp. 176

PDF

Real-time multicast connection establishment over ATM networks (Abstract)

Sanghyun Ahn, Comput. Sci. Dept., Sejong Univ., Seoul, South Korea

pp. 184

PDF

Speech

Active Multimedia Communication Systems (PDF)

pp. 194

Panel II

Session V: Security, Reliability and High-Assurance

A framework for MLS interoperability (Abstract)

M.H. Kang, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA

J.N. Froscher, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA

I.S. Moskowtiz, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA

pp. 198

PDF

A multiversion transaction scheduler for centralized multilevel secure database systems (Abstract)

T.F. Keefe, Dept. of Comput. Sci. & Eng., Pennsylvania State Univ., University Park, PA, USA

W.T. Tsai, Dept. of Comput. Sci. & Eng., Pennsylvania State Univ., University Park, PA, USA

pp. 206

PDF

Impact of program transformation on software reliability assessment (Abstract)

F.B. Bastani, Dept. of Comput. Sci., Houston Univ., TX, USA

B. Cukic, Dept. of Comput. Sci., Houston Univ., TX, USA

pp. 214

PDF

Software reliability growth analysis-application of NHPP models and its evaluation (Abstract)

T. Nara, Quality Assurance & Inspection Dept., Hitachi Ltd., Kawasaki, Japan

M. Nakata, Quality Assurance & Inspection Dept., Hitachi Ltd., Kawasaki, Japan

A. Ooishi, Quality Assurance & Inspection Dept., Hitachi Ltd., Kawasaki, Japan

pp. 222

PDF

A practical approach to failure mode, effects and criticality analysis (FMECA) for computing systems (Abstract)

J.C. Becker, Air Traffic Manage., Lockheed Martin Federal Syst. Inc., Atlantic City Int. Airport, NJ, USA

G. Flick, Air Traffic Manage., Lockheed Martin Federal Syst. Inc., Atlantic City Int. Airport, NJ, USA

pp. 228

PDF

Reliability prediction method for electronic systems: a comparative reliability assessment method (Abstract)

R. Yu, Dept. of Defense, USA

pp. 237

PDF

Session VI: High-Assurance Potpourri

A tree-based classification model for analysis of a military software system (Abstract)

T.M. Khoshgoftaar, Florida Atlantic Univ., Boca Raton, FL, USA

E.B. Allen, Florida Atlantic Univ., Boca Raton, FL, USA

L.A. Bullard, Florida Atlantic Univ., Boca Raton, FL, USA

R. Halstead, Florida Atlantic Univ., Boca Raton, FL, USA

G.P. Trio, Florida Atlantic Univ., Boca Raton, FL, USA

pp. 244

PDF

Data flow transformations to detect results which are corrupted by hardware faults (Abstract)

H. Engel, Inst. of Comput. Design & Fault Tolerance, Karlsruhe Univ., Germany

pp. 279

PDF

Using PVS to analyze hierarchical state-based requirements for completeness and consistency (Abstract)

M.P.E. Heimdahl, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA

B.J. Czerny, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA

pp. 252

PDF

A general approach to secure components composition (Abstract)

Q. Shi, Sch. of Comput. & Math., Liverpool John Moores Univ., UK

N. Zhang, Sch. of Comput. & Math., Liverpool John Moores Univ., UK

pp. 263

PDF

Author Index (PDF)

pp. 287