The Community for Technology Leaders
Engineering of Computer-Based Systems, IEEE International Conference on the (2004)
Brno, Czech Republic
May 24, 2004 to May 27, 2004
ISBN: 0-7695-2125-8
TABLE OF CONTENTS

Preface (PDF)

pp. xii

Preface (PDF)

pp. xii

Committees (PDF)

pp. xiii
Invited Lecture
Session A1: Modeling

Modeling and Simulation of Stability and Support Operations (SASO) (Abstract)

Jerzy Rozenblit , The University of Arizona, Tucson
Jerry Schlabach , Battle Command Battle Lab, Ft. Huachuca, Arizona
Liana Suantak , The University of Arizona, Tucson
Michael Barnes , U.S. Army Research Laboratory, Adelphi, Maryland/Ft. Huachuca, Arizona
Faisal Momen , The University of Arizona, Tucson
David Hillis , U.S. Army Research Laboratory, Adelphi, Maryland/Ft. Huachuca, Arizona
pp. 21

Domain Independent Generative Modeling (Abstract)

Mikl? Mar? , Vanderbilt University, Nashville, TN, USA
?kos L?deczi , Vanderbilt University, Nashville, TN, USA
Branislav Kusy , Vanderbilt University, Nashville, TN, USA
P?ter V?lgyesi , Budapest University of Technology and Economics, Budapest, Hungary
pp. 29
Session B1: SW Architecture

The Scheduling Algorithms in Software Architecture Modeling (Abstract)

Jiang Guo , California State University Los Angeles
Yuehong Liao , California State University Los Angeles
pp. 36

An Explicit Definition of Connectors for Component-Based Software Architecture (Abstract)

Tahar Khammaci , Universit? de Nantes, France
Mourad Oussalah , Universit? de Nantes, France
Adel Smeda , Universit? de Nantes, France
pp. 44

Closing the Gap Between Software Modelling and Code (Abstract)

T. Wagner , Free-lance consultant
F. Wagner , Free-lance consultant
P. Wolstenholme , CYDON Technology
pp. 52
Session A2: Performance Analysis and Optimization

Performance Analysis of Embedded Systems in the Virtual Component Co-Design Environment (Abstract)

P. Garg , The University of Arizona, Tucson
A. Gupta , The University of Arizona, Tucson
J. W. Rozenblit , The University of Arizona, Tucson
pp. 61

Enabling Optimisation in the Design of Complex Computer based Systems (Abstract)

Tim O'Neill , University of Technology, Sydney
Mark Denford , University of Technology, Sydney
John Leaney , University of Technology, Sydney
pp. 69

Gradient Method with Topology Discovery for Load-Balancing in Active Networks (Abstract)

Tomas Koutny , University of West Bohemia in Plzen, Czech Republic
Jiri Safarik , University of West Bohemia in Plzen, Czech Republic
pp. 75
Session B2: SW Techniques

WICCAP: From Semi-structured Data to Structured Data (Abstract)

Zhao Li , Nanyang Technological University, Singapore
Wee Keong Ng , Nanyang Technological University, Singapore
pp. 86

Suffix Caching Techniques of Streaming Media Based On Batch Patching (Abstract)

Cai Qingsong , Beijing University of Aeronautics and Astronautics, Beijing, China
Hu Jianping , Beijing University of Aeronautics and Astronautics, Beijing, China
Li Zimu , Tsinghua University Beijing, China
pp. 94

Advanced Bayesian Optimization Algorithms Applied in Decomposition Problems (Abstract)

Josef Schwarz , Brno University of Technology, CZ
Jir? Ocen?sek , Swiss Federal Institute of Technology (ETH), Switzerland
Jir? Jaros , Brno University of Technology, CZ
pp. 102
Session A3: Distributed and Mobile Embedded Systems

A Design Framework for Internet-Based Embedded Distributed Systems (Abstract)

Miroslav Sveda , Brno University of Technology, Czech Republic
pp. 113

WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms (Abstract)

Kumar Chhokra , Vanderbilt University
Ben Abbott , Southwest Research Institute
Ted Bapty , Vanderbilt University
Simon Winberg , Vanderbilt University
Janos Sztipanovits , Vanderbilt University
Jason Scott , Vanderbilt University
Don van Rheeden , Southwest Research Institute
pp. 121

Efficient SOAP Processing in Embedded Systems (Abstract)

Jan Janecek , Czech Technical University in Prague
pp. 128
Session B3: Formal Techniques 1

DVTG and Test Harnessing using Rosetta Specifications (Abstract)

Perry Alexander , The University of Kansas, Lawrence
Kalpesh Zinjuwadia , The University of Kansas, Lawrence
pp. 136

Applying Model Checking to Workflow Verification (Abstract)

W. R. Rossak , Friedrich-Schiller-Universit?t, Germany
J.-H. Pfeiffer , University of Manchester, UK
A. Speck , Intershop Research, Intershop Tower, Germany
pp. 144

Validation of Reactive Embedded Systems against Temporal Requirements (Abstract)

Stanislaw Deniziak , Cracow University of Technology
Krzysztof Sapiecha , Cracow University of Technology
Joanna Strug , Cracow University of Technology
pp. 152
Keynote Lecture
Session A4: System Architecture

Non-Functional Refinement of Computer Based Systems Architecture (Abstract)

Tim O'Neill , University of Technology, Sydney
John Leaney , University of Technology, Sydney
Mark Denford , University of Technology, Sydney
pp. 168

Architectural Description with Integrated Data Consistency Models (Abstract)

Peter Tabeling , Hasso-Plattner-Institute for Software Systems Engineering, Potsdam, Germany
pp. 178

Theory and Applications of Evolvable Embedded Systems (Abstract)

Luk? Sekanina , Brno University of Technology, Czech Republic
Vladim? Dr?bek , Brno University of Technology, Czech Republic
pp. 186
Session B4: Formal Techniques 2

Formal Abstract Architecture for Use Case Specifications (Abstract)

Frantisek Bures , Brno University of Technology, Czech Republic
Ondrej Rysavy , Brno University of Technology, Czech Republic
pp. 203

Formal Specification of Shared Variables Using CSP (Abstract)

Frantisek Scuglik , Brno University of Technology, Czech Republic
pp. 211
Session A5: CBS Tools

Improving CBS Tool Development with Technological Spaces (Abstract)

Jonathan Sprinkle , University of California, Berkeley
pp. 218

GeneralStore - A CASE-Tool Integration Platform Enabling Model Level Coupling of Heterogeneous Designs for Embedded Electronic Systems (Abstract)

Markus K? , FZI, Karlsruhe, Germany
Clemens Reichmann , ITIV, University of Karlsruhe, Germany
Klaus D. M?ller-Glaser , ITIV, University of Karlsruhe, Germany
Philipp Graf , ITIV, University of Karlsruhe, Germany
pp. 225

A Concept of an Integrated Development Environment for Reactive Systems (Abstract)

V. Kovacevic , University of Novi Sad
M. Popovic , University of Novi Sad
I. Velikic , University of Novi Sad
pp. 233
Session B5: Simulation

Simulation and Verification Tool for Hierarchical Real-Time Systems (Abstract)

J. Sebesty?nov? , Slovak Academy of Sciences, Bratislava, Slovakia
pp. 255
Session A6: Requirements Engineering

A Methodology for Requirements Engineering Process Development (Abstract)

Behrouz Homayoun Far , University of Calgary, Canada
Armin Eberlein , American University of Sharjah, UAE
Li Jiang , University of Calgary, Canada
pp. 263

IRIS: A Semi-Formal Approach for Detecting Requirements Interactions (Abstract)

Mohamed Shehata , University Drive NW, Calgary, AB, Canada
Fapojuwo Abraham , University Drive NW, Calgary, AB, Canada
Armin Eberlein , American University of Sharjah, UAE
pp. 273

Requirements Trade-offs During UML Design (Abstract)

Anneliese Andrews , Washington State University, Pullman
Per Runeson , Lund University, Sweden
Robert France , Colorado State University, Fort Collins
pp. 282
Session B6: Special Design and Teaching Techniques

Network Virtual Laboratory for External Devices Programming (Abstract)

Ryszard Klempous , Wroclaw University of Technology, Poland
Tomasz Walkowiak , Wroclaw University of Technology, Poland
Jerzy Rozenblit , The University of Arizona, Tucson
Jan Nikodem , Wroclaw University of Technology, Poland
pp. 293

Role-Playing, Group Work and Other Ambitious Teaching Methods in a Large Requirements Engineering Course (Abstract)

Norazlin Yusop , University of Technology, Sydney, Australia
Ban Al-Ani , University of Technology, Sydney, Australia
pp. 299

Contracts and Games in Controller Synthesis for Discrete Systems (Abstract)

Cristina Cerschi Seceleanu , ?bo Akademi University and Turku Centre for Computer Science (TUCS), Finland
Ralph-Johan Back , ?bo Akademi University and Turku Centre for Computer Science (TUCS), Finland
pp. 307
Keynote Lecture
Session A7: Model-Based Development 1

Features with Fuzzy Probability (Abstract)

Anna Walaszek-Babiszewska , Silesian Technical University, Poland
Andrzej Pieczynski , The University of Zielona G?ra, Poland
Silva Robak , The University of Zielona G?ra, Poland
pp. 323

Hand-written vs. MOF-based Metadata Repositories: The SOFA Experience (Abstract)

Petr Hnetynka , Charles University, Czech Republic
Michal P?se , Czech Technical University, Czech Republic
pp. 329
Session B7: Applications

Formal Approach to Synthesis of a Test Controller (Abstract)

Pavel Tupec , Brno University of Technology, Czech Republic
Richard Ruzicka , Brno University of Technology, Czech Republic
pp. 348

An Efficient Implementation of the 1D DCT using FPGA Technology (Abstract)

Alaa A. EL-Fattah , Electronics Research Institute
Hassan EL-Banna , Electronics Research Institute
Waleed Fakhr , Arab Academy for Science & Technology
pp. 356

Particle Rendering Engine in DSP and FPGA (Abstract)

Pavel Zemc? , Brno University of Technology, Czech Republic
Pavel Tupec , Brno University of Technology, Czech Republic
Otto Fuc? , Brno University of Technology, Czech Republic
Ludek Crha , Brno University of Technology, Czech Republic
Adam Herout , Brno University of Technology, Czech Republic
pp. 361
Session A8: Model-Based Development 2

Functional and Object-Oriented Views in Embedded Software Modeling (Abstract)

Johan Lilius , TUCS and ?bo Akademi University, Turku, Finland
Jo?o M. Fernandes , Universidade do Minho, Braga, Portugal
pp. 378

Tool Support for DFD-UML Model-based Transformations (Abstract)

Dragos Truscan , Turku Centre for Computer Science and ?bo Akademi, Turku, Finland
Johan Lilius , Turku Centre for Computer Science and ?bo Akademi, Turku, Finland
Jo?o M. Fernandes , Universidade do Minho, Braga, Portugal
pp. 388

Using Feature Modeling for Program Comprehension and Software Architecture Recovery (Abstract)

Matthias Riebisch , Technical University Ilmenau, Germany
Ilian Pashov , Technical University Ilmenau, Germany
pp. 406
Session B8: Industrial Track 1

Evolution of Software for Embedded Systems in Processor Expert (Abstract)

Dusan Kol? , UNIS, Czech Republic
Stanislav Cern? , UNIS, Czech Republic
pp. 419

The Networked Photo-Enforcement and Traffic Monitoring System Unicam (Abstract)

Pavel Zemc? , Brno University of Technology, Czech Republic
Pavel Tupec , Brno University of Technology, Czech Republic
Adam Herout , Brno University of Technology, Czech Republic
Otto Fuc? , Brno University of Technology, Czech Republic
Ludek Crha , Brno University of Technology, Czech Republic
pp. 423

ADC Position-Sense Interface (Abstract)

Radimir Vrba , Brno University of Technology, Czech Republic
Jiri Haze , Brno University of Technology, Czech Republic
pp. 429
Session A9: Workshop on Engineering of Autonomic Systems (EASe 2004) 1

Exploring Autonomic Options in an Unified Fault Management Architecture through Reflex Reactions via Pulse Monitoring (Abstract)

Alan Meban , BT Riverside Tower, Northern Ireland
Roy Sterritt , University of Ulster, Northern Ireland
Darren Gunning , BT Riverside Tower, Northern Ireland
Phillip Henning , BT Riverside Tower, Northern Ireland
pp. 449

A Model-Based Self-Adaptive Approach to Image Processing (Abstract)

Ted Bapty , Institute for Software Integrated Systems, Vanderbilt, Nashville, TN
Jim Nichols , Institute for Software Integrated Systems, Vanderbilt, Nashville, TN
pp. 456
Session B9: Industrial Track 2

Throughput Computing (PDF)

Petr Matena , Sun Microsystems Czech s.r.o., Czech Republic
pp. 463

COTS (Commercial Off The Shelf) Distributed System for Critical Application (Abstract)

V. Oplustil , UNIS, spol. s r.o., Czech Republic
S. Szab? , Brno University of Technology, Czech Republic
pp. 464

Design and Optimization of Distributed Control System using UML Model (Abstract)

Jir? Kotzian , VSB - Technical University of Ostrava
Vil? Srovnal , VSB - Technical University of Ostrava
pp. 469
Session A10: Workshop EASe 2

Model Based Self Adaptive Behavior Language for Large Scale Real time Embedded Systems (Abstract)

Shweta Shetty , Vanderbilt University, Nashville, TN
Theodore Bapty , Vanderbilt University, Nashville, TN
Sandeep Neema , Vanderbilt University, Nashville, TN
pp. 478
Session A11: Workshop EASe 3

Towards a Model-Driven Architecture for Autonomic Systems (PDF)

Michael Hinchey , Virginia Tech, Falls Church, VA
Denis Gracanin , Virginia Tech, Falls Church, VA
Shawn A. Bohner , Virginia Tech, Falls Church, VA
pp. 500

Personal Autonomic Computing Self-Healing Tool (Abstract)

Roy Sterritt , University of Ulster, Northern Ireland
Saulai Chung , University of Ulster, Northern Ireland
pp. 513
Session A12: Workshop on Security, Interoperability, and Applications of Mobile Agent Systems (SIAMAS 2004) 1

Applications for Mobile Agents in Peer-to-Peer-Networks (Abstract)

Jorge Marx G?mez , TU Clausthal, Germany
Daniel L? , TU Clausthal, Germany
pp. 523

Migration of Mobile Agents in Ad-hoc, Wireless Networks (Abstract)

N Migas , Napier University, Scotland, UK
K. McArtney , Napier University, Scotland, UK
W. J. Buchanan , Napier University, Scotland, UK
pp. 530
Session A13: Workshop SIAMAS 2

An Implementation of Self-Protected Mobile Agents (Abstract)

J. Ametller , Universitat Aut?noma de Barcelona, Spain
J. A. Ortega-Ruiz , Universitat Aut?noma de Barcelona, Spain
S. Robles , Universitat Aut?noma de Barcelona, Spain
pp. 544

A Service-oriented Software Architecture for Mobile Agent Toolkits (Abstract)

Wilhelm Rossak , Friedrich Schiller University Jena, Germany
Sven Geisenhainer , Friedrich Schiller University Jena, Germany
Peter Braun , Friedrich Schiller University Jena, Germany
Ingo M? , Friedrich Schiller University Jena, Germany
Volkmar Schau , Friedrich Schiller University Jena, Germany
pp. 550

Author Index (PDF)

pp. 557
97 ms
(Ver 3.1 (10032016))