The Community for Technology Leaders
Engineering of Computer-Based Systems, IEEE International Conference on the (2007)
Tucson, Arizona
Mar. 26, 2007 to Mar. 29, 2007
ISBN: 0-7695-2772-8
TABLE OF CONTENTS

Foreword (PDF)

pp. xi
Introduction

Foreword (PDF)

pp. xi

Program Committee (PDF)

pp. xiii

Reviewers (PDF)

pp. xiv
Keynote Address

Composition of Cyber-Physical Systems (PDF)

Janos Sztipanovits , Vanderbilt University, USA
pp. 3-6
Session A1: Architectures

Generation of Related Performance Simulation Models at an Early Stage in the Design Cycle (Abstract)

Andreas W. Liehr , Universitat der Bundeswehr Munchen, Germany
Klaus Buchenrieder , Universitat der Bundeswehr Munchen, Germany
pp. 7-14

Formal Architecture Transformation Using Heuristics (Abstract)

Tim O'Neill , University of Technology, Sydney, Australia
John Leaney , University of Technology, Sydney, Australia
Cameron Maxwell , University of Technology, Sydney, Australia
pp. 15-24

A Case Study: Applying Lyra in Modeling S60 Camera Functionality (Abstract)

Sari Leppanen , Nokia Research Center
Markku Turunen , Nokia Research Center
Kimmo Varpaaniemi , Space Systems Finland
Pasi Rinne-Rahkola , Nokia Research Center
Martti Soderlund , TietoEnator
Jukka Honkola , Nokia Research Center
pp. 25-36
Session A2: Architectures

Application of Bayesian Networks to Architectural Optimisation (Abstract)

Tim O'Neill , University of Technology, Sydney, Australia
Artem Parakhine , University of Technology, Sydney, Australia
John Leaney , University of Technology, Sydney, Australia
pp. 37-44

Expanding the View on Complexity within the Architecture Trade-off Analysis Method (Abstract)

John Leaney , University of Technology, Sydney, Australia
David Colquitt , University of Technology, Sydney, Australia
pp. 45-54

An Event-Driven Architecture for Fine Grained Intrusion Detection and Attack Aftermath Mitigation (Abstract)

Haiyan Qiao , The University of Arizona, USA
Chuan Feng , The University of Arizona, USA
Jianfeng Peng , The University of Arizona, USA
Jerzy Rozenblit , The University of Arizona, USA
pp. 55-62
Session A3: Architectures

Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification--I (Abstract)

Ernest Cachia , University of Malta, Msida, Malta
Mark Vella , University of Malta, Msida, Malta
pp. 63-70

Design and Description of a Classification System Framework for Easier Reuse (Abstract)

Carlos Silva , University of Minho, Portugal
Adriano Tavares , University of Minho, Portugal
Sergio Lopes , University of Minho, Portugal
Joao Monteiro , University of Minho, Portugal
pp. 71-82
Session B1: Component-Based System Design

Patterns for Integrating and Exploiting Some Non-Functional Properties in Hierarchical Software Components (Abstract)

Philippe Collet , Universite de Nice Sophia Antipolis, France
Herve Chang , Universite de Nice Sophia Antipolis, France
pp. 83-92

Component-Based System Integration via (Meta)Model Composition (Abstract)

Krishnakumar Balasubramanian , Vanderbilt University, USA
Akos Ledeczi , Vanderbilt University, USA
Zoltan Molnar , Vanderbilt University, USA
Douglas C. Schmidt , Vanderbilt University, USA
pp. 93-102

COTS Selection: Past, Present, and Future (Abstract)

Armin Eberlein , American University of Sharjah, UAE
Guenther Ruhe , University of Calgary, Canada
Abdallah Mohamed , University of Calgary, Canada
pp. 103-114
Session B2: Distributed Systems Design

Modern Distributed Data Acquisition and Control Systems Based on OPC Techniques (Abstract)

Vu Van Tan , University of Ulsan, Korea
Myeong-Jae Yi , University of Ulsan, Korea
Dae-Seung Yoo , University of Ulsan, Korea
pp. 115-122

Node-Oriented Modeling and Simulation of IP Networks (Abstract)

Nanjun Li , University of Potsdam, Germany
pp. 123-132

Transformation of Existing Programs into Autonomic and Self-healing Entities (Abstract)

M. Muztaba Fuad , Montana State University, USA
Michael J. Oudshoorn , Montana State University, USA
pp. 133-144
Session B3: Distributed Systems Design

Methods of Sensors Localization in Wireless Sensor Networks (Abstract)

Ryszard Klempous , Wroclaw University of Technology, Poland
Jan Nikodem , Wroclaw University of Technology, Poland
Zenon Chaczko , University of Technology Sydney, Australia
Michal Nikodem , Wroclaw University of Technology, Poland
pp. 145-152

Adaptive Misbehavior Detection in Wireless Sensors Network Based on Local Community Agreement (Abstract)

Jan Nikodem , Wroclaw University of Technology, Poland
Lukasz Radosz , Wroclaw University of Technology, Poland
Ryszard Klempous , Wroclaw University of Technology, Poland
Norbert Raus , Wroclaw University of Technology, Poland
pp. 153-160

Design of a Wireless Sensor Network Based Automatic Light Controller in Theater Arts (Abstract)

Jerzy W. Rozenblit , The University of Arizona, USA
Chuan Feng , The University of Arizona, USA
Lizhi Yang , The University of Arizona, USA
Peter Beudert , The University of Arizona, USA
pp. 161-170
Session C1: Embedded Real-Time Software Systems

Dynamic Scheduling of Skippable Periodic Tasks in Weakly-Hard Real-Time Systems (Abstract)

Maryline Chetto , University of Nantes, France
Audrey Marchand , University of Nantes, France
pp. 171-177

Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software (Abstract)

Vaclav Dvorak , Brno University of Technology, Czech Republic
pp. 178-185

End-User Development Framework for Embedded System Applications (Abstract)

Miroslav Sveda , Brno University of Technology, Czech Republic
pp. 186-194
Session C2: Embedded Real-Time Software Systems

Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach (Abstract)

Raimundo Barreto , Universidade Federal do Amazonas (UFAM), Brazil
Paulo Maciel , Universidade Federal do Pernambuco, Brazil
Lucas Cordeiro , Universidade Federal do Amazonas (UFAM), Brazil; BenQ Mobile Phones, Brazil
Vicente Lucena , Universidade Federal do Amazonas (UFAM), Brazil
Meuse Oliveira , Universidade Federal do Pernambuco, Brazil
Rafael Barcelos , BenQ Mobile Phones, Brazil
pp. 195-202

Embedded System Modeling Based on Resource-Oriented Model (Abstract)

Jin-Young Choi , Korea University, Korea
Jin Hyun Kim , Korea University, Korea
pp. 203-212
Session C3: Embedded Real-Time Software Systems

Integrating Security Modeling into Embedded System Design (Abstract)

Matthew Eby , Vanderbilt University, USA
Gabor Karsai , Vanderbilt University, USA
Akos Ledeczi , Vanderbilt University, USA
Jan Werner , Vanderbilt University, USA
pp. 221-228

A Practical Approach for Process Family Engineering of Embedded Control Software (Abstract)

Cord Giese , Delta Software Technology, Germany
Arnd Schnieders , University of Potsdam, Germany
Jens Weiland , DaimlerChrysler Research and Technology, Germany
pp. 229-240
Session A4: Lifecycle Processes and Process Evolution

Ontological Traceability over the Unified Process (Abstract)

Marcelo Blois Ribeiro , Pontifical Catholic University of Rio Grande do Sul, Brazil
Rodrigo Perozzo Noll , Pontifical Catholic University of Rio Grande do Sul, Brazil
pp. 249-255

A Service-Oriented Extension of the V-Modell XT (Abstract)

Michael Meisinger , Technische Universitat Munchen, Germany
Ingolf H. Kruger , University of California, San Diego, USA
pp. 256-268
Session A5: Requirements Elicitation and Analysis

Selecting Requirements Engineering Techniques Based on Project Attributes--A Case Study (Abstract)

Li Jiang , The University of Adelaide, Australia
Armin Eberlein , American University of Sharjah, UAE
pp. 269-278

Reconciling Synthesis and Decomposition: A Composite Approach to Capability Identification (Abstract)

James D. Arthur , Virginia Polytechnic Institute and State University, USA
Robert P. Broadwater , Virginia Polytechnic Institute and State University, USA
Ramya Ravichandar , Virginia Polytechnic Institute and State University, USA
pp. 287-298
Session A6: Model-Based System Development

Model-Based Data Processing with Transient Model Extensions (Abstract)

Gernot Schmoelzer , Graz University of Technology, Austria; Salomon Automation GmbH, Austria
Christian Kreiner , Graz University of Technology, Austria; Salomon Automation GmbH, Austria
Michael Thonhauser , Graz University of Technology, Austria; Salomon Automation GmbH, Austria
pp. 299-306

Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems (Abstract)

James H. Hill , Vanderbilt University, USA
Aniruddha Gokhale , Vanderbilt University, USA
Sumant Tambe , Vanderbilt University, USA
pp. 307-316

A Partitioning Analysis of the .NET Common Language Runtime (Abstract)

Joseph C. Libby , University of New Brunswick, Canada
Joshua R. Dick , University of New Brunswick, Canada
Kenneth B. Kent , University of New Brunswick, Canada
pp. 317-326
Session B4: Medical Applications

Dimensionality Reduction for the Control of Powered Upper Limb Prostheses (Abstract)

Klaus Buchenrieder , Universitat der Bundeswehr Munchen, Germany
pp. 327-333

Computer Based Psychotherapy for Treatment of Depression and Anxiety (Abstract)

David Purves , Self Help Solutions, Inc.
Byron Purves , Self Help Solutions, Inc.
pp. 334-338

A Hybrid View in a Laparoscopic Surgery Training System (Abstract)

Jerzy W. Rozenblit , The University of Arizona, USA
Chuan Feng , The University of Arizona, USA
Allan J. Hamilton , The University of Arizona, USA
pp. 339-348
Session B5: Modeling and Analysis of Complex Systems

Modeling the Functionality of Multi-Functional Software Systems (Abstract)

Alexander Harhurin , Technische Universitat Munchen, Germany
Alexander Gruler , Technische Universitat Munchen, Germany
Judith Hartmann , Technische Universitat Munchen, Germany
pp. 349-358

A Theory for Model-Based Transformation Applied to Computer-Supported Preservation in Digital Archives (Abstract)

Uwe M. Borghoff , University of the German Federal Armed Forces Munich, Germany
Thomas Triebsees , University of the German Federal Armed Forces Munich, Germany
pp. 359-370
Session B6: Reengineering and Reuse

DP-Miner: Design Pattern Discovery Using Matrix (Abstract)

Dushyant S. Lad , University of Texas at Dallas, USA
Jing Dong , University of Texas at Dallas, USA
Yajing Zhao , University of Texas at Dallas, USA
pp. 371-380

Introducing Impact Analysis for Architectural Decisions (Abstract)

Sven Wohlfarth , Technical University Ilmenau, Germany
Matthias Riebisch , Technical University Ilmenau, Germany
pp. 381-392
Session C4: Industrial Applications

Reengineering a Legacy Tool for Software Evolution (Abstract)

Chia-Chu Chiang , University of Arkansas at Little Rock, USA
pp. 393-396

I-Navigate: Intelligent, Self-adapting Navigation Maps (Abstract)

Herwig Mayr , Upper Austria University of Applied Sciences, Austria
pp. 397-404
Session C5: Reliability, Safety, Dependability, Security

Model-Based Cyber Security (Abstract)

Ben Abbott , Southwest Research Institute (SwRI)
Galen Rasche , Southwest Research Institute (SwRI)
Erin Allwein , Southwest Research Institute (SwRI)
Michael Moore , Southwest Research Institute (SwRI)
pp. 405-412

Secure Communication Trees in Ad Hoc Networks (Abstract)

Maciej Nikodem , Wroclaw University of Technology, Poland
Jan Nikodem , Wroclaw University of Technology, Poland
pp. 413-421

A Multi-Tier, Multi-Role Security Framework for E-Commerce Systems (Abstract)

Ernest Cachia , University of Malta, Malta
Mark Micallef , University of Malta, Malta
pp. 422-432
Session C6: Reliability, Safety, Dependability, Security

Alert Fusion for a Computer Host Based Intrusion Detection System (Abstract)

Jianfeng Peng , The University of Arizona, USA
Chuan Feng , The University of Arizona, USA
Jerzy W. Rozenblit , The University of Arizona, USA
Haiyan Qiao , The University of Arizona, USA
pp. 433-440

Behavior Analysis-Based Learning Framework for Host Level Intrusion Detection (Abstract)

Haiyan Qiao , University of Arizona, USA
Jerzy W. Rozenblit , University of Arizona, USA
Chuan Feng , University of Arizona, USA
Jianfeng Peng , University of Arizona, USA
pp. 441-447

Engineering Vertical Orchestration: From Biometric Trace Events to Incident Reporting (Abstract)

Paul McKay , Core Systems, Northern Ireland
Edward Hanna , Core Systems, Northern Ireland
Roy Sterritt , University of Ulster, Northern Ireland
Patricia O'Hagan , Core Systems, Northern Ireland
pp. 448-458
Session A7: Doctoral Symposium

Model-Based Empirical Performance Evaluation Based on Relational Traces (Abstract)

Marko Boskovic , Cal von Ossietzky University, Oldenburg, Germany
pp. 467-474

The Strategic Impact of Service Oriented Architectures (Abstract)

Philipp Liegl , Research Studios Austria
pp. 475-484
Session B7: System Assessment, Testing, and Metrics

A Statistical Approach to Model-Based Robustness Testing (Abstract)

Jelena Kovacevic , University of Novi Sad, Serbia
Miroslav Popovic , University of Novi Sad, Serbia
pp. 485-494

Towards Model-Based Testing with Architecture Models (Abstract)

Antti Huima , Conformiq Software Ltd
Stephan Schulz , European Telecommunications Standards Institute (ETSI)
Jukka Honkola , Nokia Research Center
pp. 495-502

Testing Time Goal-Driven Requirements with Model Checking Techniques (Abstract)

Maria-Emilia Cambronero , University of Castilla-La Mancha, Spain
Valentin Valero , University of Castilla-La Mancha, Spain
Fernando Cuartero , University of Castilla-La Mancha, Spain
Gregorio Diaz , University of Castilla-La Mancha, Spain
Elena Navarro , University of Castilla-La Mancha, Spain
pp. 503-514
Session B8: System Assessment, Testing, and Metrics

Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams (Abstract)

Andrei Soeanu , Concordia University, Canada
Yosr Jarraya , Concordia University, Canada
Mourad Debbabi , Concordia University, Canada
Fawzi Hassaine , Future Forces Synthetic Environments Section, Canada
pp. 515-522

System Level Performance Assessment of SOC Processors with SystemC (Abstract)

Esteban Rodriguez-Marek , Eastern Washington University, USA
Claudio Talarico , Eastern Washington University, USA
Min-sung Koh , Eastern Washington University, USA
pp. 523-530
Session C7: Verification and Validation

Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm (Abstract)

M. Song , Catholic University of Minas Gerais, Brasil
H. Barros , Federal University of Minas Gerais, Brasil
L. Zarate , Catholic University of Minas Gerais, Brasil
S. Campos , Federal University of Minas Gerais, Brasil
pp. 531-538

Reasoning about Cryptographic Protocols in Observational Theories (Abstract)

Imen Zaabar , Tunisia Polytechnic School (EPT), Tunisia
Narjes Berregeb , National Institute of Applied Sciences and Technology (INSAT), Tunisia
pp. 539-548
Session C8: Verification and Validation

IPOG: A General Strategy for T-Way Software Testing (Abstract)

D. Richard Kuhn , National Inst. of Standards and Tech., USA
James Lawrence , George Mason University, USA
Raghu Kacker , National Inst. of Standards and Tech., USA
Yu Lei , University of Texas at Arlington, USA
Vadim Okun , National Inst. of Standards and Tech., USA
pp. 549-556

Model Checking of Computer-Based Systems (Abstract)

Wei Yan , Chinese Academy of Sciences, China
Jinzhao Wu , University of Electronic Science and Technology, China; Chinese Academy of Sciences, China
pp. 557-568
ECBS Model-Based System Development Workshop

Aspect-Oriented Modeling of Ubiquitous Web Applications: The aspectWebML Approach (Abstract)

M. Wimmer , Vienna University of Technology, Austria
A. Schauerhuber , Vienna University of Technology, Austria
W. Schwinger , University of Linz, Austria
E. Kapsammer , University of Linz, Austria
W. Retschitzegger , University of Linz, Austria
pp. 569-576

Evaluating the Quality of Models Extracted from Embedded Real-Time Software (Abstract)

Johan Kraft , Malardalen University, Sweden
Joel Huselius , Malardalen University, Sweden
Hans Hansson , Malardalen University, Sweden
Sasikumar Punnekkat , Malardalen University, Sweden
pp. 577-585

Visualisation of Domain-Specific Modelling Languages Using UML (Abstract)

Arie van Deursen , Delft University of Technology and CWI, The Netherlands
Bas Graaf , Delft University of Technology, The Netherlands
pp. 586-595

State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines (Abstract)

Robyn Lutz , Iowa State University, USA; Jet Propulsion Laboratory/Caltech
Josh Dehlinger , Iowa State University, USA
Hongyu Sun , Iowa State University, USA
Jing Liu , Iowa State University, USA
pp. 596-608
Poster

Motion Planning System for Minimally Invasive Surgery (PDF)

Allan Hamilton , The University of Arizona, USA
Hanees Haniffa , The University of Arizona, USA
Mohamad Salkini , The University of Arizona, USA
Jianfeng Peng , The University of Arizona, USA
Jerzy Rozenblit , The University of Arizona, USA
pp. 609-610

A Process Module to Pre-Process Requirements for Architecting (PDF)

Matthias Galster , University of Calgary, Canada
Armin Eberlein , American University of Sharjah, United Arab Emirates
Mahmood Moussavi , University of Calgary, Canada
pp. 611-612
Author Index

Author Index (PDF)

pp. 613
115 ms
(Ver )