CSDL - Proceedings E

Modeling

Using Extensible Query Language (XQL) for Database Applications (Abstract)

Eugene Xavier, Infosys Technologies Limited

pp. 0002

PDF

XML based Security for E-Commerce Applications (Abstract)

Eugene Xavier, Infosys Technologies Limited

pp. 0010

PDF

Unified Modeling of Real-Time Control Systems and Their Physical Environments Using UML (Abstract)

Jakob Axelsson, Carlstedt Research & Technology AB

pp. 0018

PDF

Panel: System Composition Strategies

System Composition Strategies, Panel Introduction (PDF)

S. White

pp. 0028

System Composition Strategies, A Position Paper for an ECBS Panel - My Position: Analogy Questionable, Intentions Estimable (PDF)

J. Leaney

pp. 0030

Habitats - Infrastructure for Knowledge-Centric Operations (KO) (PDF)

J. Salasin

pp. 0032

Tools and Technology

Strategies for Developing Distributed Computing Solutions for Industrial Environments (Abstract)

A. Chisholm, Westmont Systems

S. Smith, Napier University

pp. 0036

PDF

Risk Management for an Open CBS Project (Abstract)

Tim O'Neill, University of Technology, Sydney

John Leaney, University of Technology, Sydney

pp. 0045

PDF

Optimum Information Queue Lengths in Semi-Batch Power Management Methods for a Palmtop Multimedia Terminal (Abstract)

Ying-Wen Bai, Fu-Jen Catholic University

pp. 0054

PDF

Testing and Web-Based Systems

An Agent for Web-Based Process Management (Abstract)

John Debenham, University of Technology, Sydney

pp. 0062

PDF

Object-Oriented Analysis and Design of Web-Based Information Systems (Abstract)

Jyhjong Lin, Chaoyang University of Technology

Huammi Tsai, Chaoyang University of Technology

Yalei Chu, Chaoyang University of Technology

pp. 0068

PDF

Synthesis of High-Level Requirements Models for Automatic Test Generation (Abstract)

P. Gupta, The University of Arizona

S.J. Cunning, The University of Arizona

J.W. Rozenblit, The University of Arizona

pp. 0076

PDF

Coverage Based Test-Case Generation Using Model Checkers (Abstract)

Sanjai Rayadurgam, University of Minnesota

Mats P. E. Heimdahl, University of Minnesota

pp. 0083

PDF

Real-Time

Toward a Real-time Event Flow Architecture Style (Abstract)

Robert W. Schwanke, Siemens Corporate Research, Inc.

pp. 0094

PDF

Reservation-Based Timing Analysis -A Practical Engineering Approach for Distributed Real-Time Systems (Abstract)

Alan Grigg, University of York

Neil Audsley, University of York

pp. 0103

PDF

Experiences from Introducing State-of-the-Art Real-Time Techniques in the Automotive Industry (Abstract)

Christer Norström, M?lardalen University

Kristian Sandström, M?lardalen University

Jukka Mäki-Turja, M?lardalen University

Mikael Gustafsson, TietoEnator ArosTech AB

Nils-Erik Bånkestad, Volvo Construction Equipment Components AB

pp. 0111

PDF

On Adaptive Communication in Asynchronous Real-Time Distributed Systems (PDF)

Binoy Ravindran, Virginia Tech

Baoping Zhang, Virginia Tech

pp. 0119

Architecture

Systematic Definition of Reusable Architectures (Abstract)

Ilka Philippow, Ilmenau Technical University

Matthias Riebisch, Ilmenau Technical University

pp. 0128

PDF

Information Modelling for System Specification Representation and Data Exchange (Abstract)

Erik Herzog, Link?pings Universitet

Anders Törne, Link?pings Universitet

pp. 0136

PDF

Developing a Traceable Domain Reference Architecture to Support Clinical Trials at the National Cancer Institute - An Experience Report (Abstract)

K.S. Barber, The University of Texas at Austin

T. Graser, The University of Texas at Austin

J. Silva, National Cancer Institute

pp. 0144

PDF

Using 'Parallel Automaton' as a Single Notation to Specify, Design and Control Small Computer Based Systems (Abstract)

H.G. Mendelbaum, Jerusalem College of Technology

R.B. Yehezkael, Jerusalem College of Technology

pp. 0152

PDF

Quality and Measurement

Effective Values: An Approach for Characterizing Dependability Parameters (Abstract)

S. Noureddine, University of Federal Armed Forces

A. Lehmann, University of Federal Armed Forces

pp. 0162

PDF

Need-Based Requirements Change Management (Abstract)

Atsushi Kobayashi, NEC Corporation

Mamoru Maekawa, University of Electro-Communications

pp. 0171

PDF

Measuring the Effectiveness of Computer Based Systems: An Open System Measurement Example (Abstract)

John Leaney, University of Technology, Sydney

David Rowe, University of Technology, Sydney

Tim O'Neill, University of Technology, Sydney

Steve Hoye, OSM Pty Ltd

Petros Gionis, OSM Pty Ltd

pp. 0179

PDF

Fault Tolerance and Emulation

Discovering Rules for Fault Management (Abstract)

Roy Sterritt, University of Ulster

pp. 0190

PDF

ESFFI - A Novel Technique for the Emulation of Coftware Faults in COTS Components (Abstract)

Diamantino Costa, Centre for Informatics and Systems of the University of Coimbra

Tiago Rilho, Centre for Informatics and Systems of the University of Coimbra

M. Vieira, Centre for Informatics and Systems of the University of Coimbra

Henrique Madeira, Centre for Informatics and Systems of the University of Coimbra

pp. 0197

PDF

Fault-Adaptive Control: A CBS Application (Abstract)

Gabor Karsai, Vanderbilt University

Gautam Biswas, Vanderbilt University

Tal Pasternak, Vanderbilt University

Sriram Narasimhan, Vanderbilt University

Gabor Peceli, Technical University of Budapest

Gyula Simon, Technical University of Budapest

Tamas Kovacshazy, Technical University of Budapest

pp. 0205

PDF

Tools and Technology II

Developing Instance Model-Based Applications (Abstract)

Giorgio Bruno, Politecnico di Torino

Marco Torchiano, Politecnico di Torino

pp. 0214

PDF

System Level Mutation Analysis Applied to a State-Based Language (Abstract)

Thomas Olsson, Lund University

Per Runeson, Lund University

pp. 0222

PDF

A Practical Semantics for Design Facet Interaction (Abstract)

Perry Alexander, The University of Kansas Information and Telecommunications Technology Center

Cindy Kong, The University of Kansas Information and Telecommunications Technology Center

David Schonberger, The University of Kansas Information and Telecommunications Technology Center

pp. 0229

PDF

Agents

Implementation of Object-Oriented Protocol Agents in Communication Devices (Abstract)

Michael Newton, TCU

Bonnie E. Melhart, TCU

pp. 0238

PDF

An Agent-Based Bayesian Forecasting Model for Enhanced Network Security (Abstract)

J. Pikoulas, Napier University

W.J. Buchanan, Napier University

M. Mannion, Glasgow Caledonian University

K. Triantafyllopoulos, University of Warwick

pp. 0247

PDF

TRACY A Prototype of an Architected Middleware to support Mobile Agents (Abstract)

Peter Braun, Friedrich Schiller University Jena

Jan Eismann, Friedrich Schiller University Jena

Christian Erfurth, Friedrich Schiller University Jena

Wilhelm Rossak, Friedrich Schiller University Jena

pp. 0255

PDF

Tools and Technology III

Sensor Networking (Abstract)

Miroslav Sveda, Brno University of Technology

Radimir Vrba, Brno University of Technology

pp. 0262

PDF

A Graduate-Level Course on CBS Design Tool Development (Abstract)

Greg Nordstrom, Vanderbilt University

James Davis, Vanderbilt University

Mark Briski, Vanderbilt University

pp. 0269

PDF

The New Metamodeling Generation (Abstract)

Jonathan M. Sprinkle, Vanderbilt University

Akos Ledeczi, Vanderbilt University

Gabor Karsai, Vanderbilt University

Greg Nordstrom, Vanderbilt University

pp. 0275

PDF

Analysis and Experimentation

Analysis of DSP-Kernel Software by Implicit Cache Simulation (Abstract)

Gabriele Luculli, STMicroelectronics

Alberto Sangiovanni-Vincentelli, University of California at Berkeley

pp. 0282

PDF

Twenty Years of Safe Train Control in Sweden (Abstract)

Harold W. Lawson, Lawson Konsult AB

Sivert Wallin, Teknogram AB

Berit Bryntse, Teknogram AB

Bertil Friman, Friman Data Konsult AB

pp. 0289

PDF

A Super Tracer and an Analyzer for Analyzing Detailed Behavior of a Linux on a Pentium Family Processor (STDB) (Abstract)

Yasushi Sugimura, NTT Information Sharing Platform Laboratories

Seiichi Ido, NTT Information Sharing Platform Laboratories

pp. 0298

PDF

Composition and CBS

Visual Composition with SDL Beans (Abstract)

Kurt Verschaeve, Vrije Universiteit Brussel

Bart Wydaeghe, Vrije Universiteit Brussel

Frans Westerhuis, Alcatel

pp. 0308

PDF

Software Components Adaptive Integration (Abstract)

Jiang Guo, California State University, Bakersfield

pp. 0315

PDF

Notice of Violation of IEEE Publication Principles

Towards a New Component Composition Process (Abstract)

Wim Vanderperren, Vrije Universiteit

Bart Wydaeghe, Vrije Universiteit

pp. 0322

PDF

Working Group Reports

Forensic ECBS: The Way Forward (Abstract)

Darren Dalcher, Middlesex University

pp. 0332

PDF

Ambulance Despatch Systems: The Melbourne Story (Abstract)

Darren Dalcher, Middlesex University

pp. 0337

PDF

Report of the Standards Working Group (PDF)

H. Lawson

pp. 0343

Engineering of Computer-Based Systems -A Proposed Curriculum for a Degree Program at Bachelor Level (Abstract)

Darren Dalcher, Middlesex University

Mike Mannion, Glasgow Caledonian University

Jonah Z. Lavi, CBSE Associates

Reuven Gallant, Jerusalem College of Technology

Bonnie E. Melhart, Texas Christian Univ.

Regina M. Gonzales, New Mexico State University

pp. 0344

PDF

Formal Specifications of Computer-Based Systems (PDF)

pp. 0357

Author Index (PDF)

pp. 0359