: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