The Community for Technology Leaders
Engineering of Computer-Based Systems, IEEE International Conference on the (2006)
Postdam, Germany
Mar. 27, 2006 to Mar. 30, 2006
ISBN: 0-7695-2546-6
TABLE OF CONTENTS
Introduction

Welcome (PDF)

pp. xii

list-reviewer (PDF)

pp. xiii
Introduction

Committees (PDF)

pp. xiv
Adaptive Computing

Change Types of Dynamic System Reconfiguration (Abstract)

Francis Bordeleau , Zeligsoft and Carleton University
Bran Selic , Carleton University
D?Arcy Walsh , Carleton University
pp. 3-12
Architectures

Assistant-Based Mobile Supply Chain Management (Abstract)

Peter Braun , the agent factory GmbH, Germany
Ronny Eckhaus , Friedrich Schiller University Jena, Germany
Steffen Kern , Friedrich Schiller University Jena, Germany
Christian Erfurth , Friedrich Schiller University Jena, Germany
Torsten Dettborn , Friedrich Schiller University Jena, Germany
Yang Ji , Friedrich Schiller University Jena, Germany
Wilhelm Rossak , Friedrich Schiller University Jena, Germany
pp. 23-31

A Modelling Proposal for Aspect-Oriented Software Architectures (Abstract)

Elena Navarro , Computer Science,UCLM
Patricio Letelier , Information Systems and Computation, UPV
Isidro Ramos , Information Systems and Computation, UPV
Jennifer Perez , Information Systems and Computation, UPV
pp. 32-41

A Prototypical Platform for Architecture Oriented Development (Abstract)

Peter Tabeling , Hasso-Plattner-Institute for Software Systems Engineering, Potsdam, Germany
Rasmus Hofmann , Hasso-Plattner-Institute for Software Systems Engineering, Potsdam, Germany
pp. 42-51

Safe Integration of New Concerns in a Software Architecture (Abstract)

Anne-Francoise Le Meur , INRIA/LIFL , Universite des Sciences et Technologies de Lille, Cedex, France
Laurence Duchien , INRIA/LIFL , Universite des Sciences et Technologies de Lille, Cedex, France
Julia Lawall , DIKU, University of Copenhagen, Denamrk
Olivier Barais , INRIA/LIFL , Universite des Sciences et Technologies de Lille, Cedex, France
pp. 52-64
Design Evolution

A Framework for Understanding Heuristics in Architectural Optimisation (Abstract)

Tim O?Neill , University of Technology, Sydney
John Leaney , University of Technology, Sydney
Cameron Maxwell , University of Technology, Sydney
pp. 65-72

Evaluating Alternatives for Architecture-Oriented Refactoring (Abstract)

Matthias Riebisch , Technical University Ilmenau, Ilmenau, Germany
Sven Wohlfarth , Technical University Ilmenau, Ilmenau, Germany
pp. 73-79

A Model Transformation Approach for Design Pattern Evolutions (Abstract)

Jing Dong , University of Texas at Dallas
Sheng Yang , University of Texas at Dallas
Kang Zhang , University of Texas at Dallas
pp. 80-92
Distributed Systems Design

Deploying Loosely Coupled, Component-based Applications into Distributed Environments (Abstract)

Farhad Mavaddat , University of Waterloo
Farhad Arbab , Centrum voor Wiskunde en Informatica, Netherlands
Abbas Heydarnoori , University of Waterloo
pp. 93-102

Adaptive Tracking in Distributed Wireless Sensor Networks (Abstract)

Jerzy W. Rozenblit , University of Arizona
Chuan Feng , University of Arizona
Haiyan Qiao , University of Arizona
Lizhi Yang , University of Arizona
pp. 103-111

Reliable Multihop Bulk Transfer Service for Wireless Sensor Networks (Abstract)

Andras Nadas , Vanderbilt University, Nashville, TN, USA
Akos Ledeczi , Vanderbilt University, Nashville, TN, USA
Peter Volgyesi , Vanderbilt University, Nashville, TN, USA
pp. 112-122
Embedded and Real-Time Software Systems

Collaborative Embedded Systems Development: Survey of State of the Practice (Abstract)

Paivi Parviainen , VTT Technical Research Centre of Finland
Jarkko Hyysalo , University of Oulu
Maarit Tihinen , VTT Technical Research Centre of Finland
pp. 130-138

Present and Future Requirements in Developing Industrial Embedded Real-Time Systems - Interviews with Designers in the Vehicle Domain (Abstract)

Kaj Hanninen , Arcticus Systems Sweden
Mikael Nolin , Malardalen Research and Technology Centre (MRTC) Sweden
Jukka Maki-Turja , Malardalen Research and Technology Centre (MRTC) Sweden
pp. 139-150
Formal Methods

Using a Timed Petri Net (TPN) to Model a Bank ATM (Abstract)

Tony Spiteri Staines , MBCS, University of Malta
pp. 151-158

Designing algorithm-oriented generic library on .NET framework (Abstract)

Ondrej Rysavy , Brno University of Technology, Czech Republic
Frantisek Scuglik , Brno University of Technology, Czech Republic
Miroslav Sveda , Brno University of Technology, Czech Republic
pp. 159-163

Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality (Abstract)

Ethan K. Jackson , Vanderbilt University, Nashville, TN
Janos Sztipanovits , Vanderbilt University, Nashville, TN
pp. 164-176
Model-Based System Design

Model Transformations in the Model-Based Development of Real-time Systems (Abstract)

Gabor Karsai , Vanderbilt University, Nashville, TN, USA
Daniel Balasubramanian , Vanderbilt University, Nashville, TN, USA
Tivadar Szemethy , Vanderbilt University, Nashville, TN, USA
pp. 177-186

An Enhanced Model For Agent Based Requirement Gathering And Pre-System Analysis (Abstract)

A. K. Misra , Motilal Nehru National Institute of Technology, Uttar Pradesh, INDIA
Prabhat Ranjan , Motilal Nehru National Institute of Technology, Uttar Pradesh, INDIA
pp. 187-195

Domain-Specific Modeling Languages for Configuring and Evaluating Enterprise DRE System Quality of Service (Abstract)

Stoyan Paunov , Vanderbilt University, Nashville, TN
Steven D. Baker , Raytheon Company Portsmouth, RI
John M. Slaby , Raytheon Company Portsmouth, RI
Douglas Schmidt , Vanderbilt University, Nashville, TN
James Hill , Vanderbilt University, Nashville, TN
pp. 196-208
Modeling and Analysis of Complex Systems I

Design and Evaluation of In-vehicle Sensor Network for Web based Control (Abstract)

Won-Kee Hong , Daegu University
Seung-Il Lee , Daegu University
Tae-Hwan Kim , Daegu University
Yong-Doo Lee , Daegu University
pp. 209-218

Modeling and Analysis of Functionality in eHome Systems: Dynamic Rule-based Conflict Detection (Abstract)

Michael Kirchhof , RWTH Aachen University of Technology, Ahornstr.Aachen, Germany
Ibrahim Armac , RWTH Aachen University of Technology, Ahornstr.Aachen, Germany
Liviana Manolescu , RWTH Aachen University of Technology, Ahornstr.Aachen, Germany
pp. 219-228

Aligning Computing Systems with their Environment: An Agile Perspective (Abstract)

David W. Bustard , University of Ulster, Coleraine, BT52, UK
Frank Keenan , Dundalk Institute of Technology, Ireland
pp. 229-240
Modeling and Analysis of Complex Systems II

Conceptual Patterns (Abstract)

Bernhard Grone , Hasso-Plattner-Institute for Software Systems Engineering, Potsdam, Germany
pp. 241-246

Guided Architecture-based Design Optimisation of CBSs (Abstract)

Tim O?Neill , University of Technology, Sydney
John Leaney , University of Technology, Sydney
Kyle Dunsire , Avolution Pty Ltd.
Mark Denford , University of Technology, Sydney
David Livolsi , University of Technology, Sydney
pp. 247-258
Modeling and Analysis of Complex Systems III

Requirements Engineering for the Adviser Portal Bank System (Abstract)

Kristian Bisgaard Lassen , University of Aarhus, Aarhus N, Denmark
Jens B?k Jorgensen , University of Aarhus, Aarhus N, Denmark
pp. 259-268

A View-Based Approach for Improving Software Documentation Practices (Abstract)

Dirk Muthig , Fraunhofer Institute for Experimental Software Engineering (IESE), Kaiserslautern, Germany
Joachim Bayer , Fraunhofer Institute for Experimental Software Engineering (IESE), Kaiserslautern, Germany
pp. 269-278

UMLintr: A UML Profile for Specifying Intrusions (Abstract)

Mohammad Zulkernine , Queens University, Kingston
Mohammed Hussein , Queens University, Kingston
pp. 279-288
Product-Family Models and Architectures

Variability Mechanism Centric Process Family Architectures (Abstract)

Arnd Schnieders , University Potsdam, Germany
pp. 289-298

Modeling Dependencies in Product Families with COVAMOF (Abstract)

Jos Nijhuis , University of Groningen, Netherlands
Jan Bosch , Nokia Research Center, Finland
Sybren Deelstra , University of Groningen, Netherlands
Marco Sinnema , University of Groningen, Netherlands
pp. 299-307

The Feature-Architecture Mapping (FArM) Method for Feature-Oriented Development of Software Product Lines (Abstract)

Periklis Sochos , Technical University of Ilmenau, Germany
Matthias Riebisch , Technical University of Ilmenau, Germany
Ilka Philippow , Technical University of Ilmenau, Germany
pp. 308-318
Reliability, Safety, Dependability, Security

A Goal-Oriented Approach for Safety Requirements Specification (Abstract)

Elena Navarro , Computer Science Department, UCLM
Juan A. Pastor , Information Technology and Communication, UPCT
Isidro Ramos , Department of Information Systems and Computation, UPV
Patricio Letelier , Department of Information Systems and Computation, UPV
Pedro Sanchez , Information Technology and Communication, UPCT
pp. 319-326

Mission Dependability Modeling and Evaluation of Repairable Systems Considering Maintenance Capacity (Abstract)

Jianyin Zhao , National University of Defense Technology, Changsha, China
Bo Guo , National University of Defense Technology, Changsha, China
Fang Liu , National University of Defense Technology, Changsha, China
pp. 327-333

The Accuracy of Fault Prediction in Modified Code - Statistical Model vs. Expert Estimation (Abstract)

Piotr Tomaszewski , Blekinge Institute of Technology
Lars Lundberg , Blekinge Institute of Technology
Jim Hakansson , Blekinge Institute of Technology
Hakan Grahn , Blekinge Institute of Technology
pp. 334-343

Reliability Analysis of Multistate Systems Based on Bayesian Networks (Abstract)

Doudou Dong , National University of Defense Technology, Changsha, China
Guang Jin , National University of Defense Technology, Changsha, China
Jinglun Zhou , National University of Defense Technology, Changsha, China
Zhongbao Zhou , National University of Defense Technology, Changsha, China
pp. 344-352
System on a Chip

Multi-Objective Design Space Exploration Methodologies for Platform based SOCs (Abstract)

Esteban Rodriguez-Marek , Eastern Washington University
Claudio Talarico , Eastern Washington University
Min-sung Koh , Eastern Washington University
pp. 353-359

Modified Pseudo LRU Replacement Algorithm (Abstract)

Mohammad Reza Kakoee , Islamic Azad University
Hassan Ghasemzadeh , Islamic Azad University
Sepideh Sepideh Mazrouee , Islamic Azad University
pp. 368-376
System Assessment, Testing, and Metrics

A Model-Based Statistical Usage Testing of Communication Protocols (Abstract)

Ilija Basicevic , University of Novi Sad, Serbia
Miroslav Popovic , University of Novi Sad, Serbia
Ivan Velikic , University of Novi Sad, Serbia
Jelena Tatic , University of Novi Sad, Serbia
pp. 377-386

A Performance Validation Tool for J2EE Applications (Abstract)

Yuehong Liao , California State University Los Angeles
Behzad Parviz , California State University Los Angeles
Jiang Guo , California State University Los Angeles
pp. 387-396

A Measurement-Based Analysis of the Responsiveness of the Linux Kernel (Abstract)

Mauro Migliardi , DEI - University of Padua, Via Gradenigo 6/B, 35131, Padua, ITALY
Roberto Podesta , University of Genoa, Via Opera Pia 13, 16145, Genoa, ITALY
Matteo Marchesotti , University of Genoa, Via Opera Pia 13, 16145, Genoa, ITALY
pp. 397-408
Verification and Validation

A Unified Approach for Verification and Validation of Systems and Software Engineering Models (Abstract)

Yosr Jarraya , Concordia University, Montreal, Canada
Luay Alawneh , Concordia University, Montreal, Canada
Mourad Debbabi , Concordia University, Montreal, Canada
Andrei Soeanu , Concordia University, Montreal, Canada
Fawzi Hassayne , Defence Research and Development Canada, Ottawa, Ontario, Canada
pp. 409-418

Model Checking Procedures for Infinite State Systems (Abstract)

Nikola Bogunovi , University of Zagreb, Croatia
Edgar Pek , University of Zagreb, Croatia
pp. 419-425

Automated Translation of C/C++ Models into a Synchronous Formalism (Abstract)

David Berner , IRISA-INRIA, ESPRESSO team, Campus Universitaire de Beaulieu Rennes, Cedex France
Loic Besnard , IRISA-INRIA, ESPRESSO team, Campus Universitaire de Beaulieu Rennes, Cedex France
Jean-Pierre Talpin , IRISA-INRIA, ESPRESSO team, Campus Universitaire de Beaulieu Rennes, Cedex France
Hamoudi Kalla , IRISA-INRIA, ESPRESSO team, Campus Universitaire de Beaulieu Rennes, Cedex France
pp. 426-436
Doctoral Symposium Papers

Supporting Design Patterns with Annotations (Abstract)

Klaus Meffert , Technical University Ilmenau
pp. 437-445

Performance Considerations on Composite Applications (Abstract)

Marcel Seelig , University of Potsdam, Germany
pp. 445-452

Rava: Designing a Java Extension with Dynamic Object Roles (Abstract)

Keqing He , State key laboratory of Software Engineering, Wuhan University, China
Lianlian Cao , Wuhan Institute of Chemical Technology, China
Chengwan He , Wuhan Institute of Chemical Technology, China
Zhijie Nie , Wuhan Institute of Chemical Technology, China
Bifeng Li , Wuhan Institute of Chemical Technology, China
pp. 453-459

Modelling and Reasoning for Confidentiality Requirements in Software Development (Abstract)

Adeniyi Onabajo , University of Victoria, Canada
Jens H. Jahnke , University of Victoria, Canada
pp. 460-467

Customer-oriented Development of Complex Distributed Systems (Abstract)

Ivonne Erfurth , Friedrich-Schiller-University Jena, Germany
pp. 468-476
Poster Session Papers

Retrieving Software Components from a Heterogeneous Repository: a Semantic Syntactic Approach (Abstract)

Ezra K. Mugisa , University of the West Indies, Mona,Jamaica
Richard A. Pyne , University Of Technology,Jamaica
pp. 479-480

A Collaboration-Oriented Software Architecture Modeling System - JArchiDesigner (Abstract)

Behzad Parvi , California State University Los Angeles
Jiang Guo , California State University Los Angeles
Yuehong Liao , California State University Los Angeles
pp. 481-482

Achieving Reusability through Interoperability (Abstract)

Haroon Saleem Khan , National University of Computers and Emerging Sciences, Islamabad, Pakistan
pp. 483-484

Distinguishing between Automatic and Manual Aspects of Model Driven Development (Abstract)

Yucong Duan , Chinese Academy of Sciences, China
Xiaolan Fu , Chinese Academy of Sciences, China
Yuqing Gu , Chinese Academy of Sciences, China
Qingwu Hu , NEC Telecom System, China
S.C. Cheung , Hong Kong University of Science & Technology, China
Jing Wang , Towson University, USA
pp. 487-488

A Real-time Interactive Instructor Framework for Distance Education (Abstract)

Yan Zhang , Jumonji University
Xinyou Zhao , Guilin University of Electronic Technology Guilin, China
Mitsuji Matsumoto , GITS Waseda University Tokyo, Japan
pp. 489-490

Modifications on Event Streams for the Real-Time Analysis of Distributed Fixed-Priority Systems (Abstract)

Steffen Kollmann , University of Oldenburg
Frank Bodmann , University of Oldenburg
Frank Slomka , University of Oldenburg
Karsten Albers , University of Oldenburg
pp. 491-492

DILSA : Distributed In-door Location System Architecture (Abstract)

Yong-Doo Lee , Daegu University, Korea
Bong-Soo Ha , Daegu University, Korea
Won-Kee Hong , Daegu University, Korea
Ki-Hyeon Kim , Daegu University, Korea
pp. 493-494

WSN-based Intelligent Telematics System (Abstract)

Woo-Suk Shim , Daegu University, South Korea
Jung-sick Byun , Daegu University, South Korea
Won-Kee Hong , Daegu University, South Korea
pp. 495-496

Standardized Content Service System for Distributed E-learning Resource (Abstract)

Gang Zhao , Central China Normal University, Wuhan, hubei province, P.R.China
Xia Li , Central China Normal University, Wuhan, hubei province, P.R.China
Qingtang Liu , Central China Normal University, Wuhan, hubei province, P.R.China
Tao Huang , Central China Normal University, Wuhan, hubei province, P.R.China
Jixin Wang , Central China Normal University, Wuhan, hubei province, P.R.China
Zongkai Yang , Central China Normal University, Wuhan, hubei province, P.R.China
pp. 499-500

A State Equation for Petri Nets with Delaying Places (Abstract)

Matthias Werner , Berlin University of Technology
Gero Muhl , Berlin University of Technology
pp. 501-502

Evaluating Cognitive Information Complexity Measure (Abstract)

Dharmender Singh Kushwaha , Moti Lal Nehru National Institute Of Technology, Allahabad, India
A.K. Misra , Moti Lal Nehru National Institute Of Technology, Allahabad, India
pp. 503-504

A Hybrid Intrusion Detection and Visualization System (Abstract)

J.W. Rozenblit , University of Arizona
C. Feng , University of Arizona
J. Peng , University of Arizona
pp. 505-506
Author Index

Author Index (PDF)

pp. 509
100 ms
(Ver 3.1 (10032016))