Moses Home Team Publications Documentation Download

The Moses Project

---

Modeling, Simulation, and Evaluation of Systems Funded by:  Swiss Federal Commission for Technology and Innovation (KTI), under project number 3576.1  Project partners:  Computer Engineering and Networks Lab, ETH Zurich  ESEC S.A., Cham, Switzerland

Overview

The Moses project focuses on the modeling, simulation, implementation, and evaluation/verification of heterogeneous systems. For practical applications, these systems tend to be complex and a formal analysis of all the aspects that might be of interest to its designers is in general computationally intractable or sometimes even impossible in principle.

We are therefore developing a modeling and simulation framework along the following design principles:

• Support for different modeling formalisms
  Since heterogenous systems can usually be modeled best using various different formalisms, the simulation platform should be able to execute such a mixture of models in a meaningful way. The framework should be general enough to accommodate new formalisms, or even informal modeling techniques.
• Efficiency
  Since efficiency is a key factor for the usability of such a system, a model should be executed as fast as possible. We have identified two principal sources to improve efficiency:
  1. Each sub-model has to be executed as fast as possible, i.e., an appropriate simulation algorithm has to be found that exploits the properties of the modeling formalism.
  2. The parallelism inherent in the model should be used to simulate the system in a distributed fashion on several processing units. The simulation platform should support the necessary administrative procedures (synchronization and communication infrastructure).

Our work is based on the results of the CodeSign project, which developed an object-oriented Petri net modeling formalism and a corresponding tool for the design of embedded systems. The Moses project has a strong bias towards modeling power and simulation efficiency in an industrial application which suggests several directions in the development of both the concepts and the tool: more comprehensive statistics, faster simulation, improved configurability, and more expressible modeling languages.

Development Community

The developers of Moses hold an active interest in accomodating the needs of Moses users. Any questions, suggestions, feature requests, contributions, and so on, can be mailed to the Moses mailing lists.

Mailing Lists

The following mailing lists are available:

• Moses Developer Mailing List
  • Subscribe
  • Unsubscribe
  • View Archive
  • Send a Message
• Moses Users Mailing List
  • Subscribe
  • Unsubscribe
  • View Archive
  • Send a Message

Source, Binaries, Contributions and Repositories

Source, binaries, contributions and repositories are available from the Moses Download page. This page includes checkpointed source and binaries (up to Alpha 3), as well as the current (nightly) source and binaries. Interested parties are encouraged to utilise any resources available from the Download page, in compliance with our highly flexible distribution license.

Documentation

Architectural information, as well as tutorials and presentation slides are available from the Moses Documentation page.

The state of Moses as of 7/11/2000.

Miscellaneous

Proceed to the following Moses pages:

• Publications
• Team