SYNTONY: network protocol simulation based on standard-conform UML 2 models
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Compositional verification of timing constraints for embedded real-time systems
ACOS'07 Proceedings of the 6th Conference on WSEAS International Conference on Applied Computer Science - Volume 6
An overview of the OMNeT++ simulation environment
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
| Hi-index | 0.00 |
There is a growing interest in using object-oriented analysisand design techniques in conjunction with UML to developlarge complex systems. This paper presents an iterativeapproach for studying the timing constraints of a system-of-systems using models expressed in UML for Realtime extension (UML-RT), which are then translated intocoarse-grained simulation models that are exercised usingthe OMNeT++ simulation engine. The integration of theUML-RT models with simulation models provides a seamlessprocess for rapidly constructing executable prototypesfor the purpose of analyzing timing constraints and derivingsystem requirements from those constraints. The effectivenessof the approach is demonstrated with a case studyof the sensor-netting capability of a missile defense system.