Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Statecharts: A visual formalism for complex systems
Science of Computer Programming
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
CCSR: a calculus for communicating shared
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experience with Formal Methods in Critical Systems
IEEE Software
IEEE Spectrum
Validating real-time systems by history-checking TRIO specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Does “just in time” = “better late than never”?
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Maintaining knowledge about temporal intervals
Communications of the ACM
Simulation-Verification: Biting at the State Explosion Problem
IEEE Transactions on Software Engineering
Communication and Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Software Engineering Economics
Software Engineering Economics
Formal Methods for Real-Time Computing
Formal Methods for Real-Time Computing
Consistency checking of SCR-style requirements specifications
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
An Approach to Monitoring and Assertion-Checking of Real-Time Specifications
WPDRTS '96 Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems
Monitoring, testing, and abstractions of real-time specifications
Monitoring, testing, and abstractions of real-time specifications
| Hi-index | 14.98 |
This paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for 驴plugging in驴 user-defined viewers useful in simulating system behavior in different ways, including application-specific ways. MTSim also supports full user participation in the generation of simulations by allowing users to inject events into the execution trace. Moreover, MTSim provides monitoring and assertion checking of execution traces and the invocation of user-specified handlers upon assertion violation. This paper also introduces an MTSim component called WebSim, a suite of simulation tools for MT, and an application-specific component of MTSim which displays the cockpit of an F-18 aircraft and which responds to user inputs to model a bomb release function.