1. Home
  2. Proceedings
  3. ICECCS
  4. ICECCS 1995
Default Cover Image

Engineering of Complex Computer Systems, IEEE International Conference on

Nov. 6 1995 to Nov. 10 1995

Ft. Lauderdale, Florida

ISBN: 0-8186-7123-8

Table of Contents

General Chair's MessageFreely available from IEEE.pp. xv
Conference CommitteeFreely available from IEEE.pp. xvi
Program CommitteeFreely available from IEEE.pp. xvii
ReviewersFreely available from IEEE.pp. xviii
ExhibitsFull-text access may be available. Sign in or learn about subscription options.pp. xix
Keynote Speech
Fighting ComplexityFull-text access may be available. Sign in or learn about subscription options.pp. xxv
by D. L. Parnas
Common Session I (Deliberate Potpourri), Chair: B. Kraemer
Automatic analytical tools for reliability and dynamic adaptation of complex distributed systemsFull-text access may be available. Sign in or learn about subscription options.pp. 1
by A.S. Lim
Common Session I (Deliberate Potpourri), Chair: B. Kraemer
A time-sharing architecture for complex real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 9
by J. Jehuda, G. Koren, D.M. Berry
Common Session I (Deliberate Potpourri), Chair: B. Kraemer
Engineering baselines in system development: using ASCII files, two-column index piles, and system numbers, engineering tags, and change set numbersFull-text access may be available. Sign in or learn about subscription options.pp. 17
by R.P. Evans, Sooyong Park, M. Merriman
Common Session I (Deliberate Potpourri), Chair: B. Kraemer
SDT a tool for complex real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 21
by P. Blysa
Common Session II (Deliberate Potpourri), Chair: K. Nilson
Tracing complexity through the software processFull-text access may be available. Sign in or learn about subscription options.pp. 23
by C. Ebert
Common Session II (Deliberate Potpourri), Chair: K. Nilson
The role of secondary attributes in formal object modellingFull-text access may be available. Sign in or learn about subscription options.pp. 31-38
by Jin Song Dong, G. Rose, R. Duke
Common Session II (Deliberate Potpourri), Chair: K. Nilson
A graphical paradigm facilitating correct programming of complex computer control systemsFull-text access may be available. Sign in or learn about subscription options.pp. 39
by W.A. Halang, K.F. Man, M. Colnaric
Common Session II (Deliberate Potpourri), Chair: K. Nilson
Customizable notations for kernel formalismsFull-text access may be available. Sign in or learn about subscription options.pp. 43
by L. Baresi, A. Orso, M. Pezze
Keynote Speech
KeynoteFreely available from IEEE.pp. xxvi
by G. Huchting
Common Session III (Deliberate Potpourri), Chair: T. Bihari
Animation of heterogeneous prototypes of real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 47
by A. Rendon, J.C. Duenas, M.A. de Miguel, J. Leskela, J.A. de la Puente, G. Leon, A. Alonso
Common Session III (Deliberate Potpourri), Chair: T. Bihari
Automation of analysis and simulation for understanding of large real-time Ada softwareFull-text access may be available. Sign in or learn about subscription options.pp. 55
by M. Lee, N. Prywes, I. Lee
Common Session III (Deliberate Potpourri), Chair: T. Bihari
A case study on design for provabilityFull-text access may be available. Sign in or learn about subscription options.pp. 59
by P. Curzon, I.M. Leslie
Common Session III (Deliberate Potpourri), Chair: T. Bihari
Control and supervision of a complex production process using hybrid systems techniquesFull-text access may be available. Sign in or learn about subscription options.pp. 63
by H.E. Garcia
Common Session III (Deliberate Potpourri), Chair: T. Bihari
Advances in the design and deployment of human-machine interfacesFull-text access may be available. Sign in or learn about subscription options.pp. 68
by P.A. Bennett
Common Session III (Deliberate Potpourri), Chair: T. Bihari
A tool for modeling and verifying real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 70
by W.M. Elseaidy, R. Cleaveland
Parallel Session V.a (Design Methods), Chiar: J.-J. Schwarz
A performance oriented design methodology for large-scale distributed data intensive information systemsFull-text access may be available. Sign in or learn about subscription options.pp. 72
by D.A. Menasce, H. Gomaa, L. Kerschberg
Parallel Session V.a (Design Methods), Chiar: J.-J. Schwarz
Representing architectural designs: a central issue in the development of complex systemsFull-text access may be available. Sign in or learn about subscription options.pp. 80
by V. Kirova, W. Rossak
Parallel Session V.a (Design Methods), Chiar: J.-J. Schwarz
Integrating formal methods tools to support system designFull-text access may be available. Sign in or learn about subscription options.pp. 88
by Shiu-Kai Chin, J. Faust, J. Giordano
Parallel Session V.b (Real Time), Chair: L. Motus
Hard real-time communications with weighted round robin service in ATM local area networksFull-text access may be available. Sign in or learn about subscription options.pp. 96
by A. Raha, N. Malcolm, Wei Zhao
Parallel Session V.b (Real Time), Chair: L. Motus
Towards a Scalable Real-Time Kernel for Function-Distributed MultiprocessorsFull-text access may be available. Sign in or learn about subscription options.
Parallel Session V.c (Software and Systems Engineering), Chair: J. Lavi
Predictions for increasing confidence in the reliability of safety critical softwareFull-text access may be available. Sign in or learn about subscription options.pp. 104
by N.F. Schneidewind
Parallel Session V.c (Software and Systems Engineering), Chair: J. Lavi
Requirements for client/server performance modelingFull-text access may be available. Sign in or learn about subscription options.pp. 108
by J.J. Martinka
Parallel Session V.c (Software and Systems Engineering), Chair: J. Lavi
Managing system technical risks using a process-based, integration infrastructureFull-text access may be available. Sign in or learn about subscription options.pp. 112
by J.R. Newman, S.L. Rohde
Parallel Session V.c (Software and Systems Engineering), Chair: J. Lavi
On the integration of heterogeneous methods for complex applicationsFull-text access may be available. Sign in or learn about subscription options.pp. 116
by F. Boufares, F. Gargouri, N. Kraiem
Parallel Session V.c (Software and Systems Engineering), Chair: J. Lavi
Command and control system requirements analysis. System requirements specification tactical system CUP CMTFull-text access may be available. Sign in or learn about subscription options.pp. 121
by M.J. Diepstraten
Parallel Session V.c (Software and Systems Engineering), Chair: J. Lavi
POSD-a notation for presenting complex systems of processesFull-text access may be available. Sign in or learn about subscription options.pp. 125
by P. Henderson, G.D. Pratten
Parallel Session V1.a (Formal Methods), Chair: J. Bowen
Discrete event process controller synthesis using VDM/sup ++/Full-text access may be available. Sign in or learn about subscription options.pp. 129
by K. Lano, S. Goldsack
Parallel Session V1.a (Formal Methods), Chair: J. Bowen
Structured methodology+object-oriented methodology+formal methods: methodology of SOFLFull-text access may be available. Sign in or learn about subscription options.pp. 137
by Shaoying Liu, Yong Sun
Parallel Session V1.a (Formal Methods), Chair: J. Bowen
A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study)Full-text access may be available. Sign in or learn about subscription options.pp. 145
by E. Borger, G. Del Castillo
Parallel Session V1.a (Formal Methods), Chair: J. Bowen
Hybrid specification of control systemsFull-text access may be available. Sign in or learn about subscription options.pp. 149
by K. Brink, L. Bun, J. Van Katwijk, W.J. Toetenel
Parallel Session V1.b (Real Time), Chair: J. Huang
Evolvable real-time C3 systemsFull-text access may be available. Sign in or learn about subscription options.pp. 153
by E. Bensley, L. Fisher, M. Gates, J. Houchens, A. Kanevsky, S. Kim, P. Krupp, A. Schafer, B. Thuraisingham
Parallel Session V1.c (Software and Systems Engineering), Chair: S. Howell
A combined functional and object-oriented approach to software designFull-text access may be available. Sign in or learn about subscription options.pp. 167
by Haifeng Qian, E.B. Fernandez, Jie Wu
Parallel Session V1.c (Software and Systems Engineering), Chair: S. Howell
STADIUM: a new tool for high assurance in systems designFull-text access may be available. Sign in or learn about subscription options.pp. 175
by R.H. Cofer, T.J. Sanders
Parallel Session V1.c (Software and Systems Engineering), Chair: S. Howell
A software design for integrating DESTINATION with ACEITFull-text access may be available. Sign in or learn about subscription options.pp. 179
by T.C. Choinski, D.J. Organ, N.D. Patel, J.J. McGahan
Parallel Session V1.c (Software and Systems Engineering), Chair: S. Howell
Contribution of object-oriented methodologies to the specification of complex systemsFull-text access may be available. Sign in or learn about subscription options.pp. 183
by D. Ramazani
Parallel Session V1.c (Software and Systems Engineering), Chair: S. Howell
Derivation of S-domain aircraft modelsFull-text access may be available. Sign in or learn about subscription options.pp. 187
by T.J. Redling
Keynote Speech
Complex Systems - The External InfluencesFull-text access may be available. Sign in or learn about subscription options.pp. xxvii
by A.K. Jones
Parallel Session 1X.a (Databases and Integration Frameworks), Chair: E. Bertino
Goal-oriented dynamic buffer pool management for data base systemsFull-text access may be available. Sign in or learn about subscription options.pp. 191
by Jen-Yao Chwng, D. Ferguson, G. Wang, C. Nikolaou, J. Teng
Parallel Session 1X.a (Databases and Integration Frameworks), Chair: E. Bertino
Active integration frameworksFull-text access may be available. Sign in or learn about subscription options.pp. 199
by C. Landauer, K.L. Bellman
Parallel Session 1X.a (Databases and Integration Frameworks), Chair: E. Bertino
On-line event reconstruction using a parallel in-memory databaseFull-text access may be available. Sign in or learn about subscription options.pp. 207
by E. Argante, P. van der Stok, I. Willers
Parallel Session 1X.a (Databases and Integration Frameworks), Chair: E. Bertino
A system engineering methodology for predicting scalability of very large real-time databasesFull-text access may be available. Sign in or learn about subscription options.pp. 211
by R.A. Basta, W.H. Greene
Parallel Session 1X.b (Real-Time Schedulability and Scheduling Issues), Chair: W. Zhao
Schedulability related issues in end-to-end systemsFull-text access may be available. Sign in or learn about subscription options.pp. 215
by R. Yerraballi, R. Mukkamala
Parallel Session 1X.b (Real-Time Schedulability and Scheduling Issues), Chair: W. Zhao
Knowledge-Based assistance for real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 223
by R.T. Goettge, E. Brehm, C. Palczak, J.A. Stankovic, M. Humphrey
Parallel Session 1X.b (Real-Time Schedulability and Scheduling Issues), Chair: W. Zhao
A Reactive Scheduler for Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.
by N. Nissanke, R.J. Loader
Parallel Session 1X.c (Tools and Environments), Chair: J. de la Puente
Model-embedded on-line problem solving environment for chemical engineeringFull-text access may be available. Sign in or learn about subscription options.pp. 227
by G. Karsai, J. Sztipanovits, H. Franke, S. Padalkar, F. DeCaria
Parallel Session 1X.c (Tools and Environments), Chair: J. de la Puente
A unique tool set for engineering complex systemsFull-text access may be available. Sign in or learn about subscription options.pp. 234
by E.M. Osman, G. Baratta-Perez, T.J. Walsh, K.J. Fowler
Parallel Session X.a (Specification and Reasoning), Chair: M. Pezze
Compositional reasoning about projected and infinite timeFull-text access may be available. Sign in or learn about subscription options.pp. 238
by B. Moszkowski
Parallel Session X.a (Specification and Reasoning), Chair: M. Pezze
Formal specification and verification of communication protocols using automated toolsFull-text access may be available. Sign in or learn about subscription options.pp. 246
by M. Barjaktarovic, Shiu-Kai Chin, K. Jabbour
Parallel Session X.a (Specification and Reasoning), Chair: M. Pezze
Specifying static analysis tools using formal methodsFull-text access may be available. Sign in or learn about subscription options.pp. 254
by K. Lano
Parallel Session X.b (Imaging & Artificial Intelligence), Chair: H. Lee
Model-based synthesis of a real-time image processing systemFull-text access may be available. Sign in or learn about subscription options.pp. 262
by M.S. Moore, J. Nichols
Parallel Session X.b (Imaging & Artificial Intelligence), Chair: H. Lee
Design and implementation of a distributed real-time image processing systemFull-text access may be available. Sign in or learn about subscription options.pp. 266
by D.M. Wu, L. Guan, G. Lau, D. Rahija
Parallel Session X.b (Imaging & Artificial Intelligence), Chair: H. Lee
Real-time computer controlled ultrasound therapy system for breast cancer treatmentFull-text access may be available. Sign in or learn about subscription options.pp. 270
by L.E. Grossman, W.W. Foard, E.C. Burdette, P.L. Neubauer, G.K. Svensson
Parallel Session X.c (Software and Systems Engineering), Chair: M. Wilson
Modeling and design of complex cooperative softwareFull-text access may be available. Sign in or learn about subscription options.pp. 274
by M. Muhlhauser
Parallel Session X.c (Software and Systems Engineering), Chair: M. Wilson
RECAP: a requirements elicitation, capture and analysis process prototype tool for large complex systemsFull-text access may be available. Sign in or learn about subscription options.pp. 278
by M.L. Edwards, M. Flanzer, M. Terry, J. Landa
Parallel Session X.c (Software and Systems Engineering), Chair: M. Wilson
Abstract and concrete components: an approach to complex systems engineeringFull-text access may be available. Sign in or learn about subscription options.pp. 282
by F. de Paoli, F. Tisato
Parallel Session X.c (Software and Systems Engineering), Chair: M. Wilson
A constraint function classification for complex systems developmentFull-text access may be available. Sign in or learn about subscription options.pp. 286
by M.S. Harelick, T.J. Marlowe, A.D. Stoyenko, P. Sinha
Parallel Session X1.a (Object Orientation and Modeling), Chair: T. Ae
Target tracking: a real-time object oriented design experimentFull-text access may be available. Sign in or learn about subscription options.pp. 290
by G. Krasovec, M. Baker, S. Gheorghe
Parallel Session X1.a (Object Orientation and Modeling), Chair: T. Ae
Enhancing object modelling technique with timing analysis capabilitiesFull-text access may be available. Sign in or learn about subscription options.pp. 298
by L. Motus, R. Kinksaar, T. Naks, M. Pall
Parallel Session X1.a (Object Orientation and Modeling), Chair: T. Ae
An object-oriented approach to handle complex real-time industrial automation projectsFull-text access may be available. Sign in or learn about subscription options.pp. 302
by P. Darscht, C.E. Pereira
Parallel Session X1.a (Object Orientation and Modeling), Chair: T. Ae
Applying object-oriented technology in real-time systems with the OCTOPUS methodFull-text access may be available. Sign in or learn about subscription options.pp. 306
by L. Ziegler, M. Awad, J. Kuusela
Parallel Session X1.a (Object Orientation and Modeling), Chair: T. Ae
An object-oriented modeling of real-time robotic assembly systemFull-text access may be available. Sign in or learn about subscription options.pp. 310
by R. Achuthan, V.S. Alagar, T. Radhakrishnan
Parallel Session X1.b (Networking and Communications), Chair: P. Gopinath
The computational requirements of mobile machinesFull-text access may be available. Sign in or learn about subscription options.pp. 314
by S. Acharya, R. Alonso
Parallel Session X1.b (Networking and Communications), Chair: P. Gopinath
The effect of preemptive queuing in a priority-based real-time networkFull-text access may be available. Sign in or learn about subscription options.pp. 322
by R.D. Fellman, R. Grygiel, I. Chu
Parallel Session XI1.a (Heterogeneous Computing), Chair: M. Eshaghian
Dynamic task migration from SIMD to SPMD virtual machinesFull-text access may be available. Sign in or learn about subscription options.pp. 326
by J.B. Armstrong, H.J. Siegel
Parallel Session XI1.a (Heterogeneous Computing), Chair: M. Eshaghian
General-purpose multiparadigm programming languages: an enabling technology for constructing complex systemsFull-text access may be available. Sign in or learn about subscription options.pp. 334
by T.A. Budd, T.P. Justice, R.K. Pandey
Parallel Session XI1.a (Heterogeneous Computing), Chair: M. Eshaghian
PolyCARE: a tool for re-engineering multi-language program integrationsFull-text access may be available. Sign in or learn about subscription options.pp. 338
by P.K. Linos
Parallel Session XII.b (Dependable and Fault-Tolerant Real-Time Systems), Chair: Y. Yamaguchi
Formal specification of real-time dependable systemsFull-text access may be available. Sign in or learn about subscription options.pp. 342
by E.B. Fernandez, R.B. France
Parallel Session XII.b (Dependable and Fault-Tolerant Real-Time Systems), Chair: Y. Yamaguchi
Using speculative execution for fault tolerance in a real-time systemFull-text access may be available. Sign in or learn about subscription options.pp. 349
by M.F. Younis, G. Tsai, T.J. Marlowe, A.D. Stoyenko
Parallel Session XII.b (Dependable and Fault-Tolerant Real-Time Systems), Chair: Y. Yamaguchi
Architecture specifications for complex real-time dependable systemsFull-text access may be available. Sign in or learn about subscription options.pp. 357
by P. Binns, S. Vestal
Parallel Session XII.c (Software and Systems Engineering), Chair: F. Cottet
MULTIGRAPH: an architecture for model-integrated computingFull-text access may be available. Sign in or learn about subscription options.pp. 361
by J. Sztipanovits, G. Karsai, C. Biegl, T. Bapty, A. Ledeczi, A. Misra
Parallel Session XII.c (Software and Systems Engineering), Chair: F. Cottet
Specifying fault tolerance in large complex computing systemsFull-text access may be available. Sign in or learn about subscription options.pp. 369
by M.M. Hugue, R.C. Scalzo
Parallel Session XII.c (Software and Systems Engineering), Chair: F. Cottet
A requirements taxonomy for specifying complex systemsFull-text access may be available. Sign in or learn about subscription options.pp. 373
by S. White, M. Edwards
Parallel Session XIII.a (High Performance Architectures), Chair: J. Vasell
Bridging structural and software design of PLC-based system familiesFull-text access may be available. Sign in or learn about subscription options.pp. 377
by F. Bonfatti, P.D. Monari, G. Gadda
Parallel Session XIII.a (High Performance Architectures), Chair: J. Vasell
A parallel control computer structure for complex high speed applicationsFull-text access may be available. Sign in or learn about subscription options.pp. 385
by B. Magnussen
Parallel Session XIII.b (Testing and Assessment), Chair: T. Marlowe
Multivariate assessment of complex software systems: a comparative studyFull-text access may be available. Sign in or learn about subscription options.pp. 389
by T.M. Khoshgoftaar, E.B. Allen
Parallel Session XIII.b (Testing and Assessment), Chair: T. Marlowe
Ensuring the satisfaction of a temporal specification at run-timeFull-text access may be available. Sign in or learn about subscription options.pp. 397
by G. Tsai, M. Insall, B. McMillin
Parallel Session XIII.b (Testing and Assessment), Chair: T. Marlowe
Large complex system test: objectives and approachesFull-text access may be available. Sign in or learn about subscription options.pp. 405
by Mei-Chen Hsueh
Keynote Speech
Engineering Software Intensive SystemsFull-text access may be available. Sign in or learn about subscription options.pp. xxviii
Common Session XIV (Deliberate Potpourri), Chair: P. Laplante
Refinement of system-level designs using hybrid modelingFull-text access may be available. Sign in or learn about subscription options.pp. 409
by R.M. McGraw, M. Meyassed, R.H. Klenke, J.H. Aylor, R.D. Williams
Common Session XIV (Deliberate Potpourri), Chair: P. Laplante
The DELPHI experiment control systemFull-text access may be available. Sign in or learn about subscription options.pp. 417
by C. Gaspar, J.J. Schwarz
Common Session XIV (Deliberate Potpourri), Chair: P. Laplante
A construction of neural-net based AI systemsFull-text access may be available. Sign in or learn about subscription options.pp. 424
by M. Kawada, Xu Wu, T. Ae
Common Session XIV (Deliberate Potpourri), Chair: P. Laplante
Index of AuthorsFreely available from IEEE.pp. 429
Showing 88 out of 88