The Community for Technology Leaders
Engineering of Complex Computer Systems, IEEE International Conference on (1996)
Montreal, CANADA
Oct. 21, 1996 to Oct. 25, 1996
ISBN: 0-8186-7614-0
TABLE OF CONTENTS
Opening Address and Welcome

Keynote Address (PDF)

Ric Holt , University of Toronto
pp. xviii
ICECCS I: Formal Methods and Applications I, Chairs: J. Bowen and H. Toetenel

Coupling-based Integration Testing (Abstract)

Zhenyi Jin , George Mason University
A.Jefferson Offutt , George Mason University
pp. 10

Using TILCO for Specifying Real-Time Systems (Abstract)

Riccardo Mattolini , University of Florence
Paolo Nesi , University of Florence
pp. 18
Parallel Sessions, Chairs: K. Davis and J. Vasell

A Software Architecture Approach for Designing CASE Systems (Abstract)

Mauro Pezze , Politecnico di Milano
Sergio Silva , Politecnico di Milano
pp. 47

A Distributed Architecture for Autonomous Robots (Abstract)

Maurizio Piaggio , DIST - University of Genova
Antonio Sgorbissa , DIST - University of Genova
Renato Zaccaria , DIST - University of Genova
pp. 51
CSESAW I, Chairs: Mark Wilson and Cuong Nguyen

Using a discrete event simulation to test a generic architecture for complex real-time systems (Abstract)

I. Benyahia , Inst. de Recherche, Hydro-Quebec, Varennes, Que., Canada
pp. 68

A comparative assessment of some reengineering techniques (Abstract)

M.L. Wilson , Naval Surface Warfare Center, Dahlgren, VA, USA
pp. 72

A Theory of Lexicographic Multi-Criteria Optimization (Abstract)

Mark J. Rentmeesters , University of California Irvine
Wei K. Tsai , University of California Irvine
Kwei-Jay Lin , University of California Irvine
pp. 76

A Process for Specifying Black Box Behavior, Demonstrated in a Case Study (Abstract)

Stephanie White , Northrop Grumman Corporation
Herbert Warner , Northrop Grumman Corporation
pp. 80
RTAW I, Chair: J. Salinas and L. Guan

The Two Real-Time Solitudes: computerized control and telecommunications (Abstract)

Paul Freedman , Centre de recherche informatique de Montreal (CRIM)
Daniel Gaudreau , Centre de recherche informatique de Montreal (CRIM)
Raouf Boutaba , Centre de recherche informatique de Montreal (CRIM)
Ahmed Mehaoua , Centre de recherche informatique de Montreal (CRIM)
pp. 87
Keynote Speech
CSESAW II, Chairs: Richard Scalzo and Mark Wilson

Certification of Reusable Software Components: Summary of Work In Progress (Abstract)

Sharon L. Rohde , Software Productivity Solutions, Inc
Karen A. Dyson , Software Productivity Solutions, Inc
Pamela T. Geriner , Software Productivity Solutions, Inc
Deborah A. Cerino , USAF Rome Laboratory
pp. 112

System Dependability Assessment Tool (Abstract)

Eric W. Brehm , AES Engineering Services, Inc.
pp. 116

Certification of reusable software components: summary of work in progress (Abstract)

S.L. Rohde , Software Productivity Solutions Inc., Indialantic, FL, USA
K.A. Dyson , Software Productivity Solutions Inc., Indialantic, FL, USA
P.T. Geriner , Software Productivity Solutions Inc., Indialantic, FL, USA
D.A. Cerino , Software Productivity Solutions Inc., Indialantic, FL, USA
pp. 120
Panel

New Paradigms (PDF)

pp. null
Exhibitor Statements, Chairs: T. Bihari and J. Harauz

Subscription as a Model for the Architecture of Embedded Systems (Abstract)

Maarten Boasson , Hollandse Signaalapparaten BV, The Netherlands
pp. 130

On the specification of complex software systems (Abstract)

F.I. Moxley , Defence Inf. Syst. Agency, USA
pp. 134

Developments in System Architecting (Abstract)

M.W. Maier , Alabama Univ., Huntsville, AL, USA
pp. 139
Keynote Speech
RTAW II, Chairs: B.-C. Cheng and J. Skubich

Autonomous Navigation Based On a Dynamic Representation (Abstract)

Maurizio Piaggio , DIST - University of Genova
Renato Zaccaria , DIST - University of Genova
pp. 152

A Cyclic Scheduling for Relative Timing Requirements (Abstract)

Sheng-Tzong Cheng , National Dong Hwa University
Chia-Mei Chen , Nation Sun-Yat-Sen Univ.
pp. 160

Enhancement and real-time analysis of an adaptive impulsive noise removal method (Abstract)

H. Kong , Dept. of Electr. Eng., Sydney Univ., NSW, Australia
L. Guan , Dept. of Electr. Eng., Sydney Univ., NSW, Australia
pp. 164

Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems (Abstract)

Robert G. Pettit, IV , Software Productivity Consortium
Hassan Gomaa , George Mason University
pp. 168
ICECCS III: System Visualization, Imaging and Technologies, Chair: L. Da F. Costa and P. Laplante

Animating Real-Time Reactive Systems (Abstract)

V.S. Alagar , Concordia University
D. Muthiayen , Concordia University
R. Achuthan , Concordia University
pp. 181

Three-dimensional DCT video compression technique based on adaptive quantizers (Abstract)

R. Westwater , Multimedia Lab., Florida Atlantic Univ., Boca Raton, FL, USA
B. Furht , Multimedia Lab., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 189
CSESAW III, Chairs: Richard Scalzo and Cuong Nguyen

Development of a Systems Architecting Process for Computer Based Systems (Abstract)

David Rowe , University of Technology, Sydney.
John Leaney , University of Technology, Sydney.
David Lowe , University of Technology, Sydney.
pp. 200

Application of Security Principles to Integration of Enterprise, System and Software Engineering Methods (Abstract)

Dennis A. Weiss , Electronic Warfare Associates, Canada Ltd.
Samuel E. Moore , Electronic Warfare Associates, Canada Ltd.
James A. Robbins , Electronic Warfare Associates, Canada Ltd.
pp. 204
RTAW III, Chairs: M.F. Younis and J.-J. Schwarz

Dynamically Reconfigurable Embedded Software - Does It Make Sense? (Abstract)

David B. Stewart , University of Maryland
G. Arora , University of Maryland
pp. 217

Real-Time Commit Protocol For Distributed Real-Time Database Systems (Abstract)

Yong-Ik Yoon , Electronics and Telecommunication Research Institute
Mikyung Han , Electronics and Telecommunication Research Institute
JuHyun Cho , Electronics and Telecommunication Research Institute
pp. 221

Evaluation and Comparison of Task Allocation and Scheduling Methods for Distributed Real-Time Systems (Abstract)

Jan Jonsson , Chalmers University of Technology
Jonas Vasell , Chalmers University of Technology
pp. 226

Formal verification for distributed real-time control: periodic Producer/Consumer (Abstract)

S. Koppenhoefer , Lab. d'Inf. Tech., Swiss Federal Inst. of Technol., Lausanne, Switzerland
J. Decotignie , Lab. d'Inf. Tech., Swiss Federal Inst. of Technol., Lausanne, Switzerland
pp. 230

Operator resources for large complex systems (PDF)

M. Harelick , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 112-115
Panel
ICECCS IV: Protocols and Communications, Chairs: Y. Kakuda and M. Pezze

Conformance Testing of Time-Dependent Protocols (Abstract)

J. Salinas , Naval Undersea Warfare Center
N. Park , Texas A&M University
U. Arunkumar , Texas A&M University
F. Lombardi , Texas A&M University
pp. 257

Recovery of Communications Protocol Design from Run Time Protocol Traces (Abstract)

K. Saleh , Kuwait University
M. Ilangovan , Kuwait University
R. Probert , University of Ottawa
pp. 265

Telecommunication software development using SDL-92: practical experience (Abstract)

B. Hatim , Dept. of Electron. & Comput. Eng., Limerick Univ., Ireland
M.O. Droma , Dept. of Electron. & Comput. Eng., Limerick Univ., Ireland
pp. 273
CSESAW IV, Chairs: Cuong Nguyen and Mark Wilson

An Algorithmic Semantics for Viewcharts (Abstract)

Ayaz Isazadeh , Queen's University
David A. Lamb , Queen's University
pp. 293

A Framework for Dependability Specification (Abstract)

Richard C. Scalzo , Naval Surface Warfare Center
Michelle Hugue , Opsimath Research
pp. 301
ICECCS V: Complex Real-Time Systems and Tools, Chairs: T. Marlowe and J. de la Puente

Time Controlled Dynamic Scheduling of Aperiodic Real-Time Tasks (Abstract)

Babak Hamidzadeh , University of Science and Technology
Yacine Atif , University of Science and Technology
pp. 323

On Real-Time Quasi-Durable Checkpointing (Abstract)

J. Huang , Honeywell Technology Center
P.J. Wan , Honeywell Technology Center
V. Thomas , Honeywell Technology Center
pp. 331
ICECCS VI: Formal Methods and Applications II, Chairs: P. Nesi and S. Liu

A Z-based Approach to Specifying and Analyzing Complex Systems (Abstract)

J.-M. Bruel , Jean-Michel Bruel, Robert B. France and Abdelmalek Benzekri
R. France , Jean-Michel Bruel, Robert B. France and Abdelmalek Benzekri
A. Benzekri , Jean-Michel Bruel, Robert B. France and Abdelmalek Benzekri
pp. 336

Formal Methods Applied to Secure Network Engineering (Abstract)

Shiu-Kai Chin , Syracuse University
John Faust , Information Warfare Team
Joseph Giordano , Information Warfare Team
pp. 344

Hardware Composition with Hardware Flowcharts and Process Algebras (Abstract)

Juin-Yeu Joseph Lu , National Semiconductor Corporation
Jang Dae Kim , Syracuse University
Shiu-Kai Chin , Syracuse University
pp. 352
Parallel Sessions: ICECCS VII: Databases and Database Management Systems, Chairs: S. Andler and S. Chakravarthy

A Join Algorithm Utilizing Multiple Path Indexes in Object-Oriented Database Systems (Abstract)

Wan-Sup Cho , Electronics and Telecommunications Research Institute
Seung-Sun Lee , Electronics and Telecommunications Research Institute
Yong-Ik Yoon: , Electronics and Telecommunications Research Institute
Kyu-Young Whang , Korea Advanced Institute of Science and Technology
pp. 376

Hardware/software cosynthesis: multiple constraint satisfaction and component retrieval (Abstract)

R. Miller , Electron. Design Autom. Res. Center, Cincinnati Univ., OH, USA
H. Carter , Electron. Design Autom. Res. Center, Cincinnati Univ., OH, USA
K. Davis , Electron. Design Autom. Res. Center, Cincinnati Univ., OH, USA
S. Venkatesan , Electron. Design Autom. Res. Center, Cincinnati Univ., OH, USA
pp. 383

An architectural framework for interoperation of distributed heterogeneous database systems (Abstract)

Xuequn Wu , Fraunhof Inst. for Software Eng. & Syst. Eng., Dortmund, Germany
pp. 391

An Engineering Design Process Supported by Knowledge Retrieval from a Spatial Database (Abstract)

Mark L. Manwaring , Washington State University
Terry G. Glagowski , Washington State University
Kent L. Jones , Whitworth College
pp. 395
ICECCS VIII: System and Software Architectures, Chairs: R. Milovanovic and P. Poon

Toward a Recommended Practice for Architectural Description (Abstract)

W. Ellis , SPM
R. Hilliard , MITRE
T. Saunders , MITRE
P. Poon , JPL
D. Rayford , COMERICA
B. Sherlund , COMERICA
R. Wade , E-Systems
pp. 408

Engineering of component-based systems (Abstract)

A.W. Brown , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
K.C. Wallnan , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 414

Modeling and analysis of complex computer systems-the MTCCS approach (Abstract)

H. Toetenel , Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands
R.L. Spelberg , Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands
S. Stuurman , Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands
J. van Katwijk , Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands
pp. 423
ICECCS IX: Tools and Approaches, Chairs: S. Chodrow and K. Nilsen

A task graph model for design and implementation of real-time systems (Abstract)

A. Silberman , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
T.J. Marlowe , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 432

Designing a Non-intrusive Monitoring Tool for Developing Complex Distributed Applications (Abstract)

Wanqing Wu , University of Pittsburgh
Rajiv Gupta , University of Pittsburgh
Madalene Spezialetti , Trinity College
pp. 450
ICECCS X: Reuse, Refinement, Evolution, Chairs: M. Hinchey and J. McDermid

Building Reusable Software Architectures with Ada 95 (Abstract)

Alejandro Alonso , University of Madrid
Juan Antonio de la Puente , University of Madrid
Angel Alvarez Technical , University of Madrid
pp. 467

System Refinement in VDM-SL (Abstract)

Paul Mukherjee , University of Leeds
pp. 483

A knowledge-based approach to object-oriented legacy code reuse (Abstract)

L.H. Etzkorn , Alabama Univ., Huntsville, AL, USA
C.G. Davis , Alabama Univ., Huntsville, AL, USA
L.L. Bowen , Alabama Univ., Huntsville, AL, USA
D.B. Etzkorn , Alabama Univ., Huntsville, AL, USA
L.W. Lewis , Alabama Univ., Huntsville, AL, USA
B.L. Vinz , Alabama Univ., Huntsville, AL, USA
J.C. Wolf , Alabama Univ., Huntsville, AL, USA
pp. 493
ICECCS XI: Formal Methods and Applications III, Chairs: N. Suri and G. Tsai

Assessing Complex Computer Based Systems using the Goal Structuring Notation (Abstract)

S P Wilson , University of York
J A McDermid , University of York
C H Pygott , Defence Research Agency
D J Tombs , Defence Research Agency
pp. 498

Deriving Mode Invariants from SCR Specifications (Abstract)

Zhenyi Jin , George Mason University
pp. 514

Index of Authors (PDF)

pp. 527
90 ms
(Ver 3.3 (11022016))