Implementing test suites for distributed software systems is a complex and time-consuming task due to the number of test cases that needs to be considered in order to obtain high coverage. We show how a formal Coloured Petri Net model can be used to automatically generate a suite of test cases for the Paxos distributed consensus protocol.
Welcome to COEMS Open Data Portal
COEMS (Continuous Observation of Embedded Multicore Systems) is a novel observer platform with supporting verification methods for embedded multicore systems. As part of the Open Data Pilot that the COEMS project is participating in, COEMS Open Data Portal devotes to collect software and hardware trace data from both academy and industry partners.
Latest Data Stories
Data races occur in multi threaded programs when two or more threads access the same memory location concurrently, and at least one of the accesses is for writing, and the threads are not using any exclusive locks to control their accesses to that memory.
The ability to observe the internals of an execution of a computer-based system is a fundamental requirement for ultimately ensuring correctness and safe behaviour. Within COEMS (Continuous Observation of Embedded Multicore Systems) a novel observer platform with supporting verification methods for software systems is created.
Runtime verification refers to a class of lightweight scalable techniques for analysis of execution traces. The core idea is to instrument a program to emit events during its execution, which are then processed by a monitor.