hrcak mascot   Srce   HID

Izvorni znanstveni članak
https://doi.org/10.2498/cit.1001762

RESETting Timed Machines

Ariel Stulman ; Computer Science Department, Jerusalem College of Technology, Jerusalem, Israel

Puni tekst: engleski, pdf (533 KB) str. 11-23 preuzimanja: 276* citiraj
APA 6th Edition
Stulman, A. (2011). RESETting Timed Machines. Journal of computing and information technology, 19 (1), 11-23. https://doi.org/10.2498/cit.1001762
MLA 8th Edition
Stulman, Ariel. "RESETting Timed Machines." Journal of computing and information technology, vol. 19, br. 1, 2011, str. 11-23. https://doi.org/10.2498/cit.1001762. Citirano 28.02.2020.
Chicago 17th Edition
Stulman, Ariel. "RESETting Timed Machines." Journal of computing and information technology 19, br. 1 (2011): 11-23. https://doi.org/10.2498/cit.1001762
Harvard
Stulman, A. (2011). 'RESETting Timed Machines', Journal of computing and information technology, 19(1), str. 11-23. https://doi.org/10.2498/cit.1001762
Vancouver
Stulman A. RESETting Timed Machines. Journal of computing and information technology [Internet]. 2011 [pristupljeno 28.02.2020.];19(1):11-23. https://doi.org/10.2498/cit.1001762
IEEE
A. Stulman, "RESETting Timed Machines", Journal of computing and information technology, vol.19, br. 1, str. 11-23, 2011. [Online]. https://doi.org/10.2498/cit.1001762

Sažetak
Many real-time applications enable RESET to account for all kinds of unexpected problems, or to accommodate for a users’ want of restarting. Additionally, some software testing techniques must allow for resetting timed-Implementations Under Test (t-IUT). Dedicated internal logic is probably the most common of solutions for accomplishing such tasks. There are situations, however, where such a privilege doesn’t exist; thus, it cannot be built upon. Testing pre-engineered timed-IUTs is one such case. In this paper we wish to present an algorithm for the direct generation of timed RESET sequences from the timed-IUT specification, such that it should be optimal w.r.t. to execution time.

Ključne riječi
software/program verification; formal methods; models of computations; automata; realtime systems

Hrčak ID: 67546

URI
https://hrcak.srce.hr/67546

Posjeta: 421 *