CSDL - Proceedings I

PDF

Conference Committee (Abstract)

pp. ix

PDF

Paper Session 1: Dependable Real Time Systems - Timeliness

A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems (Abstract)

Christophe Aussaguès, LETI (CEA - Advanced Technologies) and University of Marseilles

Vincent David, LETI (CEA - Advanced Technologies)

pp. 0002

PDF

Evaluating the Performance of Group Membership Protocols (Abstract)

Oliver Suciu, TIBCO Inc.

Flaviu Cristian, University of California at San Diego

pp. 0013

PDF

Inter-Completion Time Scheduling (ICTS): Non-Preemptive Scheduling to Maximize the Minimum Inter-Completion Time (Abstract)

Carlos C. Amaro, New Jersey Institute of Technology

Alexander D. Stoyen, New Jersey Institute of Technology

Sanjoy K. Baruah, The University of Vermont

pp. 0024

PDF

Paper Session 2: Object Oriented Design in Complex Systems

Metrics and Tool for System Assessment (Abstract)

P. Nesi

pp. 0036

PDF

Design Patterns in Petri Net System Modeling (Abstract)

Martin Naedele, Swiss Federal Institute of Technology Zurich

Joern W. Janneck, Swiss Federal Institute of Technology Zurich

pp. 0047

PDF

Building Soft Real-Time Monitors Based on Software Reuse (Abstract)

M.-L. Hsu

T.-W. Kuo

pp. 0055

PDF

Paper Session 3: Complex System Architecture

The Architecture Tradeoff Analysis Method (Abstract)

R. Kazman, Carnegie Mellon University

M. Klein, Carnegie Mellon University

M. Barbacci, Carnegie Mellon University

T. Longstaff, Carnegie Mellon University

H. Lipson, Carnegie Mellon University

J. Carriere, Carnegie Mellon University

pp. 0068

PDF

Open Complex Computer Systems are No Silver Bullet (Abstract)

Tim O'Neill, University of Technology, Sydney.

John Leaney, University of Technology, Sydney.

pp. 0079

PDF

Applying Slicing Technique to Software Architectures (Abstract)

Jianjun Zhao, Fukuoka Institute of Technology

pp. 0087

PDF

Panel - 1: Systems Engineering of Hardware and Software Systems - Where We Are and the Cutting Edge for Research

Paper Session 4: Dependable Systems - Fault Management

An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL (Abstract)

pp. 0100

PDF

Risk Assessment and Integrity in System Design (Abstract)

pp. 0115

PDF

VP Reservation for Rapid Restoration Using Multiagents (Abstract)

Yoshiaki Kakuda, Hiroshima City University

Shin'ichi Nagano, Osaka University

Tohru Kikuno, Osaka University

Masahiro Terabe, Mitsubishi Research Institute, Inc.

pp. 0121

PDF

Software Engineering Standards Workshop, Session 16A, Safety Considerations

Author Index (Abstract)

pp. 0129

PDF