Altro VERIFICATO

LABORATORIO ASM -ABSTRACT STATE MACHINE-

Università degli Studi di Milano sicurezza informatica Curriculum sistemi sicuri 2021
57 visualizzazioni
7 download
Nessun voto ancora
Condividi: WhatsApp Telegram
Anteprima pagina 1 — LABORATORIO ASM  -ABSTRACT STATE MACHINE-

Stai vedendo l'anteprima delle prime pagine. Il file completo è gratis: registrati per leggerlo tutto.

Di cosa parla

  • ASM: abstract state machine per la modellazione e analisi di sistemi, con regole specifiche come function, default init S0, monitored, controlled, dynamic, macro rule.
  • Sintassi ASM: definizioni delle funzioni, variabili, condizioni IF, switch, enum, assegnazioni, chiamate a funzioni, contatori e input monitorati.
  • Logica e esecuzione del programma: main rule in loop, default init, istruzioni una alla volta con par, stati e update set, final state e run terminate.

Questo appunto è gratis. Registrati in 30 secondi per leggere tutte le pagine e scaricarlo.

Altri appunti di MODELLAZIONE E ANALISI DI SISTEMI

Condividi questi appunti

WhatsApp Telegram