The Community for Technology Leaders
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (1996)
Niagara, CANADA
Oct. 22, 1996 to Oct. 22, 1996
ISBN: 0-8186-7629-9
TABLE OF CONTENTS

Welcome Message (PDF)

pp. viii
Keynote Speech
Session I: Specification and Testing of High-Assurance Systems

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

R.B. France , Lab. IRIT/SIERA, Univ. Paul Sabatier, Toulouse, France
Y. Raynaud , Lab. IRIT/SIERA, Univ. Paul Sabatier, Toulouse, France
J.-M. Bruel , Lab. IRIT/SIERA, Univ. Paul Sabatier, Toulouse, France
A. Benzekri , Lab. IRIT/SIERA, Univ. Paul Sabatier, Toulouse, France
pp. 16

Specifying fault tolerance in mission critical systems (Abstract)

S.P. Sarkar , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
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
pp. 24

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

Pei Hsia , Dept. of Inf. Manage., ChaoYan Inst. of Technol., Taichung County, Taiwan
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
pp. 271

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

R.V. Vishnuvajjala , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
L. Elliott , 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
pp. 32

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
Panel I

Panel I (PDF)

pp. null

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

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)

S. Baqai , Testing & Evaluation, Washington, DC, USA
M.F. Khan , Testing & Evaluation, Washington, DC, USA
R. Paul , Testing & Evaluation, Washington, DC, USA
A. Ghafoor , Testing & Evaluation, Washington, DC, USA
pp. 60

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

J.M. Boyle , Sandia Nat. Labs., USA
V.L. Winter , Sandia Nat. Labs., USA
pp. 68

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

F. Charron , Reliable Software Technol., Sterling, VA, USA
J. Voas , Reliable Software Technol., Sterling, VA, USA
K. Miller , Reliable Software Technol., Sterling, VA, USA
pp. 78
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

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

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

C. Subbaraman , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
K.H. Kim , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 120
Keynote Speech
Session IV: High-Assurance Execution Environments

Adaptive recovery for mobile environments (Abstract)

W.K. Fuchs , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
N. Neves , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
pp. 134

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

F. Jahanian , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
T. Mitton , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
S. Dawson , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
pp. 142

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

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

Bing Li , 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
E.Y.T. Juan , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 158

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

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

L. Elliot , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
S. Subramanian , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
R. 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
pp. 176

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

Sanghyun Ahn , Comput. Sci. Dept., Sejong Univ., Seoul, South Korea
pp. 184
Speech
Panel II

Panel II (PDF)

pp. null
Session V: Security, Reliability and High-Assurance

A framework for MLS interoperability (Abstract)

I.S. Moskowtiz , Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA
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
pp. 198

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

Impact of program transformation on software reliability assessment (Abstract)

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

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

M. Nakata , Quality Assurance & Inspection Dept., Hitachi Ltd., Kawasaki, Japan
T. Nara , Quality Assurance & Inspection Dept., Hitachi Ltd., Kawasaki, Japan
A. Ooishi , Quality Assurance & Inspection Dept., Hitachi Ltd., Kawasaki, Japan
pp. 222

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

G. Flick , Air Traffic Manage., Lockheed Martin Federal Syst. Inc., Atlantic City Int. Airport, NJ, USA
J.C. Becker , Air Traffic Manage., Lockheed Martin Federal Syst. Inc., Atlantic City Int. Airport, NJ, USA
pp. 228
Session VI: High-Assurance Potpourri

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

R. Halstead , Florida Atlantic Univ., Boca Raton, FL, USA
T.M. Khoshgoftaar , Florida Atlantic Univ., Boca Raton, FL, USA
L.A. Bullard , Florida Atlantic Univ., Boca Raton, FL, USA
E.B. Allen , Florida Atlantic Univ., Boca Raton, FL, USA
G.P. Trio , Florida Atlantic Univ., Boca Raton, FL, USA
pp. 244

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

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

B.J. Czerny , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
M.P.E. Heimdahl , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
pp. 252

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

Author Index (PDF)

pp. 287
39 ms
(Ver )