Projects on Artur Meski

ReactICS

Mon, 01 Jan 0001 00:00:00 +0000

Formal verification of reaction systems

Reaction systems are a formalism inspired by the functioning of living cells. They allow for specification and analysis of computational processes in which reactions operate on sets of entities (or molecules).

The behaviour of a reaction system is determined by the interactions of its reactions, which are based on the mechanisms of facilitation and inhibition. The formal treatment of reaction systems is qualitative and there is no direct representation of the number of entities involved in reactions.

DHCP Lease Monitor

Mon, 01 Jan 0001 00:00:00 +0000

This is a daemon for monitoring lease changes on OpenBSD for the specified interfaces. When a change happens it then calls a script located in /etc/dhcpleasemon. The script name should be:

lease_trigger_<interface>

The script has access to the following environment variables:

$DHCP_IFACE – interface name
$DHCP_IP_ROUTE – default route for the interface
$DHCP_IP_ADDR – IP address from the lease

The daemon is implemented in Rust and is available on GitHub.

PhD Thesis

Mon, 01 Jan 0001 00:00:00 +0000

Here you can find my PhD thesis and the slides I used during my public PhD defence.

Abstract

Reaction systems are a formal model inspired by the functioning of living cells. This model allows for specifying and analysing computational processes in which reactions operate on sets of molecules.

The behaviour of a reaction system is determined by the interactions of its reactions, which are based on the mechanisms of facilitation and inhibition. The formal treatment of reaction systems is qualitative and there is no direct representation of the number of molecules involved in reactions.