archive-edu.com » EDU » I » ILLINOIS.EDU

Total: 819

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • The Möbius Tool :: Home
    stochastic process algebras Models are constructed with the right level of detail and customized to the specific behavior of the system of interest Hierarchical modeling paradigm Build models from the ground up First specify the behavior of individual components and then combine the components to create a model of the complete system It is easy to combine components in multiple ways to examine alternative system designs Customized measures of system properties Construct detailed expressions that measure the exact information desired about the system e g reliability availability performance and security Measurements can be conducted at specific time points over periods of time or when the system reaches steady state Study the behavior of the system under a variety of operating conditions Functionality of the system can be defined as model input parameters and then the behavior of the system can be automatically studied across wide ranges of input parameter values to determine safe operating ranges to determine important system constraints and to study system behaviors that could be difficult to measure experimentally with prototypes Distributed discrete event simulation Evaluates the custom measures using efficient simulation algorithms to repeatedly execute the system either on the local machine or in a distributed fashion across a cluster of machines and gather statistical results of the measures Numerical solution techniques Exact solutions can be calculated for many classes of models and advances in state space computation and generation techniques make it possible to solve models with tens of millions of states Previously such models could be solved only by simulation The Möbius Approach The Möbius tool was built based on the belief that no one modeling formalism can be the best way to build all models of systems from across the diverse spectrum of application domains In addition to the fact that many domain

    Original URL path: https://www.mobius.illinois.edu/ (2015-05-29)
    Open archived version from archive


  • The Möbius Tool :: Research
    Saarland University for their work on integrating MODEST with Möbius Peter Buchholz Peter Kemper and Carsten Tepper of the University of Dortmund for their work integrating the APNN Toolbox and Möbius Holger Hermanns for his work on optimal lumping Peter Kemper for his work on the state level AFI Markus Siegle and Kai Lampka of Universität der Brundeswehr München for their work in developing action synchronization based composition Boudewijn Haverkort and David Janecek of the University of Twente for their work incorporating FiFiQueues with Möbius Möbius Architecture The Möbius frameworkprovides a very general way to specify a model in a particular formalism We define a formalism as a language for expressing a model within the Möbius framework frequently using only a subset of the options available within the framework We define models within the Möbius framework using a few basic concepts A model is a collection of state variables actions and reward variables expressed in some formalism Briefly state variables hold the state information of the model Actions change the state of the model over time Reward variables are ways of measuring something of interest about the model Although the basic elements of a model are very general and powerful formalisms need not make use of all the generality In fact it may be useful to restrict the generality in order to exploit some property for efficiency The purpose of some formalisms is to expose these properties easily and to take advantage of them for efficient solution Möbius was designed with this in mind In order to improve the reusability of modles already built it is useful to classify models as follows The most basic category is that of atomic models An atomic model is a self contained but not necessarily complete model that is expressed in a single formalism

    Original URL path: https://www.mobius.illinois.edu/research.php (2015-05-29)
    Open archived version from archive

  • The Möbius Tool :: Papers
    pp 67 84 An Efficient Disk based Tool for Solving Very Large Markov Models D D Deavours and W H Sanders 96DEA02 Raymond Marie et al Eds Computer Performance Evaluation Proceedings of the 9th International Conference on Modelling Techniques and Tools TOOLS 97 St Malo France June 3 6 1997 Lecture Notes in Computer Science no 1245 Berlin Springer 1997 pp 58 71 An Efficient Well Specified Check D D Deavours and W H Sanders 99DEA01 Proceedings of PNPM 99 8th International Workshop on Petri Nets and Performance Models Zaragoza Spain September 8 10 1999 pp 124 133 IEEE Xplore entry The Möbius Execution Policy D D Deavours and W H Sanders 01DEA02 Proceedings of the 9th International Workshop on Petri Nets and Performance Models Aachen Germany September 11 14 2001 pp 135 144 IEEE Xplore entry Möbius Framework and Atomic Models D D Deavours and W H Sanders 01DEA01 Proceedings of the 9th International Workshop on Petri Nets and Performance Models Aachen Germany September 11 14 2001 pp 251 260 IEEE Xplore entry On the Fly Solution Techniques for Stochastic Petri Nets and Extensions D D Deavours and W H Sanders 96DEA01 Proceedings of 7th International Workshop on Petri Nets and Performance Models PNPM 97 Saint Malo France June 3 6 1997 pp 132 141 IEEE Xplore entry On the Fly Solution Techniques for Stochastic Petri Nets and Extensions D D Deavours and W H Sanders 97DEA02 IEEE Transactions on Software Engineering vol 24 no 10 October 1998 pp 889 902 IEEE Xplore entry The Möbius State Level Abstract Functional Interface S Derisavi 03DER02 Master s Thesis University of Illinois at Urbana Champaign 2003 Optimal State Space Lumping in Markov Chains S Derisavi H Hermanns and W H Sanders 02DER01 Information Processing Letters vol 87 no 6 September 30 2003 pp 309 315 Integrating Analysis Techniques in Möbius Experiences with Interfaces S Derisavi and P Kemper 03DER04 Proceedings of ICALP 2003 Satellite Workshop on Stochastic Petri Nets and Related Formalisms Universität Dortmund Research Report No 780 Eindhoven The Netherlands June 28 29 2003 p 170 The Möbius State level Abstract Functional Interface S Derisavi P Kemper W H Sanders and T Courtney 01DER01 Computer Performance Evaluation Modelling Techniques and Tools Proceedings of the 12th International Conference TOOLS 2002 London UK April 14 17 2002 Lecture Notes in Computer Science vol 2324 T Field P G Harrison J Bradley and U Harder eds Berlin Springer pp 31 50 The Möbius State level Abstract Functional Interface S Derisavi P Kemper W H Sanders and T Courtney 02DER02 Performance Evaluation vol 54 no 2 October 2003 pp 105 128 Abstract Model Specification Using the Möbius Modeling Tool J M Doyle 00DOY01 Master s Thesis University of Illinois 2000 Implementing the ADVISE Security Modeling Formalism in Möbius M D Ford K Keefe E LeMay W H Sanders and C Muehrcke 12FOR04 Proceedings of the 43rd Annual IEEE IFIP International Conference on Dependable Systems and Networks DSN Budapest Hungary June 24 27 2013 IEEE

    Original URL path: https://www.mobius.illinois.edu/papers.php (2015-05-29)
    Open archived version from archive

  • The Möbius Tool :: Community
    vol 2 Calgary Canada July 1998 pp 587 599 S Chiaradonna F Di Giandomenico and A Bondavalli Analytical Modelling of GUARDS Mechanisms and Components Example of Error Filtering Mechanism GUARDS Project PDCC Activity Output Report GUARDS D3A4 AO 6002 version C March 18 1997 A Coccoli A Bondavalli and F Di Giandomenico Analysis and Estimation of the Quality of Service of Group Communication Protocols in Proc ISORC 01 4th IEEE International Symposium on Object oriented Real time Distributed Computing Magdeburg Germany 2001 pp 209 216 A Coccoli S Schemmer F Di Giandomenico M Mock and A Bondavalli Analysis of Group Communication Protocols to Assess Quality of Service Properties in Proc HASE00 5th IEEE High Assurance System Engineering Symposium Albuquerque NM USA 2000 pp 247 256 A Coccoli P Urbán A Bondavalli and A Schiper Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements in Proc Int l Conf on Dependable Systems and Networks DSN Washington DC USA pp 551 560 June 2002 D Codetta Raiteri Modelling and Simulating a Benchmark on Dynamic Reliability as a Stochastic Activity Network Proceedings of the European Modelling and Simulation Symposium EMSS Rome Italy September 2011 pp 545 554 D Codetta Raiteri and R Nai Evaluation of Communication Scenarios inside the Electrical Power System doi International Journal of Modelling and Simulation vol 30 3 pages 345 352 ACTA Press September 2010 D Codetta Raiteri and R Nai Representing Domains and Scenarios by Means of Model Replication and Composition Proceedings of the Advances in Risk and Reliability Technology Symposium AR2TS Stratford upon Avon UK April 2011 pp 261 274 D Garcia Roger M Jose Domenech Benlloch J Martinez Bauset and V Pla Adaptive Admission Control Scheme for Multiservice Mobile Cellular Networks in Proceedings of the 1st Conference on Next Generation Internet Networks NGI2005 Rome Italy Apr 18 20 2005 pp 288 295 D Garcia Roger M Jose Domenech Benlloch J Martinez Bauset and V Pla Adaptive Trunk Reservation Policies in Multiservice Mobile Wireless Networks in Proceedings of the 8th International Conference on Management of Multimedia Networks and Services MMNS Barcelona Spain October 24 26 2005 pp 47 58 Lecture Notes in Computer Science LCNS 3754 Springer Verlag 2005 D Garcia Roger M Jose Domenech Benlloch J Martinez Bauset and V Pla Comparative Evaluation of Adaptive Trunk Reservation Schemes for Mobile Cellular Networks in Proceedings of the 3rd International Working Conference on Performance Modelling and Evaluation of Heterogeneous Networks HET NETs Ilkley UK July 18 20 2005 paper no 25 P J E Goss and J Peccoud Analysis of the Stabilizing Effect of Rom on the Genetic Network Controlling Plasmid ColE1 Replication in Proc Pacific Symposium for Biocomputing pp 65 76 1999 P J E Goss and J Peccoud Quantitative Modeling of Stochastic Systems in Molecular Biology using Stochastic Petri Nets Proc Natl Acad Sci U S A vol 95 pp 6750 6755 1998 F Grandoni S Chiaradonna and A Bondavalli A New Heuristic to Discriminate Transient from Intermittent Faults in Proc 3rd IEEE High Assurance System Engineering Symposium Bethesda MD USA 1998 pp 224 231 Y He A T Tai and A Avizienis Performability Evaluation of the Certification Trail Method Using UltraSAN Proceedings of the International Workshop on Computer Aided Design Test and Evaluation for Dependability Beijing China July 1996 pp 139 144 K Hjelmgren and S Svensson Reliability Analysis of a Jet Engine Control System Technical Report No 284 Dept of Computer Engineering Chalmers University of Technology 1996 F J Jaimes Romero C A Molina Ramirez D Munoz Rodriguez and H Tawfik Modeling Handoff and Dynamic Channel Allocation Using Petri Nets Proc IEEE Vehicular Technology conference 1995 pp 876 890 F J Jaimes Romero D Munoz Rodriguez C Molina and H Tawfik Modeling Resource Management in Cellular Systems using Petri Nets IEEE Transactions on Vehicular Technology vol 46 No 2 p p 298 312 1997 E Jenn and M Nelli Approach Methodology and Tools for Validation by Analytical Modelling Technicatome PDCC Second Part of D302 Functional Specification and Preliminary Design of GUARDS Validation Environment ESPRIT Project 20716 GUARDS Report February 1997 Kshamta Jerath Modeling and Stochastic Analysis of Embedded Systems Emphasizing Coincident Failures Failure Severity and Usage Profiles Master s Thesis Washington State University 2002 Kshamta Jerath and Frederick T Sheldon Assessing the Effect of Failure Severity Coincident Failures and Usage Profiles on the Reliability of Embedded Control Systems Proceedings of the ACM Symposium on Applied Computing Nicosia Cyprus March 14 17 2004 Kai Lampka and Markus Siegle Symbolic Composition within the Moebius Framework in B Wolfinger and K Heidtmann Eds Leistungs Zuverlessigkeits und Verlesslichkeitsbewertung von Kommunikationsnetzen und verteilten Systemen 2 MMB Arbeitsgesprech pp 63 74 Universitat Hamburg Fachbereich Informatik Bericht 242 2002 C Lindemann DSPNexpress A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets Performance Evaluation vol 22 pp 3 21 1995 C Lindemann A Reuys and A Thümmler The DSPNexpress 2 000 Performance and Dependability Modeling Environment Proc Int Symposium on Fault tolerant Computing Systems Madison Wisconsin pp 228 231 June 1999 J Mataix Oltra V Casares Giner and P Garcia Escalle Evaluation of Tracking Local Strategies in Wireless Networks with Stochastic Activity Networks Proceedings of the 7th International Conference on Universal Personal Communications vol II Florence Italy October 1998 pp 735 740 N Mazzocca S Russo and V Vittorini The Modelling Process and Petri Nets Reasoning on Different Approaches in Process Modelling PROCMOD99 ed by B Sholz Reiter H D Stahlmann and A Nethe pp 37 56 Springer 1999 John F Meyer Performability of an Algorithm for Connection Admission Control IEEE Trans Comput vol 50 no 7 pp 724 733 July 2001 John F Meyer Performability of Algorithms for Connection Admission Control in Proc ICDSN 2000 New York NY pp 181 190 June 2000 John F Meyer and J L Tseng Evaluation of Cell Loss Correlation Using Stochastic Activity Networks in Proc 3rd ORSA Telecommunications Conference Boca Raton FL March 1995 John F Meyer and J L Tseng Exact and Approximate Analysis of ATM Cell

    Original URL path: https://www.mobius.illinois.edu/community.php (2015-05-29)
    Open archived version from archive

  • The Möbius Tool :: Login to Möbius
    Community Login User Login User Name Password New to Möbius Create an Account Recover User Password 2015 William H Sanders and the Board of Trustees of the University of Illinois

    Original URL path: https://www.mobius.illinois.edu/login.php (2015-05-29)
    Open archived version from archive

  • The Möbius Tool :: Create Möbius Account
    sentence that best describes you I am a faculty or staff member at an academic institution and will be using the tool solely for non profit educational and or research use not consulting I am a student and will be using the tool solely for non profit educational and or research use not consulting I work for a non academic institution or will otherwise be using the tool for profit

    Original URL path: https://www.mobius.illinois.edu/createAccount.php (2015-05-29)
    Open archived version from archive

  • The Möbius Tool :: Recover Password
    click Submit An email message will arrive shortly to this account with your username and a new random password If you do not have access to your email account anymore please contact the Möbius staff at staff mobius illinois edu

    Original URL path: https://www.mobius.illinois.edu/forgotPassword.php (2015-05-29)
    Open archived version from archive

  • Mobius Wiki
    the material you are looking for or try the Search box in the upper right corner In addition this website is a wiki similar to Wikipedia In order to edit any of the pages on this wiki you must first log in Your login information is the same as the login details you use to access the main Möbius website Getting Started with Möbius If you are new to Möbius the first thing you need to do to get started is create an account on the main Möbius website Once your account request has been approved by our staff you ll be able to download the tool and begin modeling After you download the tool use the instructions on the Möbius website or the Installation instructions on this wiki to install Möbius Next you may wish to dig into the detailed documentation starting with the Modeling Background page or try out one of our Tutorials to learn the tool If you have a specific kind of system you are trying to model you should consider exploring the Examples page to see a list of example projects from the Möbius team as well as contributions from our user community Retrieved from

    Original URL path: https://www.mobius.illinois.edu/wiki/index.php/M%C3%B6bius_Documentation (2015-05-29)
    Open archived version from archive



  •