hrcak mascot   Srce   HID

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

From CRSM to a Tasking Design

Régis Aubry
Jean-Philippe Babau
Zhongwei Huang
Jean-Jacques Schwarz
Katarina Jelemenska

Puni tekst: engleski, pdf (867 KB) str. 207-219 preuzimanja: 199* citiraj
APA 6th Edition
Aubry, R., Babau, J., Huang, Z., Schwarz, J. i Jelemenska, K. (2000). From CRSM to a Tasking Design. Journal of computing and information technology, 8 (3), 207-219. https://doi.org/10.2498/cit.2000.03.04
MLA 8th Edition
Aubry, Régis, et al. "From CRSM to a Tasking Design." Journal of computing and information technology, vol. 8, br. 3, 2000, str. 207-219. https://doi.org/10.2498/cit.2000.03.04. Citirano 12.12.2019.
Chicago 17th Edition
Aubry, Régis, Jean-Philippe Babau, Zhongwei Huang, Jean-Jacques Schwarz i Katarina Jelemenska. "From CRSM to a Tasking Design." Journal of computing and information technology 8, br. 3 (2000): 207-219. https://doi.org/10.2498/cit.2000.03.04
Harvard
Aubry, R., et al. (2000). 'From CRSM to a Tasking Design', Journal of computing and information technology, 8(3), str. 207-219. https://doi.org/10.2498/cit.2000.03.04
Vancouver
Aubry R, Babau J, Huang Z, Schwarz J, Jelemenska K. From CRSM to a Tasking Design. Journal of computing and information technology [Internet]. 2000 [pristupljeno 12.12.2019.];8(3):207-219. https://doi.org/10.2498/cit.2000.03.04
IEEE
R. Aubry, J. Babau, Z. Huang, J. Schwarz i K. Jelemenska, "From CRSM to a Tasking Design", Journal of computing and information technology, vol.8, br. 3, str. 207-219, 2000. [Online]. https://doi.org/10.2498/cit.2000.03.04

Sažetak
This paper introduces elements to facilitate crossing of the gap between analysis and design in the case of real-time applications relying on multitasking operating system. The chosen specification method is based on the use of Shaw’s CRSM (Communicating Real-Time States Machines) and our purpose is to put the basis of a method for an easier translation of a CRSM-based modelling of a system into a real-time multitasking execution model. In order to do this, we present guidelines for translating the basic constructs of a CRSM model (communicating machines, channels, transitions) into programs involving the usual objects and primitives found in off-the shelf real-time multitasking operating systems (tasks or threads, message passing, event signalling ...). The guidelines are illustrated with the classical specification example of the Martian Lander. The aim is to overcome the gap between a specification made with the CRSM and a multitasking execution model: this will then enable good possibilities for verification. The specification can be executed and the design can be verified for correctness (liveliness, safety). Eventually, a comparison between the behaviour of the specified model and that of the target program can be made.

Hrčak ID: 44837

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

Posjeta: 291 *