:TH16 European Simulation Multiconference 2002

DARMSTADT, GERMANY

JUNE 3-5, 2002

Organised by:

SCS, The Society for Computer Modeling and Simulation International

Co-Sponsored by

ASIM

Arbeitsgemeinschaft Simulation

and

CASS, The Chinese Association for System Simulation

EuSC, The European Simulation Council

EUROSIM, Federation of European Simulation Societies

HSS, The Hungarian Simulation Society

JSST, The Japan Society for Simulation Technology

TSS, The Turkish Simulation Society

Hosted by

FH-Darmstadt

Darmstadt, Germany

CONTENTS

Preface XIScientific Programme 1Author Listing 725

METHODOLOGY

Simulation Methodology

Achieving Maintainability of Process Simulation Software ModelsEdward J. Williams 7

Simulation for Dynamical Process ChainsDieter Spath, Gisela Lanza and Markus Herm 11

OLYMPIOS: a Model to control Process with ComponentChristian Braesch, Franck Theroude and Alain Haurat 14

Prototyping in Process oriented Modeling and SimulationJaap A. Ottjes and Hans P.M. Veeke 20

Petri Net, Continuous Event and Distributed Simulation

Generic Modelling of a Stochastic Continuous SystemMartin Albertyn and Paul Stephanus Kruger 29

A Java Toolset for Modelling and Simulation of Complex Timed Petri NetsLuigi Carullo, Angelo Furfaro, Libero Nigro, and Francesco Pupo 37

EGRET- Event Graph Editor and SimulatorAndrej Netri, Viliam Solcany and Jiri Safarik 42

PeNeTo; A Petri Net Simulator for Fast Safety and Quality Analysis and Cost -PredictionStefan Heller, Stefan Greiner and Graham Horton 50

CONTENTS

Agent Based Simulation

Simulation of Multiagent System in Parallel and Distributed ProgrammingRyszard Tolwinski 59

A Multiagent System for the Concurrent Execution of Simulation ReplicasMiguel A. Mateo, Julio Pons, Roman Garcia and Lenin Lemus 60

Applications

Integration of the Spectre(r) Circuit Simulator in an Object-Oriented Web SystemAndriy Levytskyy and Eugene J.H. Kerckhoffs 67

Employing a Real-Time System Specification for the Development of FRTS SystemsDimosthenes Anagnastopoulos, Vasilios Dalakas, Mara Nikolaidou and Vasilios Vescoukis ...72

Virtual Prototyping of a Hydraulic Cushion for HELJoseba Landaluze, Izaskun Portilla, Anna Martinez, Raul Reyero and Miguel A. Otaduy 80

UML and OO Simulation

Functional Modeling: a Survey for a Common Framework DesignGuy-Alain Amoussou and Serge Rhomer 89

Performance Modelling of Software Systems in UML-Tools for the Software DeveloperAndreas Hennig and Rainer Wasgint 94

Using Meta-Modelling and Graph Grammars to Process GPSS ModelsJuan de Lara and Hans Vangheluwe 100

CONTENTS

Integrated Support of Software Re-Use in CASEZinaHouhamdi 106

Object Oriented Modelling and Simulation of Complex Control SystemsLaurent Thiry and Bernard Thirion 115

Towards Functional-Structural Analysis of Forest Stands with LIGNUMJari Perttunen, Risto Sievanen, Mika Lehtonen and Eero Nikinmaa 120

EcosimPro: An Object-Oriented Simulation Tool for Dynamic SystemsRamon Perez-Vara and Pedro Cobas 123

Formal Integration of Structural Dynamics into the Object-Oriented Modeling of HybridSystemsAndre Nordwig 128

Input-Output-Randomness

Can Independent Sampling be used for Simulation Output Analysis?Acacio M.O. Porta Nova 137

On the Reliability of Random Number GeneratorsYadolah Dodge and Guiseppe Melfi 142

The AAC method for the Evaluation of Simulation ResultsNorbert Th. Muller 145

Use of a Resampling Approach to Systems SimulationAlexander Andronov and Yuri Merkuryev 150

ARTIFICIAL INTELLIGENCE AND NEURAL NETWORKS

Hierarchical Intelligent Mixed SimulationTudor Niculiu and Sorin Cotofana 159

CONTENTS

An Agent and Group Model for Generating a Variety of Flocking BehavioursQ.H. Mehdi, H. Suliman andN. E. Gough 163

Feasibility of Distributed Parallel Simulation of AI Search AlgorithmsJulian Churchill, Richard Cant and David Al-Dabass 168

Parallel Evolutionary AlgorithmsWilfried Sihn, Tom-David Graupner and Matthias Asal 172

Genetic Optimisation of Reaction Wheels Speed Profiles for the XMM Newton TelescopeF. Javier Varas, J. Casoliva, Francisco J. Busto, F. Moura-Pires, A. Pereira, R. Kresken, F.Dreger and A. Donati 178

BAPER A Spacecraft Battery Performance Tool for Cluster nAlessandro Donati and Giuseppe Ottavianelli 184

The Use of Neural Networks in Sensor Failure Detection and Signal ReconstructionG. Waterworth 189

Intelligent Management and Optimization of a Combined Energy Unit - Supplier -Consumer SystemAmmar AlKhani 194

Fuzzy Expert System for Gyroscope Fault DetectionAlfredo Pereira, Fernando Moura-Pires, Rita A. Ribeiro, Luis Correia, Nuno Viana, F. JavierVaras, Gianaldo Mantovani, Pier Bargellini, Rosario Perez-Bonilla and Alessandro Donati 200

HIGH PERFORMANCE AND LARGE SCALE COMPUTING

High Performance Computing by Context Switching Reconfigurable LogicJim Torresen and Knut Arne Vinger 207

MPIT- a Programming Paradigm for Networks of SMP WorkstationsPentti Huttunen, Jouni Ikonen and Jari Porras 211

CONTENTS

Analysis of Coverage and Performance of the Variable Sized Replications SimulationMethod in ParallelAngel Perles, Xavier Molero, Antonio Marti and Juan Jose Serrano 219

Parallel Real-Time Fluid Simulation and Animation with Fractal Optical RefinementsThorsten May, Sacha Schneider and Volker Luckas 224

Simulating Layer-4 Load Balancing Strategies in Web ClustersXavier Molero and Vincente Santonja 229

Parallel Simulation of Gaspulsations in Pipe SystemsS.W.Brok 237

Use of Rate Control and Historical Data to Improve Performance of ServersPok Vic Sent, Simon See and Ian Thng 241

Scheduling Algorithm for Distributed Simulation Systems ManagementSimon See 247

VERIFICATION, VALIDATION AND ACCREDITATION

Building Credibility: Theory and Practical Experience

Validation: Real World System Knowledge, Types of Validity and Credibility LevelsMarko Hofmann 257

Determination and Propagation of Credibility in V&V ActivitiesAndreas Koster 262

Application of Established V&V Techniques

HLA Interoperability Analysis based on Coloured Petri NetsStephanie Combettes and Alexandre Nketsa 269

CONTENTS

Formal Behaviour Verification of HLA Federations using Temporal LogicDirkBrade 273

Simulation of Software Behaviour using AnimationIan Oliver 278

ECONOMICS AND OPERATIONS RESEARCH

Option Pricing using Numerical MethodsGabor Benedek 287

COUGAR Concept and New Approach to Service Management By Using SimulationAgostino G. Bruzzone and Simone Simeoni 291

Simulation of e-Procurement with XMLMichael Lipp, Katharina Schwarz and Philipp Thun 296

COMPLEX SYSTEMS MODELLING

Simulation Methods

The Modelling of 3-Axis Vibration Measurement sensor using an Incremental MotionEncoder (IME)Emmanouil Hatiris, Paul A. Orton, Janet F. Poliakoffand Peter D. Thomas 303

Steps towards Real Time Simulation of Robot DynamicsWolfgang Weber and Lazuardi Anggono 307

Qualitative Modeling of Complex Physical Systems based on Similarity CalculusNikola Bogunovic, Zeljko Jagnjic and Franjo Jovic 312

A Signal Processing Architecture Based on RAM TechnologyJim Torresen and Vidar Engh Skangen 317

CONTENTS

Assessment Tools and Models

Assessing Uncertainty in Models of Complex SystemsEshan Rajabally, Pratyush Sen and Steve Whittle 323

Eccentricity Error Compensation Models for an Incremental Motion Encoder (IME)Emmanouil Hatiris, Paul A. Orton, Janet F. Poliakoffand Peter D. Thomas 328

Mobility Models for Cellular Simulation ToolsEnrico Jugl and Holger Pampel 332

Detection of Norwegian Speed Limit SignsLukas Sekanina and Jim Torresen 337

Physical Systems Simulation

Monte-Carlo Simulation of Multi-Agent System in Soap FrothChiwah Kong and K.Y. Szeto 343

Application of Finite Elements Method for Analysis and Design of Hyperelastic MaterialJan Amborski and Rafal Kajka 346

The Analysis and Decomposition of Free-Form Surface ModelsR. Bardell, K. Sivayoganathan, V. Balendran and D. Al-Dabass 350

Network Simulation

Engset's Model for Simulation of Multiservice Circuit-Switched NetworksZdenko Vrdoljak, Josip Gracin and Mladen Kos 355

An Object Oriented Approach to Telecommunications Network ModelingMarko Lackovic, Robert Inkret and Branko Mikac 360

Discrete Optimization of a Star Topology NetworkJulijaGlaza 368

CONTENTS

Simulation Based Study of Multi-Threshold Mechanism for ABR Services in ATM-NetworksHafssa Benaboud 373

Logistics Simulation

Simulation of Autonomous DCVS for Baggage Handling at AirportsIvo Fischer and Alexander Fay 381

Simulation of Container Terminal - A General ApproachKrzysztof Amborski and Andrzej Dzielinski 385

EDUCATION AND GAMING

Games for Engineering EducationBernd Scholz-Reiter, Wolfgang Echelmeyer, Tilo Hamann and Jens Hoheisel 391

Teaching Partial Differential Equations through the Internet: an Interactive ApproachManuel Alfonseca, Juan de Lara and German Montoro 395

TRUC: an eLearning tool for Risk and Uncertainty ConceptsBart H.M. Gerritsen and Ale T. Ganzeveld 400

Simulation of Queueing Networks in PetriSimJaroslav Sklenar 403

SIMULATION IN BIOLOGY, ECOLOGY AND MEDICINE

Simulation in Biology and Chemistry

Modelling of Information Flows in CellsMarco Weismueller, Rainer Konig and Roland Eils 413

CONTENTS

L-systems and MTGs: Integrating Simulation and Formal Analysis of Architectural PlantModelsPascal Ferraro, Christophe Godin, Przemyslaw Prusinkiewicz 418

Integrating a Bond Graph Based Model of Chemo Mechanical Coupling with Huxley'sSliding Filament TheoryVanessa Diaz-Zuccarini, Jacques LeFevre, Ahmed Rahmani and Marisol Delgado 423

Simulation in Bio-Medicine

From Simulation Chips to Biomedical SimulatorsJiri Kofranek, Michal Andrlik, Tomas Kripner and Jan Masek 431

Distributed Simulation of Metabolic Networks with Model VariantsMarc Daniel Haunschild, Bernd Freisleben, Wolfgang Wiechert and Ralf Takors 436

Modelling and Simulation of Metabolic Networks Petri Nets Approach and PerspectiveMing Chen 441

Virtual Strabismus: Movements of the Eyes simulated in 3D for Educational PurposesKlaus Heiko Wassill and Thomas Kowarsch 445

A Real-Time Software Architecture based on Petri Nets for the Design of MedicalInstrumentation Computing PlatformsRamiro Velasquez and Pedro Gutierrez 448

Evolving both Hardware Subsystems and the Selection of Variants of such into anAssembled SystemJim Torresen 451

Simulation in Ecology

System Dynamics for Environmental Management: Four Case StudiesImmaculada Fernandez, Francisco Moya and Jose Carlos Gonzalez 461

CONTENTS

Preliminary Approach to the Simulation of Coevolution in an Ecosystem: The BacterialPhage InteractionsMarc Baguelin, Jacques Lefebvre and Jean-Pierre Richard 466

Process Integration to the EnvironmentsJiri F. Urbanek 472

ANALYTICAL AND STOCHASTIC MODELLING TECHNIQUES

Communication Systems and Networks

A Scalable Scheme for Call Admission and Handover of a Single Radio Cell in a CellularWATM System: An Analytical ApproachAbdullah M.S.Alkahtani, Khalid Al-Begain and M.E.Woodward 479

Coverage and capacity of a Mobile Infostations SystemDave Cavalcanti, Djamel Sadok and Judith Kelner 486

Software Sirius ++ for Performance Evaluation of Modern Communication NetworksAlexander N.Dudin, Valentina L.Klimenok, Gennadiy V.Tsarenkov 489

Performance Analysis of GSM Cells with Re-Use PartitioningD.D. Kouvatsos, I. Awan, S. Tantos andK. Al-Begain 494

Queueing Systems

Simple Solutions for Periodic QueuesLotharBreuer 505

Busy Period Distribution of the BMAP/PH/1/ QueueLouis-Marie LeNy and Bruno Sericola 513

Impatient Service in Exponential Tandem QueuesCiro D'Apice and Rosanna Manzo 518

CONTENTS

Scheduling Issues in a Partitionable Parallel SystemHelen D.Karatza 522

Analytical Models for Parameter Tracking AlgorithmsD.Al-Dabass, D.Evans and S. Sivayoganathan 527

Stationary Workload Analysis for Single Service Systems with Slowly Decreasing ServiceTime DistributionsGerhard Hasslinger and Daniela Fausten 532

Numerical Methods

Numerical Analysis and Optimisation of Class Based QueueingAndrey Panchenko and Peter Buchholz 543

Visiting Probabilities in Non-Irreducible Markov Chains with Strongly ConnectedComponentsHelene le Guen and Raymond Marie 548

Reliability and Optimization

A Reliability Model for Hardware Reconfigurable Computing SystemsHarriet Spenke 555

Examining Coincident Failures and Usage Profiles in Reliability Analysis of an EmbeddedVehicle Sub-SystemFrederick T.Sheldon, Kshamta Jerath and Stefan A.Greiner 558

Retrial Queues

Performance Modeling of Retrial Systems using the MOSEL LanguageJorg Barner and Gunter Bolch 567

CONTENTS

A Retrial Queueing System with a Finite Buffer, several Input Flows and a CustomerSearching ServerO. Bocharov, C. D'Apice, N. Phong, G.Rizelian 572

SIMULATION IN INDUSTRY

Simulation in Traffic and Manufacturing Processes

A Generic Simulation Model for Systems of Container TerminalsHans P.M. Veeke and Jaap A. Ottjes 581

Integration of Scheduling and Simulation for Flexible Manufacturing SystemsSoemon Takakuwa 588

Simulation-based Configuration and Animation of Production Systems via the InternetTom-David Graupner and Wilfried Sihn 593

Simulation on the Factory Floor

Determination of Optimal Qualities of Products during Research Design and ConstructStages using the Mathematical MethodsNasirKloub 599

Filament Winding Simulation for Robotic Cell DesignAlfredo Anglani, Francesco Nucci and Alessandro Spagnolo 603

Elastic Deformation Compensation of Cutting Technological SystemTareq Ahmad Abu Shreehah 609

Simulation of MTTF-Values for a Ioo2 Safety-related System using an Approach withMonte Carlo MethodJosef Borcsok and Siegbert Hentschke 613

Kinetic Monte Carlo Simulation of Adsorption, Diffusion and Reaction in Single FileNetworks at Steady State ConditionsPeter Brauer and Jorg Karger 618

CONTENTS

Simulation in Electronics

Modelling and Simulation in the Design Flow for Numerically Controlled OscillatorsIreneusz Janiszewski, Bernhard Hoppe and Hermann Meuth 625

Microprocessor Control of Electromechanical Systems with Induction Motor DriveKamal Khandakji 630

Simulation in Electronic Networks

Is VHDL- AMS suited to meet the Challenges of Deep Submicron Integration?GertVoland 637

Full Transceiver Circuit Simulation using VHDL-AMSJean Oudinot, Serge Scotti, Jean Ravatin, Audrey Le-clercq and Jacky Lebrun 642

On the Topography Simulation of Memory Cell Trenches for SemiconductorManufacturing Deposition Processes using the Level Set MethodClemens Heitzinger and Siegfried Selberherr 653

Investigations on IP Based Mobility for Wireless LANs with the Network Simulator NSFrank Christhal, Andreas Huber, Joachim Habermann and Sven Hischke 661

Application of Symbolic Analysis in the Industrial Analog IC DesignRalf Sommer and Eckhard Hennig 666

Power Related Simulation

Multi-Pole Modelling and Simulation of a Four Way Valve Controlled Fluid Power Systemin NUT Programming EnvironmentGunnar Grossschmidt and Mait Harf 677

Design of Switch Mode Power Supplies - An Internet Expert SystemHeinz Schmidt-Walter 682

CONTENTS

Vehicle Simulation

ACME (A Common Mental Environment)-Driver A Cognitive Car Driver ModelDaniel Krajzewicz and Peter Wagner 689

Fault Detection and Isolation in Magnetic Levitation Vehicle using Hybrid ParameterEstimation and Fuzzy Logic Residual EvaluationAthamena Belkacem and Abassi Hadj Ahmed 694

LATE PAPERS

The Application o f W & A in Promoting the Credible Employment of M&S Within theJoint Strike Fighter ProgramRonald L. Ketcham and Steven Bishop 705

Networks of Infinite Server QueuesEugene Lebedev 710

Characteristics of the Simultaneously Functioning Queueing SystemsAlexander A. Chechelnitski 718