CSDL - Proceedings E

Committees (PDF)

pp. xiii

Invited Lecture

Systems Modeling & Requirements Specification Using ECSAM: A Method for Embedded Computer-Based Systems Analysis (Abstract)

Jonah Z. Lavi, CBSE Associates, Israel

Joseph Kudish, Systems & Software Engineering

pp. 2

PDF

Session A1: Modeling

A Comparative Analysis of Object-Oriented and Other Methods For Modeling Computer Based Systems (Abstract)

Stephanie M. White, Long Island University

pp. 13

PDF

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

Liana Suantak, The University of Arizona, Tucson

Faisal Momen, The University of Arizona, Tucson

Jerzy Rozenblit, The University of Arizona, Tucson

David Hillis, U.S. Army Research Laboratory, Adelphi, Maryland/Ft. Huachuca, Arizona

Michael Barnes, U.S. Army Research Laboratory, Adelphi, Maryland/Ft. Huachuca, Arizona

Jerry Schlabach, Battle Command Battle Lab, Ft. Huachuca, Arizona

pp. 21

PDF

Domain Independent Generative Modeling (Abstract)

Branislav Kusy, Vanderbilt University, Nashville, TN, USA

?kos L?deczi, Vanderbilt University, Nashville, TN, USA

Mikl? Mar?, Vanderbilt University, Nashville, TN, USA

P?ter V?lgyesi, Budapest University of Technology and Economics, Budapest, Hungary

pp. 29

PDF

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

PDF

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

Mourad Oussalah, Universit? de Nantes, France

Adel Smeda, Universit? de Nantes, France

Tahar Khammaci, Universit? de Nantes, France

pp. 44

PDF

Closing the Gap Between Software Modelling and Code (Abstract)

F. Wagner, Free-lance consultant

T. Wagner, Free-lance consultant

P. Wolstenholme, CYDON Technology

pp. 52

PDF

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

PDF

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

John Leaney, University of Technology, Sydney

Mark Denford, University of Technology, Sydney

Tim O'Neill, University of Technology, Sydney

pp. 69

PDF

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

PDF

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

PDF

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

Cai Qingsong, Beijing University of Aeronautics and Astronautics, Beijing, China

Li Zimu, Tsinghua University Beijing, China

Hu Jianping, Beijing University of Aeronautics and Astronautics, Beijing, China

pp. 94

PDF

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

PDF

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

PDF

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

Kumar Chhokra, Vanderbilt University

Ted Bapty, Vanderbilt University

Jason Scott, Vanderbilt University

Simon Winberg, Vanderbilt University

Janos Sztipanovits, Vanderbilt University

Don van Rheeden, Southwest Research Institute

Ben Abbott, Southwest Research Institute

pp. 121

PDF

Efficient SOAP Processing in Embedded Systems (Abstract)

Jan Janecek, Czech Technical University in Prague

pp. 128

PDF

Session B3: Formal Techniques 1

DVTG and Test Harnessing using Rosetta Specifications (Abstract)

Kalpesh Zinjuwadia, The University of Kansas, Lawrence

Perry Alexander, The University of Kansas, Lawrence

pp. 136

PDF

Applying Model Checking to Workflow Verification (Abstract)

J.-H. Pfeiffer, University of Manchester, UK

W. R. Rossak, Friedrich-Schiller-Universit?t, Germany

A. Speck, Intershop Research, Intershop Tower, Germany

pp. 144

PDF

Validation of Reactive Embedded Systems against Temporal Requirements (Abstract)

Joanna Strug, Cracow University of Technology

Stanislaw Deniziak, Cracow University of Technology

Krzysztof Sapiecha, Cracow University of Technology

pp. 152

PDF

Keynote Lecture

The Survey Of Some Aspects Of European Higher Education At The Beginning Of The Third Millennium (Abstract)

Jan M. Honzik, Brno University of Technology, Czech Republic

pp. 161

PDF

Session A4: System Architecture

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

Mark Denford, University of Technology, Sydney

John Leaney, University of Technology, Sydney

Tim O'Neill, University of Technology, Sydney

pp. 168

PDF

Architectural Description with Integrated Data Consistency Models (Abstract)

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

pp. 178

PDF

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

PDF

Session B4: Formal Techniques 2

An Approach for the Verification of UML Models Using B (Abstract)

Ninh-Thuan Truong, LORIA, France

Jeanine Souquieres, LORIA, France

pp. 195

PDF

Formal Abstract Architecture for Use Case Specifications (Abstract)

Ondrej Rysavy, Brno University of Technology, Czech Republic

Frantisek Bures, Brno University of Technology, Czech Republic

pp. 203

PDF

Formal Specification of Shared Variables Using CSP (Abstract)

Frantisek Scuglik, Brno University of Technology, Czech Republic

pp. 211

PDF

Session A5: CBS Tools

Improving CBS Tool Development with Technological Spaces (Abstract)

Jonathan Sprinkle, University of California, Berkeley

pp. 218

PDF

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

Clemens Reichmann, ITIV, University of Karlsruhe, Germany

Markus K?, FZI, Karlsruhe, Germany

Philipp Graf, ITIV, University of Karlsruhe, Germany

Klaus D. M?ller-Glaser, ITIV, University of Karlsruhe, Germany

pp. 225

PDF

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

I. Velikic, University of Novi Sad

M. Popovic, University of Novi Sad

V. Kovacevic, University of Novi Sad

pp. 233

PDF

Session B5: Simulation

Efficient and Effective Simulation of Memory Maps for System-on-Chip (Abstract)

Gabriele Luculli

pp. 242

PDF

Simulation Approach to Embedded System Programming and Testing (Abstract)

pp. 248

PDF

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

J. Sebesty?nov?, Slovak Academy of Sciences, Bratislava, Slovakia

pp. 255

PDF

Session A6: Requirements Engineering

A Methodology for Requirements Engineering Process Development (Abstract)

Li Jiang, University of Calgary, Canada

Armin Eberlein, American University of Sharjah, UAE

Behrouz Homayoun Far, University of Calgary, Canada

pp. 263

PDF

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

Mohamed Shehata, University Drive NW, Calgary, AB, Canada

Armin Eberlein, American University of Sharjah, UAE

Fapojuwo Abraham, University Drive NW, Calgary, AB, Canada

pp. 273

PDF

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

PDF

Session B6: Special Design and Teaching Techniques

Network Virtual Laboratory for External Devices Programming (Abstract)

Ryszard Klempous, Wroclaw University of Technology, Poland

Jan Nikodem, Wroclaw University of Technology, Poland

Tomasz Walkowiak, Wroclaw University of Technology, Poland

Jerzy Rozenblit, The University of Arizona, Tucson

pp. 293

PDF

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

Ban Al-Ani, University of Technology, Sydney, Australia

Norazlin Yusop, University of Technology, Sydney, Australia

pp. 299

PDF

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

Ralph-Johan Back, ?bo Akademi University and Turku Centre for Computer Science (TUCS), Finland

Cristina Cerschi Seceleanu, ?bo Akademi University and Turku Centre for Computer Science (TUCS), Finland

pp. 307

PDF

Induction in Time-Varying Domains: Motivation, Origins, and Encouragements (Abstract)

Miroslav Kubat, University of Miami, FL

pp. 316

PDF

Session A7: Model-Based Development 1

Features with Fuzzy Probability (Abstract)

Andrzej Pieczynski, The University of Zielona G?ra, Poland

Silva Robak, The University of Zielona G?ra, Poland

Anna Walaszek-Babiszewska, Silesian Technical University, Poland

pp. 323

PDF

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

PDF

Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach (Abstract)

Vitus S. W. Lam, University of Bath

Julian Padget, University of Bath

pp. 337

PDF

Session B7: Applications

Formal Approach to Synthesis of a Test Controller (Abstract)

Richard Ruzicka, Brno University of Technology, Czech Republic

Pavel Tupec, Brno University of Technology, Czech Republic

pp. 348

PDF

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

Hassan EL-Banna, Electronics Research Institute

Alaa A. EL-Fattah, Electronics Research Institute

Waleed Fakhr, Arab Academy for Science & Technology

pp. 356

PDF

Particle Rendering Engine in DSP and FPGA (Abstract)

Pavel Zemc?, Brno University of Technology, Czech Republic

Adam Herout, Brno University of Technology, Czech Republic

Ludek Crha, Brno University of Technology, Czech Republic

Otto Fuc?, Brno University of Technology, Czech Republic

Pavel Tupec, Brno University of Technology, Czech Republic

pp. 361

PDF

Session A8: Model-Based Development 2

Supporting Evolutionary Development by Feature Models and Traceability Links (Abstract)

Matthias Riebisch, Technical University Ilmenau, Germany

pp. 370

PDF

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

Jo?o M. Fernandes, Universidade do Minho, Braga, Portugal

Johan Lilius, TUCS and ?bo Akademi University, Turku, Finland

pp. 378

PDF

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

Dragos Truscan, Turku Centre for Computer Science and ?bo Akademi, Turku, Finland

Jo?o M. Fernandes, Universidade do Minho, Braga, Portugal

Johan Lilius, Turku Centre for Computer Science and ?bo Akademi, Turku, Finland

pp. 388

PDF

A Foundation for Tool-Supported Critical Systems Development with UML (Abstract)

Jan J?rjens, TU M?nchen, Germany

Pasha Shabalin, TU M?nchen, Germany

pp. 398

PDF

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

Ilian Pashov, Technical University Ilmenau, Germany

Matthias Riebisch, Technical University Ilmenau, Germany

pp. 406

PDF

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

PDF

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

Otto Fuc?, Brno University of Technology, Czech Republic

Pavel Zemc?, Brno University of Technology, Czech Republic

Pavel Tupec, Brno University of Technology, Czech Republic

Ludek Crha, Brno University of Technology, Czech Republic

Adam Herout, Brno University of Technology, Czech Republic

pp. 423

PDF

ADC Position-Sense Interface (Abstract)

Jiri Haze, Brno University of Technology, Czech Republic

Radimir Vrba, Brno University of Technology, Czech Republic

pp. 429

PDF

A Modular Approach to SystemC-Based Codesign Promoting Reuse of High-Level Legacy C-Models (Abstract)

Ole Blaurock, University of Hamburg, Germany

pp. 435

PDF

Session A9: Workshop on Engineering of Autonomic Systems (EASe 2004) 1

Verification of Emergent Behaviors in Swarm-based Systems (Abstract)

Christopher Rouff, SAIC

Amy Vanderbilt, SAIC

Mike Hinchey, NASA

Walt Truszkowski, NASA

James Rash, NASA

pp. 443

PDF

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

Roy Sterritt, University of Ulster, Northern Ireland

Darren Gunning, BT Riverside Tower, Northern Ireland

Alan Meban, BT Riverside Tower, Northern Ireland

Phillip Henning, BT Riverside Tower, Northern Ireland

pp. 449

PDF

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

Jim Nichols, Institute for Software Integrated Systems, Vanderbilt, Nashville, TN

Ted Bapty, Institute for Software Integrated Systems, Vanderbilt, Nashville, TN

pp. 456

PDF

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

L. G?sp?

D. Svacina

S. Szab?, Brno University of Technology, Czech Republic

pp. 464

PDF

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

PDF

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

Sandeep Neema, Vanderbilt University, Nashville, TN

Theodore Bapty, Vanderbilt University, Nashville, TN

pp. 478

PDF

Asteroid Exploration with Autonomic Systems (Abstract)

Walt Truszkowski, NASA GSFC

James Rash, NASA GSFC

Christopher Rouff, SAIC

Mike Hinchey, NASA GSFC

pp. 484

PDF

Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT (Abstract)

Walt Truszkowski, NASA GSFC

James Rash, NASA GSFC

Christopher Rouff, SAIC

Mike Hinchey, NASA GSFC

pp. 490

PDF

Session A11: Workshop EASe 3

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

Denis Gracanin, Virginia Tech, Falls Church, VA

Shawn A. Bohner, Virginia Tech, Falls Church, VA

Michael Hinchey, Virginia Tech, Falls Church, VA

pp. 500

Self-Adaptive and Self-Healing Message Passing Strategies for Process-Oriented Integration Infrastructures (Abstract)

Yves Caseau, Bouygues Telecom

pp. 506

PDF

Personal Autonomic Computing Self-Healing Tool (Abstract)

Roy Sterritt, University of Ulster, Northern Ireland

Saulai Chung, University of Ulster, Northern Ireland

pp. 513

PDF

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)

Daniel L?, TU Clausthal, Germany

Jorge Marx G?mez, TU Clausthal, Germany

pp. 523

PDF

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

N Migas, Napier University, Scotland, UK

W. J. Buchanan, Napier University, Scotland, UK

K. McArtney, Napier University, Scotland, UK

pp. 530

PDF

A Formal Approach for Interoperability between Mobile Agent Systems and Component Based Architectures (Abstract)

Ulrich Pinsdorf, Fraunhofer Institute for Computer Graphics, Germany

pp. 536

PDF

Session A13: Workshop SIAMAS 2

An Implementation of Self-Protected Mobile Agents (Abstract)

J. Ametller, Universitat Aut?noma de Barcelona, Spain

S. Robles, Universitat Aut?noma de Barcelona, Spain

J. A. Ortega-Ruiz, Universitat Aut?noma de Barcelona, Spain

pp. 544

PDF

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

Peter Braun, Friedrich Schiller University Jena, Germany

Ingo M?, Friedrich Schiller University Jena, Germany

Sven Geisenhainer, Friedrich Schiller University Jena, Germany

Volkmar Schau, Friedrich Schiller University Jena, Germany

Wilhelm Rossak, Friedrich Schiller University Jena, Germany

pp. 550

PDF

Author Index (PDF)

pp. 557