58 search results - page 6 / 12 » UML Profiles for Modeling Real-Time Communication Protocols |
147
Voted
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
In this work we develop a secure communication protocol in the context of a Remote Meter Reading (RMR) System. We first analyze existing standards in secure communication (e.g. IP...
140
click to vote
JSS
2008
15 years 2 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
129
click to vote
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
Design patterns document good design solutions to a recurring problem in a particular context. They are typically modeled using UML. In practice, however, pattern-related informat...
158
Voted
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
119
click to vote
FORTE
2008
15 years 5 months ago
2008
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...