Engineering of Computer-Based Systems

Transcription

1 Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 8-11 April 2002 Lund, Sweden Sponsored by IEEE Computer Society Technical Committee on Engineering of Computer-Based Systems Los Alamitos, California Washington Brussels Tokyo iii

2 Copyright 2002 by The Institute of Electrical and Electronics Engineers, Inc. All rights reserved Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carry a code at the bottom of the first page, provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA Other copying, reprint, or republication requests should be addressed to: IEEE Copyrights Manager, IEEE Service Center, 445 Hoes Lane, P.O. Box 1331, Piscataway, NJ The papers in this book comprise the proceedings of the meeting mentioned on the cover and title page. They reflect the authors opinions and, in the interests of timely dissemination, are published as presented and without change. Their inclusion in this publication does not necessarily constitute endorsement by the editors, the IEEE Computer Society, or the Institute of Electrical and Electronics Engineers, Inc. IEEE Computer Society Order Number PR01549 ISBN ISBN (case) ISBN (microfiche) Library of Congress Control Number Additional copies may be ordered from: IEEE Computer Society IEEE Service Center IEEE Computer Society Customer Service Center 445 Hoes Lane Asia/Pacific Office Los Vaqueros Circle P.O. Box 1331 Watanabe Bldg., P.O. Box 3014 Piscataway, NJ Minami-Aoyama Los Alamitos, CA Tel: Minato-ku, Tokyo Tel: Fax: JAPAN Fax: Tel: customer-service@ieee.org Fax: csbooks@computer.org tokyo.ofc@computer.org Editorial production by Danielle C. Martin Cover art production by Joe Daigle/Studio Productions Printed in the United States of America by The Printing House iv

3 Table of Contents Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2002) Preface...ix Committees... x Session: Requirements Engineering On Some Key Requirements of Mobile Application Software... 3 V. De Florio and G. Deconinck Towards Recyclable System Requirements...9 I. Alexander and F. Kiedaisch Requirements Engineering for Time-to-Market Projects C. McPhee and A. Eberlein Session: Processes and Tools VSPEC and Its Integrated Tool Suite...27 M. Rangarajan, K. Jambhekar, A. Rajkhowa, and P. Alexander Who Does What in a Multiagent System for Emergent Process Management...35 J. Debenham Understanding Software Processes through System Dynamics Simulation: A Case Study C. Andersson, L. Karlsson, J. Nedstam, M. Höst, and B. Nilsson Session: System Properties, Methods REL: A Fault Tolerance Linguistic Structure for Distributed Applications V. De Florio and G. Deconinck A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering...59 M. Popovic, V. Kovacevic, and I. Velikic FRAME for Achieving Performance Portability within Heterogeneous Environments...67 R.-S. Ko and M. Mutka v

4 Session: System Properties, Method Application Improving Multiprocessor Performance of a Large Telecommunication System by Replacing Interpretation with Compilation...77 V. Mejstad, K.-J. Tångby, and L. Lundberg Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems...86 V. De Florio, S. Donatelli, and G. Dondossola An Intelligent Agent Security Intrusion System...94 J. Pikoulas, W. Buchanan, M. Mannion, and K. Triantafyllopoulos Session: Modelling and Analysis Managing Complex Temporal Requirements in Real-Time Control Systems K. Sandström and C. Norström On the Relation between Design Contracts and Errors: A Software Development Strategy E. Nordby, M. Blom, and A. Brunström An Experimental Evaluation of Programming by Contract M. Blom, E. Nordby, and A. Brunström Session: System Architecture What Is Included in Software Architecture? A Case Study in Three Software Organizations K. Smolander, K. Hoikka, J. Isokallio, M. Kataiokko, and T. Mäkelä Architecture-Based Visualisation of Computer Based Systems M. Denford, T. O'Neill, and J. Leaney Top-Down Composition of Software Architectures H. de Bruin and H. van Vliet Session: Model-Based System Development Refinement of Model Specifications in Embedded Systems Design S. Schulz and J. Rozenblit Improving Quality Attributes of a Complex System through Architectural Analysis - A Case Study R. Land vi

5 Session: Component-Based Design and Reuse A Systematic Method of Reusing Objects Extracted from Legacy Systems J. Guo Using Category Theory to Model Software Component Dependencies J. Guo Session: Embedded Systems, Development and Training An Integrated Framework for Sensor-Based Embedded Systems M. Sveda and R. Vrba Optimization of a Retargetable Functional Simulator for Embedded Processors F. Papariello and G. Luculli Bridging the Educational Gap in Embedded Systems Curricula: Developing an E-commerce Audio Streaming System M. Leeman, F. Barat, V. De Florio, and G. Deconinck Workshop Reports Workshop on Component-Based Software Engineering: Composing Systems from Components I. Crnkovic, S. Larsson, and J. Stafford Formal Specifications of Computer-Based Systems M. Sveda, C. Rattray, and J. Rozenblit Conference Session and Workshop on Performance, Interoperability, and Applications of Mobile Agent Systems V. Roth, P. Braun, and W. Rossak Workshop Session: Mobile Agents An Extensible Software Architecture for Mobile Components D. Johansen, K. Lauvset, and K. Marzullo Mobile Agent Interoperability Patterns and Practice U. Pinsdorf and V. Roth Advanced Petri Nets for Modelling Mobile Agent Enabled Interorganizational Workflows S. Ling and S. Loke Factoring Mobile Agents D. Johansen, K. Lauvset, and K. Marzullo vii

6 A Comparative Evaluation of Mobile Agent Performance for Network Management L. Tang and B. Pagurek InterMarket Towards Intelligent Mobile Agent e-marketplaces R. Kowalczyk, B. Franczyk, A. Speck, P. Braun, J. Eismann, and W. Rossak Author Index viii