The Community for Technology Leaders
RSS Icon
Subscribe
14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) (2007)
Tucson, AZ
March 26, 2007 to March 29, 2007
ISBN: 0-7695-2772-8
TABLE OF CONTENTS
Foreword (PDF)
pp.
Introduction
Foreword (PDF)
pp. xi
pp. xiii
Reviewers (PDF)
pp. xiv
Keynote Address
Janos Sztipanovits , Vanderbilt University, USA
pp. 3-6
Session A1: Architectures
Andreas W. Liehr , Universitat der Bundeswehr Munchen, Germany
Klaus Buchenrieder , Universitat der Bundeswehr Munchen, Germany
pp. 7-14
Cameron Maxwell , University of Technology, Sydney, Australia
Tim O'Neill , University of Technology, Sydney, Australia
John Leaney , University of Technology, Sydney, Australia
pp. 15-24
Jukka Honkola , Nokia Research Center
Sari Leppanen , Nokia Research Center
Pasi Rinne-Rahkola , Nokia Research Center
Martti Soderlund , TietoEnator
Markku Turunen , Nokia Research Center
Kimmo Varpaaniemi , Space Systems Finland
pp. 25-36
Session A2: Architectures
Artem Parakhine , University of Technology, Sydney, Australia
Tim O'Neill , University of Technology, Sydney, Australia
John Leaney , University of Technology, Sydney, Australia
pp. 37-44
David Colquitt , University of Technology, Sydney, Australia
John Leaney , University of Technology, Sydney, Australia
pp. 45-54
Jianfeng Peng , The University of Arizona, USA
Chuan Feng , The University of Arizona, USA
Haiyan Qiao , The University of Arizona, USA
Jerzy Rozenblit , The University of Arizona, USA
pp. 55-62
Session A3: Architectures
Ernest Cachia , University of Malta, Msida, Malta
Mark Vella , University of Malta, Msida, Malta
pp. 63-70
Sergio Lopes , University of Minho, Portugal
Adriano Tavares , University of Minho, Portugal
Joao Monteiro , University of Minho, Portugal
Carlos Silva , University of Minho, Portugal
pp. 71-82
Session B1: Component-Based System Design
Herve Chang , Universite de Nice Sophia Antipolis, France
Philippe Collet , Universite de Nice Sophia Antipolis, France
pp. 83-92
Krishnakumar Balasubramanian , Vanderbilt University, USA
Douglas C. Schmidt , Vanderbilt University, USA
Zoltan Molnar , Vanderbilt University, USA
Akos Ledeczi , Vanderbilt University, USA
pp. 93-102
Abdallah Mohamed , University of Calgary, Canada
Guenther Ruhe , University of Calgary, Canada
Armin Eberlein , American University of Sharjah, UAE
pp. 103-114
Session B2: Distributed Systems Design
Vu Van Tan , University of Ulsan, Korea
Dae-Seung Yoo , University of Ulsan, Korea
Myeong-Jae Yi , University of Ulsan, Korea
pp. 115-122
Nanjun Li , University of Potsdam, Germany
pp. 123-132
M. Muztaba Fuad , Montana State University, USA
Michael J. Oudshoorn , Montana State University, USA
pp. 133-144
Session B3: Distributed Systems Design
Zenon Chaczko , University of Technology Sydney, Australia
Ryszard Klempous , Wroclaw University of Technology, Poland
Jan Nikodem , Wroclaw University of Technology, Poland
Michal Nikodem , Wroclaw University of Technology, Poland
pp. 145-152
Ryszard Klempous , Wroclaw University of Technology, Poland
Jan Nikodem , Wroclaw University of Technology, Poland
Lukasz Radosz , Wroclaw University of Technology, Poland
Norbert Raus , Wroclaw University of Technology, Poland
pp. 153-160
Chuan Feng , The University of Arizona, USA
Lizhi Yang , The University of Arizona, USA
Jerzy W. Rozenblit , The University of Arizona, USA
Peter Beudert , The University of Arizona, USA
pp. 161-170
Session C1: Embedded Real-Time Software Systems
Maryline Chetto , University of Nantes, France
Audrey Marchand , University of Nantes, France
pp. 171-177
Vaclav Dvorak , Brno University of Technology, Czech Republic
pp. 178-185
Miroslav Sveda , Brno University of Technology, Czech Republic
pp. 186-194
Session C2: Embedded Real-Time Software Systems
Lucas Cordeiro , Universidade Federal do Amazonas (UFAM), Brazil; BenQ Mobile Phones, Brazil
Raimundo Barreto , Universidade Federal do Amazonas (UFAM), Brazil
Rafael Barcelos , BenQ Mobile Phones, Brazil
Meuse Oliveira , Universidade Federal do Pernambuco, Brazil
Vicente Lucena , Universidade Federal do Amazonas (UFAM), Brazil
Paulo Maciel , Universidade Federal do Pernambuco, Brazil
pp. 195-202
Jin Hyun Kim , Korea University, Korea
Jin-Young Choi , Korea University, Korea
pp. 203-212
Peter Zoeteweij , Delft University of Technology, The Netherlands
Rui Abreu , Delft University of Technology, The Netherlands
Rob Golsteijn , NXP Semiconductors, The Netherlands
Arjan J.C. van Gemund , Delft University of Technology, The Netherlands
pp. 213-220
Session C3: Embedded Real-Time Software Systems
Matthew Eby , Vanderbilt University, USA
Jan Werner , Vanderbilt University, USA
Gabor Karsai , Vanderbilt University, USA
Akos Ledeczi , Vanderbilt University, USA
pp. 221-228
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
Rodrigo Perozzo Noll , Pontifical Catholic University of Rio Grande do Sul, Brazil
Marcelo Blois Ribeiro , Pontifical Catholic University of Rio Grande do Sul, Brazil
pp. 249-255
Michael Meisinger , Technische Universitat Munchen, Germany
Ingolf H. Kruger , University of California, San Diego, USA
pp. 256-268
Session A5: Requirements Elicitation and Analysis
Li Jiang , The University of Adelaide, Australia
Armin Eberlein , American University of Sharjah, UAE
pp. 269-278
Tony Spiteri Staines , University of Malta, Malta
pp. 279-286
Ramya Ravichandar , Virginia Polytechnic Institute and State University, USA
James D. Arthur , Virginia Polytechnic Institute and State University, USA
Robert P. Broadwater , Virginia Polytechnic Institute and State University, USA
pp. 287-298
Session A6: Model-Based System Development
Michael Thonhauser , Graz University of Technology, Austria; Salomon Automation GmbH, Austria
Gernot Schmoelzer , Graz University of Technology, Austria; Salomon Automation GmbH, Austria
Christian Kreiner , Graz University of Technology, Austria; Salomon Automation GmbH, Austria
pp. 299-306
James H. Hill , Vanderbilt University, USA
Sumant Tambe , Vanderbilt University, USA
Aniruddha Gokhale , Vanderbilt University, USA
pp. 307-316
Joshua R. Dick , University of New Brunswick, Canada
Kenneth B. Kent , University of New Brunswick, Canada
Joseph C. Libby , University of New Brunswick, Canada
pp. 317-326
Session B4: Medical Applications
Klaus Buchenrieder , Universitat der Bundeswehr Munchen, Germany
pp. 327-333
Byron Purves , Self Help Solutions, Inc.
David Purves , Self Help Solutions, Inc.
pp. 334-338
Chuan Feng , The University of Arizona, USA
Jerzy W. Rozenblit , The University of Arizona, USA
Allan J. Hamilton , The University of Arizona, USA
pp. 339-348
Session B5: Modeling and Analysis of Complex Systems
Alexander Gruler , Technische Universitat Munchen, Germany
Alexander Harhurin , Technische Universitat Munchen, Germany
Judith Hartmann , Technische Universitat Munchen, Germany
pp. 349-358
Thomas Triebsees , University of the German Federal Armed Forces Munich, Germany
Uwe M. Borghoff , University of the German Federal Armed Forces Munich, Germany
pp. 359-370
Session B6: Reengineering and Reuse
Jing Dong , University of Texas at Dallas, USA
Dushyant S. Lad , University of Texas at Dallas, USA
Yajing Zhao , University of Texas at Dallas, USA
pp. 371-380
Matthias Riebisch , Technical University Ilmenau, Germany
Sven Wohlfarth , Technical University Ilmenau, Germany
pp. 381-392
Session C4: Industrial Applications
Chia-Chu Chiang , University of Arkansas at Little Rock, USA
pp. 393-396
Herwig Mayr , Upper Austria University of Applied Sciences, Austria
pp. 397-404
Session C5: Reliability, Safety, Dependability, Security
Galen Rasche , Southwest Research Institute (SwRI)
Erin Allwein , Southwest Research Institute (SwRI)
Michael Moore , Southwest Research Institute (SwRI)
Ben Abbott , Southwest Research Institute (SwRI)
pp. 405-412
Jan Nikodem , Wroclaw University of Technology, Poland
Maciej Nikodem , Wroclaw University of Technology, Poland
pp. 413-421
Ernest Cachia , University of Malta, Malta
Mark Micallef , University of Malta, Malta
pp. 422-432
Session C6: Reliability, Safety, Dependability, Security
Chuan Feng , The University of Arizona, USA
Jianfeng Peng , The University of Arizona, USA
Haiyan Qiao , The University of Arizona, USA
Jerzy W. Rozenblit , The University of Arizona, USA
pp. 433-440
Haiyan Qiao , University of Arizona, USA
Jianfeng Peng , University of Arizona, USA
Chuan Feng , University of Arizona, USA
Jerzy W. Rozenblit , University of Arizona, USA
pp. 441-447
Patricia O'Hagan , Core Systems, Northern Ireland
Edward Hanna , Core Systems, Northern Ireland
Roy Sterritt , University of Ulster, Northern Ireland
Paul McKay , Core Systems, Northern Ireland
pp. 448-458
Session A7: Doctoral Symposium
Marko Boskovic , Cal von Ossietzky University, Oldenburg, Germany
pp. 467-474
Philipp Liegl , Research Studios Austria
pp. 475-484
Session B7: System Assessment, Testing, and Metrics
Miroslav Popovic , University of Novi Sad, Serbia
Jelena Kovacevic , University of Novi Sad, Serbia
pp. 485-494
Stephan Schulz , European Telecommunications Standards Institute (ETSI)
Jukka Honkola , Nokia Research Center
Antti Huima , Conformiq Software Ltd
pp. 495-502
Gregorio Diaz , University of Castilla-La Mancha, Spain
Elena Navarro , University of Castilla-La Mancha, Spain
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
pp. 503-514
Session B8: System Assessment, Testing, and Metrics
Yosr Jarraya , Concordia University, Canada
Andrei Soeanu , Concordia University, Canada
Mourad Debbabi , Concordia University, Canada
Fawzi Hassaine , Future Forces Synthetic Environments Section, Canada
pp. 515-522
Claudio Talarico , Eastern Washington University, USA
Min-sung Koh , Eastern Washington University, USA
Esteban Rodriguez-Marek , Eastern Washington University, USA
pp. 523-530
Session C7: Verification and Validation
H. Barros , Federal University of Minas Gerais, Brasil
S. Campos , Federal University of Minas Gerais, Brasil
M. Song , Catholic University of Minas Gerais, Brasil
L. Zarate , Catholic University of Minas Gerais, Brasil
pp. 531-538
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
Yu Lei , University of Texas at Arlington, USA
Raghu Kacker , National Inst. of Standards and Tech., USA
D. Richard Kuhn , National Inst. of Standards and Tech., USA
Vadim Okun , National Inst. of Standards and Tech., USA
James Lawrence , George Mason University, USA
pp. 549-556
Jinzhao Wu , University of Electronic Science and Technology, China; Chinese Academy of Sciences, China
Wei Yan , Chinese Academy of Sciences, China
pp. 557-568
ECBS Model-Based System Development Workshop
A. Schauerhuber , Vienna University of Technology, Austria
M. Wimmer , 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
Joel Huselius , Malardalen University, Sweden
Johan Kraft , Malardalen University, Sweden
Hans Hansson , Malardalen University, Sweden
Sasikumar Punnekkat , Malardalen University, Sweden
pp. 577-585
Bas Graaf , Delft University of Technology, The Netherlands
Arie van Deursen , Delft University of Technology and CWI, The Netherlands
pp. 586-595
Jing Liu , Iowa State University, USA
Josh Dehlinger , Iowa State University, USA
Hongyu Sun , Iowa State University, USA
Robyn Lutz , Iowa State University, USA; Jet Propulsion Laboratory/Caltech
pp. 596-608
Poster
Hanees Haniffa , The University of Arizona, USA
Jerzy Rozenblit , The University of Arizona, USA
Jianfeng Peng , The University of Arizona, USA
Allan Hamilton , The University of Arizona, USA
Mohamad Salkini , The University of Arizona, USA
pp. 609-610
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
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool