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.
Groups
Accemic provides cost effictive and innovative embedded system technology services, including hardware design and...
Western Norway University of Applied Sciences is a working group to learn from and collaborate with government and...