Abstrakt. Larva-övervakningsverktyget har framgångsrikt tillämpats på ett antal industriella Java-system, vilket ger extra garantier för beteendekorrekthet. Med tanke på det ökade intresset för samtidig programmering föreslår vi Elarva, en anpassning av Larva för övervakning av program skrivna i Erlang, ett etablerat industri-styrka samtidig språk. Objektorienterade Larvakonstruktioner har översatts till processorienterad inställning, och den synkrona Larvaövervakningen förändrades till en asynkron tolkning. Vi argumenterar för hur denna löst kopplade körtidsverifieringsarkitektur fortfarande gör det möjligt för monitorer att aktivera återhämtningsåtgärder.
ELARVA runtime kontrollant REF är en anpassning av LARVA för övervakning av samtidiga Erlang-program.
Elarva: a monitoring tool for erlang
{'venue': 'RV', 'journal': None, 'mag_field_of_study': ['Computer Science']}