The Community for Technology Leaders
Engineering of Computer-Based Systems, IEEE International Conference on the (1997)
Monterey, CA
Mar. 24, 1997 to Mar. 28, 1997
ISBN: 0-8186-7889-5
TABLE OF CONTENTS
Session Al: Requirement Analysis and Specification

Requirements capture and analysis prior to modeling (Abstract)

S. White , Adv. Dev. & Technol. Center, Northrop Grumman Corp., USA
pp. 10

Detailing and deriving system requirements (Abstract)

P. Hruschka , Atlantic Syst. Guild, Aachen, Germany
pp. 25
Session Bl: Parallel and Distributed Systems

Fault tolerant computing in computational field model (Abstract)

M. Uehara , Dept. of Inf. & Comput. Sci., Toyo Univ., Saitama, Japan
pp. 34

Model-integrated parallel application synthesis (Abstract)

A. Lodeczi , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
pp. 38

An introduction to the processing graph method (Abstract)

D.J. Kaplan , Naval Res. Lab., Washington, DC, USA
pp. 46
Plenary

Engineering of computer-based systems-a proposed curriculum for a degree program at Master level (Abstract)

B. Melhart , CBSE Associates, Israel
J.Z. Lavi , CBSE Associates, Israel
I. Pyle , CBSE Associates, Israel
pp. 54
Session A2: Model-Based ECBS I

Tools for model-based real-time system synthesis (Abstract)

M. Joshi , Dept. of Electr. & Comput. Eng., Utah State Univ., Logan, UT, USA
B. Abbott , Dept. of Electr. & Comput. Eng., Utah State Univ., Logan, UT, USA
pp. 65

Towards an application of model-based codesign: an autonomous, intelligent cruise controller (Abstract)

J.W. Rozenblit , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
S. Schulz , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
K. Buchenrieder , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 73

A multimodeling framework for complex software reuse (Abstract)

N.A. Warsi , Dept. of Comput. & Inf. Sci., Clark Atlanta Univ., GA, USA
Y.F. Chen , Dept. of Comput. & Inf. Sci., Clark Atlanta Univ., GA, USA
W.G. Howe , Dept. of Comput. & Inf. Sci., Clark Atlanta Univ., GA, USA
pp. 81

Model-based diagnosis in a power distribution testbed (Abstract)

K. McCall , Adv. Comput. Group, Boeing Co., Huntsville, AL, USA
E. Scarl , Adv. Comput. Group, Boeing Co., Huntsville, AL, USA
pp. 88
Session B2: Software and Systems

A toolset for the reengineering of complex computer systems (Abstract)

A. Vantipalli , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
F.J. Kurfess , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
L. Welsch , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
M. Lankala , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 97

Using software sensors for migrating from classical simulation systems towards virtual worlds (Abstract)

H. Mayr , Dept. of Software Eng., Upper Austrian Polytech. Univ., Hagenberg, Austria
pp. 105

Filling the gap between CASE tools and PSEEs (Abstract)

B. Coulette , ENSEEIHT-IRIT, Toulouse, France
X. Cregut , ENSEEIHT-IRIT, Toulouse, France
pp. 113

Experience with the use of standard IEEE 982.1 on software programs (Abstract)

W. Farr , Nav Canada, Ottawa, Ont., Canada
V.K. Srivastava , Nav Canada, Ottawa, Ont., Canada
W. Ellis , Nav Canada, Ottawa, Ont., Canada
pp. 121
Session A3: Panel 1: Visualization and Computer Modeling to Improve Human Understanding of Complex Military Systems

Process centered displays and cognitive models for command applications (Abstract)

M.J. Barnes , US Army Res. Lab., Ft. Huachuca, AZ, USA
pp. 129

C3I information flow models: integrating and interfaces (Abstract)

B.G. Knapp , US Army Res. Lab., Ft. Huachuca, AZ, USA
pp. 136

Using models and simulations to visualize NMD C3: lessons learned (Abstract)

C.H. Daniel , W.J. Schafer Assoc. Inc., Arlington, VA, USA
pp. 139

Large Scale Models of Cooperative and Hostile Intentions (Abstract)

Norman D. Geddes , Applied Systems Intelligence, Inc.
pp. 142
Session B3: Formal Approaches and Techniques

Event Based Modeling and Control of Software Development Processes (Abstract)

Manfred Mauerkirchner , Polytechnic University of Upper Austria
pp. 149

An intermediate language for system engineering (Abstract)

B. Purves , Boeing Co., Seattle, WA, USA
pp. 157

Representing abstract architectures with axiomatic specifications and activation conditions (Abstract)

P. Alexander , Dept. of Electr. & Comput. Eng. & Comput. Sci., Cincinnati Univ., OH, USA
P. Baraona , Dept. of Electr. & Comput. Eng. & Comput. Sci., Cincinnati Univ., OH, USA
pp. 161

UCM-ROOM modelling: from use case maps to communicating state machines (Abstract)

R.J.A. Buhr , Dept. d'Inf., Univ. du Quebec a Hull, Ont., Canada
F. Bordeleau , Dept. d'Inf., Univ. du Quebec a Hull, Ont., Canada
pp. 169
Plenary

The insides and outsides of computer-based system complexity (Abstract)

H.W. Lawson , Lawson Konsult AB, Lidingo, Sweden
pp. 180
Session A4: Model-Based ECBS II

Staffing and organization in the engineering of systems (Abstract)

M.W. Oliver , Model Based Syst. Inc., Ballston Lake, NY, USA
pp. 189

A model-based engineering process for increasing productivity in discrete manufacturing (Abstract)

A. Misra , Saturn Corp., Springhill, TN, USA
E. Long , Saturn Corp., Springhill, TN, USA
pp. 197

A model-integrated information system for increasing throughput in discrete manufacturing (Abstract)

M. Moore , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
E. Long , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
J. Sztipanovits , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
G. Karsai , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
A. Ledeczi , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
A. Misra , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
pp. 203
Session B4: Object Oriented Design and Development

Systems modeling, simulation and analysis using COVERS active objects (Abstract)

V.V. Roudakov , St. Petersburg Tech. Univ., Russia
A.V. Borshchev , St. Petersburg Tech. Univ., Russia
Y.G. Karpov , St. Petersburg Tech. Univ., Russia
pp. 220

The Advanced Battlefield Architecture for Tactical Information Selection (ABATIS) (Abstract)

M. Barnes , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
J.W. Rozenblit , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
J.S. Keane , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 228

Decomposition of inheritance hierarchy DAGs for object-oriented software metrics (Abstract)

W.C. Pai , Dept. of Comput. Sci., Tamkang Univ., Tamsui, Taiwan
Chi-Ming Chung , Dept. of Comput. Sci., Tamkang Univ., Tamsui, Taiwan
T.K. Shih , Dept. of Comput. Sci., Tamkang Univ., Tamsui, Taiwan
Chun-Chia Wang , Dept. of Comput. Sci., Tamkang Univ., Tamsui, Taiwan
pp. 238

View based object oriented approach for complex system modelling (Abstract)

B. Coulette , ENSEEIHT-IRIT, Toulouse, France
S. Marcaillou-Ebersold , ENSEEIHT-IRIT, Toulouse, France
pp. 246
Session A5: Real-Time and Mechatronic Systems

Simulation of hybrid mechatronic systems: a case study (Abstract)

J. Stroop , C-LAB, Paderborn, Germany
P. Waltermann , C-LAB, Paderborn, Germany
U. Honekamp , C-LAB, Paderborn, Germany
M. Brielmann , C-LAB, Paderborn, Germany
pp. 256

A generic system for interactive real-time animation (Abstract)

G. Lehrenfeld , C-LAB, Paderborn, Germany
C. Tahedl , C-LAB, Paderborn, Germany
M. Duecker , C-LAB, Paderborn, Germany
W. Mueller , C-LAB, Paderborn, Germany
pp. 263

Intelligent design assistance with SEA (Abstract)

O. Heitbreder , C-LAB, Paderborn, Germany
J. Tacken , C-LAB, Paderborn, Germany
L. Kleinjohann , C-LAB, Paderborn, Germany
B. Kleinjohann , C-LAB, Paderborn, Germany
pp. 279
Session B5: Architectures

The many aspects of an IT-architecture (Abstract)

D.K. Hammer , Dept. of Comput. Sci., Eindhoven Univ. of Technol., Netherlands
pp. 304
Session A6 Panel 2: Complexity

Process and systems complexity (PDF)

J.W. Rozenblit , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 322

Complex systems (Abstract)

M. Mannion , Dept. of Mech. Manuf. & Software Eng., Napier Univ., Edinburgh, UK
B. Keepence , Dept. of Mech. Manuf. & Software Eng., Napier Univ., Edinburgh, UK
pp. 324

Are we on the way towards design habitability? (PDF)

M. Mrva , Siemens AG, Munich, Germany
pp. 327

Holistic view of complexity (position statement) (PDF)

H.W. Lawson , Lawson Konsult AB, Lidingo, Sweden
pp. 329
Session B6: Applications

An analysis of the Ariane 5 flight 501 failure-a system engineering perspective (Abstract)

G. Le Lann , Inst. Nat. de Recherche en Inf. et Autom., Le Chesnay, France
pp. 339

Knowledge Preserving Development: A Case Study (Abstract)

Otakar Babka , University of Macau
Jana Freeburn , Fort Lewis College
Miroslav Sveda , Technical University of Brno
pp. 347
Session A7: CBS Development -- Principles and Practice 1

Model-Based Development of Computer-Based Information Systems (Abstract)

Roberto R. Kampfner , The University of Michigan-Dearborn
pp. 354

Evaluating evolvability of computer based systems architectures-an ontological approach (Abstract)

D. Rowe , Sch. of Electr. Eng., Univ. of Technol., Sydney, NSW, Australia
J. Leaney , Sch. of Electr. Eng., Univ. of Technol., Sydney, NSW, Australia
pp. 360

System engineering based design and control of teletraining sessions in an open environment (Abstract)

J. Rozenblit , Dept. of Software Eng., Upper Austria Polytech. Univ., Hagenberg-Linz, Austria
A. Wintersteiger , Dept. of Software Eng., Upper Austria Polytech. Univ., Hagenberg-Linz, Austria
W. Jacak , Dept. of Software Eng., Upper Austria Polytech. Univ., Hagenberg-Linz, Austria
pp. 368

Electronic enterprise engineering: an outline of an architecture (Abstract)

M. Bieber , New Jersey Inst. of Technol., Newark, NJ, USA
R. Yeh , New Jersey Inst. of Technol., Newark, NJ, USA
M. Nakayama , New Jersey Inst. of Technol., Newark, NJ, USA
A. Rana , New Jersey Inst. of Technol., Newark, NJ, USA
W. Rossak , New Jersey Inst. of Technol., Newark, NJ, USA
M. Bartolacci , New Jersey Inst. of Technol., Newark, NJ, USA
J. Wang , New Jersey Inst. of Technol., Newark, NJ, USA
P. Ng , New Jersey Inst. of Technol., Newark, NJ, USA
F. Kurfess , New Jersey Inst. of Technol., Newark, NJ, USA
J. Fjermestad , New Jersey Inst. of Technol., Newark, NJ, USA
Qianhong Liu , New Jersey Inst. of Technol., Newark, NJ, USA
R. Scherl , New Jersey Inst. of Technol., Newark, NJ, USA
R. Sweeney , New Jersey Inst. of Technol., Newark, NJ, USA
F. Vitali , New Jersey Inst. of Technol., Newark, NJ, USA
M. Tanik , New Jersey Inst. of Technol., Newark, NJ, USA
pp. 376
Session B7: Design Methodology

The Shall-Prototype-Test Development model (Abstract)

M. Mrva , Siemens AG, Munich, Germany
W. Ecker , Siemens AG, Munich, Germany
M. Heuchling , Siemens AG, Munich, Germany
pp. 385

A survey of system design methodologies (Abstract)

D.H.H. Yoon , Dept. of Comput. & Inf. Sci., Michigan Univ., Dearborn, MI, USA
pp. 392

A platform-centric functional hierarchy (Abstract)

D.D. Walden , Comput.. Devices Int., Bloomington, MN, USA
pp. 397

Concepts for computer assisted engineering process management (Abstract)

J.W. Rozenblit , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
C. Kocourek , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 405
Session A8: CBS Development -- Principles and Practice II

Integrated development for computer-based systems (Abstract)

P.C. Scott , Lockheed Martin Commun. Syst., Camden, NJ, USA
S. Rose , Lockheed Martin Commun. Syst., Camden, NJ, USA
pp. 414

An improved system engineering model (Abstract)

R. Stevens , Sch. of Comput., Staffordshire Polytech., Stafford, UK
S. Arnold , Sch. of Comput., Staffordshire Polytech., Stafford, UK
P. Brook , Sch. of Comput., Staffordshire Polytech., Stafford, UK
A. Alderson , Sch. of Comput., Staffordshire Polytech., Stafford, UK
K. Jackson , Sch. of Comput., Staffordshire Polytech., Stafford, UK
pp. 427
Session B8: Real-Time Applications

HighRobot: a high-performance universal robot control on parallel workstations (Abstract)

G. Gruhler , Wilhelm-Schickard-Inst. fur Inf., Tubingen Univ., Germany
A. Speck , Wilhelm-Schickard-Inst. fur Inf., Tubingen Univ., Germany
Th. Lumpp , Wilhelm-Schickard-Inst. fur Inf., Tubingen Univ., Germany
W. Kuchlin , Wilhelm-Schickard-Inst. fur Inf., Tubingen Univ., Germany
pp. 444

Building Distributed Scalable Dependable Real-TimeSystems (Abstract)

Lonnie R. Welch , The University of Texas at Arlington
Binoy Ravindran , The University of Texas at Arlington
Christian Kelling , Technische Universitaet Berlin
pp. 452

A digital protective relay as a real-time microprocessor system (Abstract)

B. Kasztenny , Wroclaw Univ., Poland
E. Rosolowski , Wroclaw Univ., Poland
pp. 460

Model-based engineering of large-scale real-time systems (Abstract)

T.A. Bapty , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
J. Sztipanovits , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
pp. 467
Session A9: Panel 3: Model-Based Engineering

Integrative, model-based engineering design (PDF)

J.W. Rozenblit , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 476

System design with models (PDF)

B. Purves , Boeing Co., USA
pp. 478

Insertion of formalism into systems level design (PDF)

P. Alexander , Dept. of Electron. Comput., Cincinnati Univ., OH, USA
pp. 479

Model-integrated computing environments and computer-based systems (Abstract)

J. Sztipanovits , Meas. & Comput. Syst. Lab., Vanderbilt Univ., Nashville, TN, USA
pp. 480
Session B9: Dependability and Safety Critical Systems

Validation and testing of sC++ applications (Abstract)

J. Madsen , Comput. Network Lab., Swiss Federal Inst. of Technol., Lausanne, Switzerland
pp. 491

The identification of integrity constraints in requirements for context monitoring (Abstract)

C. Kubo Della-Piana , Dept. of Comput. Sci., Texas Univ., El Paso, TX, USA
A.Q. Gates , Dept. of Comput. Sci., Texas Univ., El Paso, TX, USA
pp. 498

Index of Authors (PDF)

pp. 507
97 ms
(Ver )