The Community for Technology Leaders
Engineering of Computer-Based Systems, IEEE International Conference on the (2005)
Greenbelt, Maryland
Apr. 4, 2005 to Apr. 7, 2005
ISBN: 0-7695-2308-0
TABLE OF CONTENTS
Introduction

Notice of Violation of IEEE Publication Principles
Using connectors to integrate software components
(Abstract)

Jiang Guo , Dept. of Comput. Sci., California State Univ., Los Angeles, CA, USA
Yuehong Liao , Dept. of Comput. Sci., California State Univ., Los Angeles, CA, USA
pp. 11,12,13,14,15,16,17,18
Introduction

Foreword (PDF)

pp. x

Keynote Address (PDF)

Janos Sztipanovits , Vanderbilt University
pp. xii
Session A1: Component-Based System Design

Using Connectors to Integrate Software Components (Abstract)

Jiang Guo , California State University Los Angeles
Jeff Gray , University of Alabama at Birmingham
Yuehong Liao , California State University Los Angeles
Barrett Bryant , University of Alabama at Birmingham
pp. 11-18

Components and Contracts for Embedded Software (Abstract)

XiaoJiang Li , Academy of Equipment & Technology
Shuyu Li , Northwestern Polytechnic University
Jian Wu , Northwestern Polytechnic University
pp. 19-24
Session B1: Reliability, Dependability, and Security

Parallel and Reliable Execution of a WDR Algorithm in High Speed Networks (Abstract)

D. Avresky , Northeastern University
M. Marinov , Northeastern University
T. Nguyen , University of California at San Diego
pp. 27-32

Dependency Algebra: A Theoretical Framework for Dependency Management in Real-Time Control Systems (Abstract)

Hui Ding , University of Illinois at Urbana-Champaign
Kihwal Lee , University of Illinois at Urbana-Champaign
Lui Sha , University of Illinois at Urbana-Champaign
pp. 41-48
Session C1: Architecture

Integrative Architecture Elicitation for Large Computer Based Systems (Abstract)

Peter Tabeling , Hasso-Plattner-Institute for Software Systems Engineering
Bernhard Gr? , Hasso-Plattner-Institute for Software Systems Engineering
pp. 51-61

The ABACUS Architectural Approach to Computer-Based System and Enterprise Evolution (Abstract)

Mark Denford , University of Technology - Sydney
John Leaney , University of Technology - Sydney
Kyle Dunsire , Avolution Pty Ltd
Tim O?Neill , University of Technology - Sydney
pp. 62-69

Heuristic-Based Architecture Generation for Complex Computer System Optimisation (Abstract)

Tim O?Neill , University of Technology - Sydney
Cameron Maxwell , University of Technology - Sydney
John Leaney , University of Technology - Sydney
Artem Parakhine , University of Technology - Sydney
Mark Denford , University of Technology - Sydney
pp. 70-78
Session A2: Embedded Systems

Embedded System Engineering Using C/C++ Based Design Methodologies (Abstract)

Aseem Gupta , University of California at Irvine
Ebenezer Peter , University of Arizona
Jerzy W. Rozenblit , University of Arizona
Claudio Talarico , University of Arizona
pp. 81-88

Reducing the Power Consumption of FPGAs through Retiming (Abstract)

Ulrich Nageldinger , Infineon Technologies AG
Robert Fischer , Universit?t der Bundeswehr
Klaus Buchenrieder , Universit?t der Bundeswehr
pp. 89-94

Hierarchical Multiple Associative Mapping in Cache Memories (Abstract)

Hamid R. Zarandi , Sharif University of Technology
Seyed Ghassem Miremadi , Sharif University of Technology
pp. 95-101
Session B2: Requirements Engineering

Combining Requirements Engineering Techniques — Theory and Case Study (Abstract)

Li Jiang , University of Calgary
Armin Eberlein , American University of Sharjah
Behrouz H. Far , University of Calgary
pp. 105-112

Traceability-Driven Model Refinement for Test Case Generation (Abstract)

Michael H? , Ilmenau Technical University
Matthias Riebisch , Ilmenau Technical University
pp. 113-120
Session C2: Architecture and IT Management

IT Asset Management of Industrial Automation Systems (Abstract)

Patrick Sager , ABB Switzerland Ltd.
Thomas E. Koch , ABB Switzerland Ltd.
Esther Gelle , ABB Switzerland Ltd.
pp. 123-128

Architecture-Based Web Service Composition Framework and Strategy (Abstract)

Zunchao Li , Xi?an Jiaotong University
Yuan Rao , Xi?an Jiaotong University
Boqin Feng , Xi?an Jiaotong University
pp. 129-134

Architecture Rationalization: A Methodology for Architecture Verifiability, Traceability and Completeness (Abstract)

Antony Tang , Swinburne University of Technology
Jun Han , Swinburne University of Technology
pp. 135-144
Session A3: Networks and Sensors

A Framework for Sensor Management in Wireless and Heterogeneous Sensor Network (Abstract)

J. Peng , University of Arizona
J. W. Rozenblit , University of Arizona
L. Yang , University of Arizona
D. Vaidya , University of Arizona
pp. 155-162

Authentication and Integrity in Telecommunication Signaling Network (Abstract)

Hemant Sengar , George Mason University
Sushil Jajodia , George Mason University
Duminda Wijesekera , George Mason University
pp. 163-170
Session B3: Requirements Engineering

Transformation of UML Models for Service-Oriented Software Architectures (Abstract)

Paula Monteiro , Universidade do Minho
Helena Rodrigues , Universidade do Minho
Ricardo J. Machado , Universidade do Minho
Jo?o M. Fernandes , Universidade do Minho
pp. 173-182

From Requirements to Specifications (Abstract)

Cory Plock , New York University
Benjamin Goldberg , New York University
Lenore Zuck , University of Illinois at Chicago
pp. 183-190
Session C3: Design and System Synthesis

Synthesis of C++ Software from Verifiable CSPm Specifications (Abstract)

Stephen Doxsee , University of Guelph
W. B. Gardner , University of Guelph
pp. 193-201

QoS-UniFrame: A Petri Net-Based Modeling Approach to Assure QoS Requirements of Distributed Real-Time and Embedded Systems (Abstract)

Jeffrey G. Gray , University of Alabama at Birmingham
Mikhail Auguston , Naval Postgraduate School
Andrew M. Olson , Indiana University Purdue University Indianapolis
Shih-Hsi Liu , University of Alabama at Birmingham
Barrett R. Bryant , University of Alabama at Birmingham
Rajeev R. Raje , Indiana University Purdue University Indianapolis
pp. 202-209

Designing GUI Components for UML Use Cases (Abstract)

Jesús M. Almendros-Jiménez , Universidad de Almería
Luis Iribarne , Universidad de Almería
pp. 210-217
Session A4: Model-Based Development

A Generic Model-Based Test Case Generator (Abstract)

Miroslav Popovic , University of Novi Sad
Ivan Velikic , University of Novi Sad
pp. 221-228

Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment (Abstract)

Claudio Pinello , University of California at Berkeley and General Motors Berkeley Labs
Mark L. McKelvin Jr. , University of California at Berkeley
Alberto Sangiovanni-Vincentelli , University of California at Berkeley
Jonathan Sprinkle , University of California at Berkeley
pp. 229-235

Configuration Management for Designs of Software Systems (Abstract)

Tien N. Nguyen , University of Wisconsin-Milwaukee
Cheng Thao , University of Wisconsin-Milwaukee
John T. Boyland , University of Wisconsin-Milwaukee
Ethan V. Munson , University of Wisconsin-Milwaukee
pp. 236-243
Session B4: Formal Methods

A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture (PDF)

Denis Gračanin , Virginia Tech
H. Lally Singh , Virginia Tech
Mohamed Eltoweissy , Virginia Tech
Shawn A. Bohner , Virginia Tech
Michael G. Hinchey , NASA Goddard Space Flight Center
pp. 255-262

Formal Development of Real-Time Priority-Based Schedulers (Abstract)

Cristina Cerschi Seceleanu , Åbo Akademi University and TUCS
pp. 263-270
Session C4: Life-Cycle and Project Management

A Software Process Improvement Lifecycle Framework for the Medical Device Industry (Abstract)

D. McFall , Centre for Software Process Technologies
F. G. Wilkie , Centre for Software Process Technologies
F. McCaffery , Centre for Software Process Technologies
R. Sterritt , Centre for Software Process Technologies
P. Donnelly , IQ Solutions
pp. 273-280

Development Life Cycle Management: A Multiproject Experiment (Abstract)

Darren Dalcher , Middlesex University
Helgi Thorbergsson , University of Iceland
Oddur Benediktsson , University of Iceland
pp. 289-296
Session A5: Model-Based System Development

MoDeII: Modeling and Analyzing Time-Constraints (Abstract)

Jan Jürjens , Technical University München
Jewgenij Botaschanjan , Technical University München
pp. 299-306

Checking and Transforming Models with AutoFOCUS (Abstract)

Alexander Wisspeintner , Technical University M?nchen
Bernhard Sch?tz , Technical University M?nchen
Peter Braun , Technical University M?nchen
Franz Huber , Technical University M?nchen
pp. 307-314

The Action Language: Refining a Behavioral Modeling Language (Abstract)

Shweta Shetty , Vanderbilt University
Shikha Ahuja , Vanderbilt University
Ted Bapty , Vanderbilt University
Di Yao , Vanderbilt University
Sandeep Sandeep , Vanderbilt University
Steve Nordstrom , Vanderbilt University
pp. 315-322
Session B5: Formal Methods

A Framework for Formal Specification of Embedded Systems (Abstract)

Frantisek Scuglik , Brno University of Technology
Ondrej Rysavy , Brno University of Technology
Miroslav Sveda , Brno University of Technology
Frantisek Bures , Brno University of Technology
pp. 323-330

Building Compilers by Combining Algebras (Abstract)

Garrin Kimmell , University of Kansas
Ed Komp , University of Kansas
Perry Alexander , University of Kansas
pp. 331-338

A Formal Approach to Requirements-Based Programming (Abstract)

Michael G. Hinchey , NASA Goddard Space Flight Center
James L. Rash , NASA Goddard Space Flight Center
pp. 339-345
Session C5: Life-Cycle and Project Management

Toward Introducing Notification Technology into Distributed Project Teams (Abstract)

Shawn A. Bohner , Virginia Polytechnic Institute and State University
Jamie L. Smith , Virginia Polytechnic Institute and State University
D. Scott McCrickard , Virginia Polytechnic Institute and State University
pp. 349-356

Strategies for Systems Analysis: Groundwork for Process Tailoring (Abstract)

David W. Bustard , University of Ulster
Frank Keenan , Dundalk Institute of Technology
pp. 357-362

The Impact of Agile Methods on Software Project Management (Abstract)

Michael Coram , Virginia Polytechnical Institute and State University
Shawn Bohner , Virginia Polytechnical Institute and State University
pp. 363-370
Session A6: Model-Based System Development

Model Checking Embedded Systems with PROMELA (Abstract)

Luís F. Pinto , Universidade do Minho
João M. Fernandes , Universidade do Minho
Óscar R. Ribeiro , Universidade do Minho
pp. 378-385
Session B6: High Autonomy Systems

A Policy-Driven Autonomous System for Evolutive and Adaptive Management of Complex Services and Networks (Abstract)

Tim O?Neill , University of Technology - Sydney
Nigel Sheridan-Smith , University of Technology - Sydney
John Leaney , University of Technology - Sydney
Mark Hunter , Alcatel Australia
pp. 389-397

Why Computer-Based Systems Should Be Autonomic (Abstract)

Mike Hinchey , NASA Goddard Space Flight Center
Roy Sterritt , University of Ulster
pp. 406-412
Session C6: Methods and Applications

Generating Driving Directions for Intelligent Vehicles Interfaces (Abstract)

Michael J. Trolio , Joseph Sheairs Associates
Barbara Di Eugenio , University of Illinois at Chicago
pp. 415-422

Adaptive Web-Based Learning System (Abstract)

Fahad T. Alotaiby , George Mason University
Edward J. Wegman , George Mason University
Harry Wechsler , George Mason University
Debra Sprague , George Mason University
Jim X. Chen , George Mason University
pp. 423-430

Remote Integration and Coordination of Verification Tools in JETI (Abstract)

Ralf Nagel , University of Dortmund
Bernhard Steffen , University of Dortmund
Tiziana Margaria , University of Göttingen
pp. 431-436
EASe Workshop

Self-Managing Systems: A Control Theory Foundation (Abstract)

Dan Phung , Columbia University
Gail Kaiser , Columbia University
Rean Griffith , Columbia University
Joseph L. Hellerstein , IBM Thomas J. Watson Research Center
Yixin Diao , IBM Thomas J. Watson Research Center
Sujay Parekh , IBM Thomas J. Watson Research Center
pp. 441-448

Adjustable Deliberation of Self-Managing Systems (Abstract)

A. Laws , Liverpool John Moores University
M. Randles , Liverpool John Moores University
P. Miseldine , Liverpool John Moores University
A. Taleb-Bendiab , Liverpool John Moores University
pp. 449-456

Interceptor Based Constraint Violation Detection (Abstract)

Qianxiang Wang , Peking University
Aditya Mathur , Purdue University
pp. 457-464

Towards a Systemic Approach to Autonomic Systems Engineering (Abstract)

Roy Sterritt , University of Ulster
A. Taleb-Bendiab , Liverpool John Moores University
Martin Randles , Liverpool John Moores University
Andrew Laws , Liverpool John Moores University
Frank Keenan , Dundalk Institute of Technology
David Bustard , University of Ulster
pp. 465-472

Towards a Demand Driven, Autonomous Processing and Streaming Architecture (Abstract)

Gerald Friedland , Freie Universität Berlin
Karl Pauls , Freie Universität Berlin
pp. 473-480

Systems Integration of Large Scale Autonomic Systems Using Multiple Domain Specific Modeling Languages (Abstract)

Di Yao , Vanderbilt University
Shweta Shetty , Vanderbilt University
Ted Bapty , Vanderbilt University
Shikha Ahuja , Vanderbilt University
Sandeep Neema , Vanderbilt University
Steven Nordstrom , Vanderbilt University
pp. 481-489

Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System (PDF)

Denis Gračanin , Virginia Tech
James L. Rash , NASA Goddard Space Flight Center
John Erickson , University of Texas at Austin
Michael G. Hinchey , NASA Goddard Space Flight Center
pp. 490-497

Prototype of Fault Adaptive Embedded Software for Large-Scale Real-Time Systems (Abstract)

Derek Messie , Syracuse University
Mina Jung , Syracuse University
Jae C. Oh , Syracuse University
Steven Nordstrom , Vanderbilt University
Shweta Shetty , Vanderbilt University
Michael Haney , University of Illinois at Urbana-Champaign
pp. 498-505

Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions (Abstract)

Mike Hinchey , NASA Goddard Space Flight Center
Roy Sterritt , University of Ulster
pp. 506-511

Autonomic Cluster Management System (ACMS): A Demonstration of Autonomic Principles at Work (Abstract)

Eric S. Leshay , Worcester Polytechnic Institute
Christopher L. Kopec , Worcester Polytechnic Institute
James D. Baldassari , Worcester Polytechnic Institute
Walt Truszkowski , NASA Goddard Space Flight Center
David Finkel , Worcester Polytechnic Institute
pp. 512-518

PACT: Personal Autonomic Computing Tools (Abstract)

Barry Smyth , University of Ulster
Roy Sterritt , University of Ulster
Martin Bradley , University of Ulster
pp. 519-527

"SelfService": A Theoretical Protocol for Autonomic Distribution of Services in P2P Communities (Abstract)

H?vard Rast Blok , British Telecom, Pervasive ICT Research Centre
Fabrice Saffre , British Telecom, Pervasive ICT Research Centre
pp. 528-534

Autonomic Computing — Panacea or Poppycock? (Abstract)

Mike Hinchey , NASA Goddard Space Flight Center
Roy Sterritt , University of Ulster
pp. 535-539
ECBS MBD Workshop

Introducing Security Aspects with Model Transformations (Abstract)

Jorge Fox , Technische Universit?t M?nchen
Jan J?rjens , Technische Universit?t M?nchen
pp. 543-549

Component vs. Component: Why We Need More Than One Definition (Abstract)

Peter Tabeling , Hasso-Plattner-Institute for IT-Systems Engineering
Bernhard Gröne , Hasso-Plattner-Institute for IT-Systems Engineering
Andreas Knöpfel , Hasso-Plattner-Institute for IT-Systems Engineering
pp. 550-552
Author Index

Author Index (PDF)

pp. 553-554
83 ms
(Ver )