On the accuracy of MANET simulators
Proceedings of the second ACM international workshop on Principles of mobile computing
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
An Efficient Well-Specified Check
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
Synthesis and Stochastic Assessment of Schedules for Lacquer Production
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
Proceedings of the 5th international workshop on Software and performance
Are You Still There? " A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks
DSN '05 Proceedings of the 2005 International Conference on Dependable Systems and Networks
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems
IEEE Transactions on Software Engineering
A theory of stochastic systems part I: Stochastic automata
Information and Computation
A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Analysing and improving energy efficiency of distributed slotted Aloha
NEW2AN'11/ruSMART'11 Proceedings of the 11th international conference and 4th international conference on Smart spaces and next generation wired/wireless networking
Analyzing energy consumption in a gossiping MAC protocol
MMB&DFT'10 Proceedings of the 15th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
mctau: bridging the gap between modest and UPPAAL
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
Hi-index | 0.00 |
The MODEST Tool Environment (MOTOR) is a tool to facilitate the transformation, analysis and validation of MODEST models. MODEST is a modelling language to describe stochastic real-time systems. MOTOR implements the formal semantics of MODEST and is designed to transform and abstract MODEST specifications such that analysis can be carried out by third-party tools. For the time being, a fragment of MODEST can be model-checked using Cadp. The main analytical workhorse behind motor is discrete-event simulation, which is provided by the MÖBIUS performance evaluation environment. We are experimenting with prototypical connections to the real-time model checker UPPAAL.