CSDL - Proceedings I

IEEE ICECCS' 96 Program Committee (PDF)

pp. xiv

RTAW' 96 Program Committee (PDF)

pp. xv

ICECCS' 96 Reviewers' List (PDF)

pp. xvi

Conference Organization (PDF)

pp. xvii

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

Interactive Consistency in Quasi-Asynchronous Systems (Abstract)

Andre Postma

Thijs Krol

pp. 2

PDF

Coupling-based Integration Testing (Abstract)

Zhenyi Jin, George Mason University

A.Jefferson Offutt, George Mason University

pp. 10

PDF

Using TILCO for Specifying Real-Time Systems (Abstract)

Riccardo Mattolini, University of Florence

Paolo Nesi, University of Florence

pp. 18

PDF

Parallel Sessions, Chairs: K. Davis and J. Vasell

IDEA: Integrated Design Environment for Assessment of ATM Networks. (Abstract)

S. Garg

pp. 27

PDF

Toward Compiler Optimization of Distributed Real-Time Processes (Abstract)

Mohamed F. Younis

Thomas J. Marlowe

Grace Tsai

Alexander D. Stoyenko

pp. 35

PDF

Virtual Reality - An Approach to Improve the Generation of Fault-Free Software for Programmable Logic Controllers (PLC) (Abstract)

D. Spath

U. Osmers

pp. 43

PDF

A Software Architecture Approach for Designing CASE Systems (Abstract)

Mauro Pezze, Politecnico di Milano

Sergio Silva, Politecnico di Milano

pp. 47

PDF

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

PDF

CSESAW I, Chairs: Mark Wilson and Cuong Nguyen

An Experimental Investigation of the Potential of BLF-driven Scheduling of Real-time Threads (Abstract)

K. Kim

Y. Kim

pp. 60

PDF

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

PDF

A comparative assessment of some reengineering techniques (Abstract)

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

pp. 72

PDF

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

PDF

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

PDF

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

PDF

The Allocation and Scheduling Precedence and Timing-Constrained Tasks with communication Delays (Abstract)

pp. 91

PDF

Progressive Scheduling for Real-Time Artificial Intelligence Tasks (Abstract)

Abdel-Illah Mouaddib

pp. 95

PDF

Design of a Communication System Capable of Supporting Real-Time RPC (Abstract)

Junghoon Lee, R&D Center Daewoo Telecom

pp. 99

PDF

An Iterative Method of Task Temporal Parameter Adjustment in Hard Real-Time Systems (Abstract)

F. Cottet, LISI / ENSMA

J.-Ph. Babau, LISI / ENSMA

pp. 103

PDF

Providing Generalized Rate Monotonic Scheduling Theory to I/O Abstractions over Timed Token Protocol MAC Networks (Abstract)

pp. 107

PDF

Keynote Speech

Keynote Speech (PDF)

B. Brockhouse

pp. xix

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

PDF

System Dependability Assessment Tool (Abstract)

Eric W. Brehm, AES Engineering Services, Inc.

pp. 116

PDF

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

PDF

Adaptability in cooperative systems: merging flexibility and performance (Abstract)

F. Faouzi, Laboratoire PRiSM

pp. 124

PDF

Panel

New Paradigms

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

PDF

On the specification of complex software systems (Abstract)

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

pp. 134

PDF

Developments in System Architecting (Abstract)

M.W. Maier, Alabama Univ., Huntsville, AL, USA

pp. 139

PDF

Understanding Large-Scale Behavior Patterns in Complex systems (Abstract)

R. Buhr

pp. 143

PDF

Teledesic network and space infrastructure architecture and design features (Abstract)

J.R. Stuart, Teledesic Corp., Kirkland, WA, USA

pp. 147

PDF

Keynote Speech (PDF)

D. Gries

pp. xx

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

PDF

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

PDF

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

PDF

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

PDF

ICECCS III: System Visualization, Imaging and Technologies, Chair: L. Da F. Costa and P. Laplante

Graphical Programming of Time-Deterministic Real-Time Systems (Abstract)

Per-Arne Wiberg, Halmstad University

pp. 173

PDF

Animating Real-Time Reactive Systems (Abstract)

V.S. Alagar, Concordia University

D. Muthiayen, Concordia University

R. Achuthan, Concordia University

pp. 181

PDF

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

PDF

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

PDF

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

PDF

A Progressive Software Development Lifecycle (Abstract)

Russell Turpin

pp. 208

PDF

A Generalized Methodology for Evaluating and Optimizing System Design Factors (Abstract)

pp. 212

PDF

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

PDF

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

PDF

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

PDF

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

PDF

Alternative priority scheduling in dynamic priority systems (Abstract)

Hyungill Kim, Dept. of Comput. Eng., Kyung Hee Univ., Seoul, South Korea

Sungyoung Lee, Dept. of Comput. Eng., Kyung Hee Univ., Seoul, South Korea

Jongwon Lee, Dept. of Comput. Eng., Kyung Hee Univ., Seoul, South Korea

pp. 239

PDF

Paradigms for Building Safety into Systems Applications

ICECCS IV: Protocols and Communications, Chairs: Y. Kakuda and M. Pezze

Improving Protocol Performance by Dynamic Control of Communication Resources (Abstract)

Daniela Ivan-Rosu

Karsten Schwan

pp. 249

PDF

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

PDF

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

PDF

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

PDF

CSESAW IV, Chairs: Cuong Nguyen and Mark Wilson

Recovery of Software Design, State-Machines, and Specifications from Source Code (Abstract)

N. Pywes

P. Rehmet

pp. 279

PDF

Adaptive Parallel Algorithms for the Synthesis of Real-Time Computer Systems (Abstract)

Ahmad Z. Abualsamid, CAE Model Advanced Facility.

pp. 289

PDF

An Algorithmic Semantics for Viewcharts (Abstract)

Ayaz Isazadeh, Queen's University

David A. Lamb, Queen's University

pp. 293

PDF

Layering in Object-Oriented Control Systems (Abstract)

pp. 297

PDF

A Framework for Dependability Specification (Abstract)

Richard C. Scalzo, Naval Surface Warfare Center

Michelle Hugue, Opsimath Research

pp. 301

PDF

ICECCS V: Complex Real-Time Systems and Tools, Chairs: T. Marlowe and J. de la Puente

Resource Conscious Design of Distributed Real-Time Systems: An End-to-End Approach (Abstract)

Manas Saksena, Concordia University

Seongsoo Hong, Seoul National University

pp. 306

PDF

Architecture and Language support for Fault-tolerance in Complex Real-Time Systems (Abstract)

pp. 314

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

Parallel Sessions: ICECCS VII: Databases and Database Management Systems, Chairs: S. Andler and S. Chakravarthy

Indexing to Efficiently Support Fussy Queries on Range Specifications (Abstract)

T. Glagowski

W. DeForeest

pp. 366

PDF

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

PDF

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

PDF

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

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

pp. 391

PDF

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

PDF

ICECCS VIII: System and Software Architectures, Chairs: R. Milovanovic and P. Poon

Assessment and Optimization of System Architectures - Experience from Industrial Applications at Siemens (Abstract)

pp. 400

PDF

W. Ellis, SPM

R. Hilliard, MITRE

T. Saunders, MITRE

P. Poon, JPL

D. Rayford, COMERICA

B. Sherlund, COMERICA

R. Wade, E-Systems

pp. 408

PDF

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

PDF

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

PDF

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

PDF

An Approach for Generating Executable Distributed Applications from Reusable Software Architectures (Abstract)

H. Gomaa, George Mason University

G.A. Farrukh, George Mason University

pp. 442

PDF

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

PDF

Temporal Causal Networks for Simulation and Diagnosis (Abstract)

M. Bouzid

A. Ligeza

pp. 458

PDF

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

PDF

Evolvable Real-Time C3 Systems-II: Real-Time Infrastructure Requirements (Abstract)

pp. 473

PDF

System Refinement in VDM-SL (Abstract)

Paul Mukherjee, University of Leeds

pp. 483

PDF

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

PDF

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

PDF

Semi-automatic Transformation from Formal Specifications to Programs (Abstract)

Shaoying Liu

Chris Ho-Stuart

pp. 506

PDF

Deriving Mode Invariants from SCR Specifications (Abstract)

Zhenyi Jin, George Mason University

pp. 514

PDF

Design Synthesis Using Adaptive Search Techniques and Multi-Criteria Decision Analysis (Abstract)

Mark Nicholson, University of York

Divya Prasad, University of York

pp. 522

PDF

Index of Authors (PDF)

pp. 527