Message from the General Chair

Program Committee (PDF)

pp. x

Conference Committee (PDF)

pp. xi

Papers

Multigranular Simulation of Heterogeneous Embedded Systems (Abstract)

Aditya Agrawal, Vanderbilt University

Akos Ledeczi, Vanderbilt University

pp. 3

PDF

Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems (Abstract)

Ted Bapty, Vanderbilt University

Sandeep Neema, Vanderbilt University

Steve Nordstrom, Vanderbilt University

Shweta Shetty, Vanderbilt University

Divya Vashishtha, Vanderbilt University

Jason Overdorf, Vanderbilt University

Paul Sheldon, Vanderbilt University

pp. 11

PDF

Component Behavior Prediction and Monitoring through Built-In Test (Abstract)

Franck Barbier, Universit? de Pau

Nicolas Belloir, Universit? de Pau

pp. 17

PDF

Systems Engineering Transitions into the 21st Century (Abstract)

Harry L. Brewer, The Boeing Company

pp. 23

PDF

Trust, Systems and Accidents: Designing Complex Systems (Abstract)

Darren Dalcher, Middlesex University

pp. 31

PDF

Architecture-Based Design of Computer Based Systems (Abstract)

Mark Denford, University of Technology, Sydney

Tim O? Neill, University of Technology, Sydney

John Leaney, University of Technology, Sydney

pp. 39

PDF

Using π - calculus to Formalize UML Activity Diagram (Abstract)

Yang Dong, Shanghai Jiaotong University

Zhang ShenSheng, Shanghai Jiaotong University

pp. 47

PDF

Modeling Workflow Process Models with Statechart (Abstract)

Yang Dong, Shanghai Jiaotong University

Zhang Shensheng, Shanghai Jiaotong University

pp. 55

PDF

Dynamic Systems Development: Towards Continuity, Growth and Evolution (Abstract)

Darren Dalcher, Middlesex University

pp. 62

PDF

Model-Integrated Design Toolset for Polymorphous Computer-Based Systems (Abstract)

Brandon Eames, Vanderbilt University

Ted Bapty, Vanderbilt University

Ben Abbott, Southwest Research Institute

Sandeep Neema, Vanderbilt University

Kumar Chhokra, Vanderbilt University

pp. 72

PDF

The SIGNAL Approach to the Design of System Architectures (Abstract)

Abdoulaye Gamatié, IRISA/INRIA

Thierry Gautier, IRISA/INRIA

pp. 80

PDF

An Approach for Modeling and Designing Software Architecture (Abstract)

Jiang Guo, California State University at Los Angeles

pp. 89

PDF

Aspect-Oriented Requirements Engineering for Software Product Lines (Abstract)

Chethana Kuloor, University of Calgary

Armin Eberlein, University of Calgary

pp. 98

PDF

A Slicing Approach for Parallel Component Adaptation (Abstract)

Brandon Morel, University of Kansas

Perry Alexander, University of Kansas

pp. 108

PDF

Performance Modelling of Interaction Protocols for Component-Based System Design Using Object-Oriented Simulation (Abstract)

Carlos Juiz, Universitat de les Illes Balears

Ramon Puigjaner, Universitat de les Illes Balears

pp. 115

PDF

Rapid Prototyping of Networked Embedded Systems (Abstract)

Miroslav Sveda, Brno University of Technology

pp. 125

PDF

The Rosetta Meta-Model Framework (Abstract)

Cindy Kong, University of Kansas

Perry Alexander, University of Kansas

pp. 133

PDF

Integrated Modeling and Analysis of Computer-Based Embedded Control Systems (Abstract)

Zonghua Gu, University of Michigan

Kang G. Shin, University of Michigan

pp. 141

PDF

Design of Very Lightweight Agents for Reactive Embedded Systems (Abstract)

Jae C. Oh, Syracuse University

Madhura S. Tamhankar, Syracuse University

Daniel Mossé, University of Pittsburgh

pp. 149

PDF

Domain Model Translation Using Graph Transformations (Abstract)

Jonathan Sprinkle, Vanderbilt University

Aditya Agrawal, Vanderbilt University

Tíhamer Levendovszky, Vanderbilt University

Feng Shi, Vanderbilt University

Gabor Karsai, Vanderbilt University

pp. 159

PDF

Formal Specifications of Computer-Based Systems (Abstract)

Miroslav Sveda, Brno University of Technology

Charles Rattray, University of Stirling

Jerzy Rozenblit, University of Arizona

pp. 169

PDF

FMC: An Approach Towards Architecture-Centric System Development (Abstract)

Frank Keller, Hasso Plattner Institute for Software Systems Engineering

Siegfried Wendt, Hasso Plattner Institute for Software Systems Engineering

pp. 173

PDF

An ISA-Retargetable Framework for Embedded Software Analysis (Abstract)

Gabriele Luculli, STMicroelectronics

pp. 183

PDF

Enterprise-Wide Solutions Architecting Using UML (Abstract)

Diane Feldman, Telcordia Technologies

Josephine Micallef, Telcordia Technologies

Dennis Mulcare

pp. 191

PDF

Mobile Agents for Routing, Topology Discovery, and Automatic Network Reconfiguration in Ad-Hoc Networks (Abstract)

Nikos Migas, Napier University

William J. Buchanan, Napier University

Kevin A. Mc Aartney, Napier University

pp. 200

PDF

A Hybrid Architecture for Visualization and Decision Making in Battlespace Environments (Abstract)

J. Peng, University of Arizona

J. W. Rozenblit, University of Arizona

L. Suantak, University of Arizona

pp. 207

PDF

Model Checking and Evidence Exploration (Abstract)

Yifei Dong, State University of New York at Stony Brook

C. R. Ramakrishnan, State University of New York at Stony Brook

Scott A. Smolka, State University of New York at Stony Brook

pp. 214

PDF

Requirements Interaction Detection Using Semi-Formal Methods (Abstract)

Mohamed Shehata, University of Calgary

Armin Eberlein, University of Calgary

pp. 224

PDF

Meta-Modelling Approach to Traceability for Avionics: A Framework for Managing the Engineering of Computer Based Aerospace Systems (Abstract)

Paul Mason, University of Newcastle upon Tyne

Amer Saeed, Advantage Business Group

Paul Arkely, University of Newcastle upon Tyne

Steve Riddle, University of Newcastle upon Tyne

pp. 233

PDF

Autonomic Computing — A Means of Achieving Dependability? (Abstract)

Roy Sterritt, University of Ulster

Dave Bustard, University of Ulster

pp. 247

PDF

A Foundation for Adaptive Fault Tolerance in Software (Abstract)

K. Whisnant, University of Illinois at Urbana-Champaign

Z. Kalbarczyk, University of Illinois at Urbana-Champaign

R. K. Iyer, University of Illinois at Urbana-Champaign

pp. 252

PDF

Social Engineering (Abstract)

Stephanie M. White, Long Island University

pp. 261

PDF

Panel Description

Panel: Extending UML from Software to Systems Engineering (Abstract)

Stephanie White, Long Island University

Murray Cantor, Rational Software

Sanford Friedenthal, Lockheed Martin Corporation

Cris Kobryn, Telelogic

Byron Purves, Boeing

pp. 271

PDF

Workshop on Model Based Development of Computer Based Systems: Workshop Papers

Modeling and Building Reliable, Re-Useable Software (Abstract)

Ferdinand Wagner

Peter Wolstenholme, CYDON Technology

pp. 277

PDF

Consistency in Model-Based Development (Abstract)

Bernhard Schätz, Technische Universität München

Peter Braun, Technische Universität München

Franz Huber, Technische Universität München

Alexander Wisspeintner, Technische Universität München

pp. 287

PDF

Details of Formalized Relations in Feature Models Using OCL (Abstract)

Detlef Streitferdt, Technische Universit?t Ilmenau

Matthias Riebisch, Technische Universit?t Ilmenau

Ilka Philippow, Technische Universit?t Ilmenau

pp. 297

PDF

Employing Fuzzy Logic in Feature Diagrams to Model Variability in Software Product-Lines (Abstract)

Silva Robak, University of Zielona Gora

Andrzej Pieczynski, University of Zielona Gora

pp. 305

PDF

Towards Model-Based Requirements Engineering for Web-Enabled B2B Applications (Abstract)

Frank Marschall, Technische Universität München

Maurice Schoenmakers, Technische Universität München

pp. 312

PDF

Issues in Architectural Modeling and Evolution in the Know-It-All Case Study (Abstract)

Greg Butler, Concordia University

Xin Shen, Concordia University

Lugang Xu, Concordia University

pp. 321

PDF

Author Index

Author Index (PDF)

pp. 331