• E
  • ECBS
  • 2007
  • 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)
Advanced Search 
14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)
Tucson, Arizona
March 26-March 29
ISBN: 0-7695-2772-8
Table of Contents
Introduction
Keynote Address
Session A1: Architectures
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
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
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
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
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
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
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
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
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
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
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
Session B7: System Assessment, Testing, and Metrics
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
Usage of this product signifies your acceptance of the Terms of Use.