group()

R

T

I

Attiva gli esecutori delle RULE (RC)

int_after()

R

T

I

Abilita RULE su evento (priorità 1) ritardata su evento

int_inp()

R

T

I

Abilita RULE su evento (priorità 1) su variazione input veloce

int_timer()

R

T

I

Abilita RULE su evento (priorità 1) a frequenza fissa

mt_ats()

R

T

F

Costruisce un semaforo atomico

mt_ats2()

R

T

F

Costruisce un semaforo atomico

mt_en()

R

T

I

Abilita l'esecuzione da parte di RTE del task o dei task in time-sharing specificati (priorità 7)

mt_dis()

R

T

I

Disabilita l'esecuzione da parte di RTE del task o dei task in time-sharing specificati (priorità 7)

mt_wait()

R

T

I

Arresta (sleep) il task finché la condizione espressa non diventa vera.

order()

R

T

I

Stabilisce l'ordine di esecuzione (OC) degli esecutori delle RULE (RC)

ref_prologue()

R

-

I

RULE sempre attiva a prescindere dai rule counter (RC)

rule()

R

-

I

Definizione di una regola

rule_epilogue()

R

-

I

Rule sempre attiva a prescindere dai rule counter (RC)

rule_freq()

R

T

I

Definizione intervallo di campionamento (SI) RULE   (priorità 2)

rule_init()

R

-

I

Regola di inizializzazione (gira solo all'accensione)

rule_periodic()

R

T

I

Abilita RULE periodica (priorità 4) a frequenza fissa

rule_prologue()

R

-

I

Rule sempre attiva a prescindere dai rule counter (RC)