Reliability and Robustness of Engineering Software II: Proceedings of the Second International Conference held in Milan, Italy, during 22–24 April 1991

377 Pages·1991·11.63 MB·English

by  M. Petridis

ELSEVIER
CMP
Acknowledgement is made to J.S. Medes and M. Jeffries for the use of
Figure 2 on page 65, which appears on the front cover of this book.
Reliability and Robustness of
Engineering Software II
Proceedings of the Second International Conference held in
Milan, Italy, during 22-24 April 1991.
Editors: C.A. Brebbia
A.J. Ferrante
Computational Mechanics Publications
Southampton Boston
Co-published with
Elsevier Applied Science
London New York
C.A.Brebbia A.J. Ferrante
Computational Mechanics Institute COPPE/UFRJ
Wessex Institute of Technology Federal University of Rio de Janeiro
Ashurst Lodge CXP 68506
Ashurst Rio de Janeiro
Southampton S04 2AA RJ 21945
U.K. Brazil
Published by Computational Mechanics Publications, Ashurst Lodge, Ashurst,
Southampton, UK
Distribution of this book is being handled by:
ELSEVIER SCIENCE PUBLISHERS LTD,
Crown House, Linton Road, Barking,
Essex IG 11 8JU, England
Sole Distributor in the USA and Canada:
ELSEVIER SCIENCE PUBLISHING COMPANY INC.
655 Avenue of the Americas,
New York, N.Y. tOOtO, USA
British Library Cataloguing in Publication Data
Reliability and robustness of engineering software.
1. Engineering. Use of software.
I. Brebbia, C.A. (Carlos Alberto) 1938-II. Ferrante,
A.J. (Augustine J.)
620.0028553
ISBN 1-85312-132-0
ISBN 1-85166-625-7 Elsevier Applied Science, London, New York
ISBN 1-85312-132-0 Computational Mechanics Publications, Southampton
ISBN 1-56252-064-4 Computational Mechanics Publications, Boston, USA
Library of Congress Catalog Card Number 91-70441
No responsibility is assumed by the Publisher for any injury and/or damage to persons
or property as a matter of products liability, negligence or otherwise, or from any use
or operation of any methods, products, instructions or ideas contained in the material
herein.
©Computational Mechanics Publications 1991
See also p72.
All rights reserved. No part of this publication may be reproduced, stored in a retrieval
system, or transmitted in any form or by any means, electronic, mechanical, photocopy
ing, recording, or otherwise, without the prior written permission of the publisher.
PREFACE
Software for engineering applications has become, during the last few years,
a multi-billion pound industry as applications of computer programs are
now an essential part of any engineering project. In spite of this, engineer
ing software is not always reliable and many fail to produce good solutions.
The extent of this problem, which is very costly to the engineering industry,
and its consequences, are somewhat hidden because the software industry
has not reached the necessary maturity.
An engineer needs a long training before being able to design a body for
instance. However, to do that, he may use a computer program which has
undergone no validation whatsoever and is written by someone without any
engineering knowledge. It is imperative to address this problem to ensure
that computer codes are properly prepared to provide good solutions, and
that they are robust and reliable.
This 2nd International Conference on Reliability and Robustness of En
gineering Software (RRES 91) was called to address this problem. The
meeting was held in Milan, Italy, in April 1991 and was of importance to
engineers working in industry who are actively involved with the develop
ment of computer codes.
This book contains the edited version of the papers presented at the Con
ference and is divided into the following sections:
1. Software Development and Tools
2. Evaluation, Validation and Maintenance
3. System Reliability
4. Model and Data Reliability
5. Expert Systems
6. Data Bases and Networks
7. Engineering Systems
8. Model Generation and Computer Graphics
The organizers are grateful to the participants and authors for their support
and in particular to the International Society for Computational Methods
in Engineering (ISCME) and the Latin-Ibero American Society for Compu
tational Methods in Engineering (AMC) for having sponsored the meeting.
The Conference was organized by the Wessex Institute of Technology, U.K.
to whom the editors are also indebted.
The Editors
Milan, April 1991
CONTENTS
SECTION 1: SOFTWARE DEVELOPMENT AND TOOLS
A Design for Reliable CFD Software 3
M. Petridis, B. Knight, D. Edwards
Ensuring Robustness and Reliability of Object Oriented 19
Software using MASCOT 3
J. Moses, K. Jackson
Finite Element Program Generator and Finite 35
Element Language
G-P Liang
DDLMU, Degrees of Freedom Management Module for 47
Numerical Modelization
F. Delince, A. Genon, W. Legros, A. Nicolet, M. Ume
The Contribution of Organisational Analysis to Engineering 59
Software Dependability
J.S. Medes, M. Jeffries
A Structural Engineering Software Development Using 73
CASE Tools
M.M. Mourelle, B.P. Jacob, N.F.F. Ebecken
Is Software Engineering Really Engineering? 85
P. Smith, S. Ali
SECTION 2: EVALUATION, VALIDATION AND
MAINTENANCE
Specification and Verification of Distributed 99
Real-Time Systems
M.J. Wieczorek, J. Vytopil
A Software Reliability Monitoring and Prediction System 115
D. Ambrose, M.A. Rahman
Some Experience in the Development of Commercial 125
FEM Software in U.F.R.G.S.
A.G. Groehs
Quality Assurance and Test Validation for CA.ST.OR 133
M. AJzali, M. Herve, A. Turbat
Quality Assurance of a Boundary Element Software System 143
R.A. Adey, R. Harfield, G.A. Brebbia
SECTION 3: SYSTEM RELIABILITY
Intelligent Interfaces for Software Reliability 159
R. Spagnuolo
New Evaluation Framework for Assessing the Reliability 173
of Engineering Software Systems Design Paradigms
P. Kokol, V. turner, B. Stiglic
SECTION 4: MODEL AND DATA RELIABILITY
Error Analysis and Adaptive Refinement of 187
Boundary Elements
N. Karniya, I<. Kawaguchi
Reliability and Applicability of Nonlinear 203
Optimization Software
B. Novak
Robustness and Accuracy of Groundwater Flux 217
Computations in Large-Scale Shallow Sedimentary Basins
W. Zijl, M. Nawalany
SECTION 5: EXPERT SYSTEMS
An Expert System for Flexible Risers Design 231
and Applications
J.A.B. Geyrnayr, N.F.F. Ebecken
Solute Transport Modeling Assisted by a 243
Knowledge-Based System
J. Feher, M. Th. van Genuchten, W.J. Alves, D. W. Joyce
Treatment of Standard Design Requirements with 253
Artificial Intelligence Technology
G. Bravo, A.F. Martin
SECTION 6: DATA BASES AND NETWORKS
S02: A Flexible Object Oriented Data Base 271
Management System
A. Attoui, M. Schneider
Software Environment for Queueing Network Modelling 285
M. Ghabrol, M. Gourgand
Semantic Extension of Relational Database 297
T. Mohoric
SECTION 7: ENGINEERING SYSTEMS
FLYSIM - A Program for a Basic Flight Simulator 313
G.D. Alford
Reliability Computer Analysis of Offshore Platforms 327
L. V.S. Sagrilo, E.P. de Lima, A.J. Ferrante,
S. G. Rodriguez Hormazabal
SECTION 8: MODEL GENERATION AND COMPUTER
GRAPHICS
A Multiregion Finite Element Mesh Generator Based 341
on Deformable Grid Templates
C. Stan Wei
Better Criteria for the Development of Solid 353
Modeling Software
B. Feij6, R. Fischer, M. Dreux
An Auto-Adaptive Meshing Process in a Finite 363
Element Software
M. Dubois, J. Magny, A. Turbat
Retrofitting and Integration of Engineering Software 375
P. Gambirasi, P. Salvaneschi
Authors'Index 387
SECOND INTERNATIONAL CONFERENCE
ON
RELIABILITY AND ROBUSTNESS OF ENGINEERING SOFTWARE
RRES/91
SCIENTIFIC COMMITTEE
C.A. Brebbia A. Martin
A.J. Ferrante J.S. Medes
M. Afzali J. Oliveira Pedro
G.D. Alford G. Pardoen
G. Carosso A. Samuelsson
M.S. Deutsch R. Spagnuolo
M. Gattass P. Strona
N. Kamiya B.A. Szabo
G. Keramidas J.T. Webb
B. Knight W. Zijl
SECTION 1: SOFTWARE
DEVELOPMENT AND TOOLS