Work in this paper identifies specific problems when TTCN is used for real-time testing together with ways these problems can be avoided or their effect at least minimised. This contribution proposes the main real-time extensions that are necessary to be supported by the TTCN language for real-time testing, specifically the prioritised timers and the prioritised coordination messages extensions...

An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active timers in many of today's protocols, the number of consecutive self-loops that can be traversed in a given state before a timeout occurs is limited. A test sequence that does not consider timing constraints will likely ...

Active automata learning is emerging as an effective bug finding technique, with applications in areas such as banking cards, network protocols and legacy software. Timing often plays a crucial role in these applications, but cannot be handled by existing learning algorithms. Even though there has been significant progress on algorithms for active learning of timed models, these are not yet bro...

In the current RSVP design [2], there is no reliability mechanism for control message delivery. Instead RSVP relies on periodic refresh between routers to maintain reservation states. This approach has several potential problems in a congested network. End systems send PATH and RESV messages to set up RSVP connections. If the first PATH or RESV message is accidentally lost, an upstream router w...

Abstract Restart has the potential of expediting or impeding completion times general random processes. Consequently, issue mean-performance takes center stage: quantifying how application restart on a process interest impacts its completion-time’s mean. Going beyond mean, little is known affects stochasticity measures time. This paper first in duo studies that address this knowledge gap via: c...

Current traffic signals in Jordan suffer from severe congestion due to many factors, such as the considerable increase number of vehicles and use fixed timers, which still control existing signals. This condition affects travel demand on streets Jordan. study aims improve an intelligent road management system (IRTMS) derived human community-based genetic algorithm (HCBGA) mitigate signal Amman,...

Seasonal clocks (e.g., circannual clocks, seasonal interval timers) permit anticipation of regularly occurring environmental events by timing the onset of seasonal transitions in reproduction, metabolism, and behavior. Implicit in the concept that seasonal clocks reflect adaptations to the local environment is the unexamined assumption that heritable genetic variance exists in the critical feat...