The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Among many models proposed for the specification and verification of real-time systems, Time Petri nets and Timed Automata are prominent. These two models which were developed independently for years bear strong relationships. In this paper we consider the relationship between these two models and survey the expressiveness of these two models w. r. t. timed language acceptance and (weak) timed bisimilarity.
Timed Component-Interaction Automata (TCIA) is presented to model and verify real-time componentspsila interaction behavior and timing constraint information. The component-interaction automata model combines the advantages of both architecture description languages and general formal verification-oriented model but fails to depict timing constraint information in real-time reactive systems. TCIA...
We present timed component-interaction automata with cost (TCIAC) to specify and verify component interaction behavior, timing cost and timing constraint information in component-based real-time reactive systems. TCIAC extends the description ability of component interaction automata by binding each action with a time interval and a timing cost value. The timing cost values of sequence and parallel...
The "join the shortest queue" (JSQ) policy is studied in this paper, under the context of soft real-time scheduling, and an approximate analytical model is proposed. The result obtained from the approximate analysis is compared against the simulation one, which shows that the approximate analysis is highly accurate. Thus, approximate analysis can be applied to the development of soft real-time...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.