You are hereNew paper for pre-review

New paper for pre-review

By eric.verhulst - Posted on 01 December 2019

Printer-friendly version

A new paper is available for preview. Developed with the University of Minho and CISTER-ISEP in Portugal. It provides a formalization of the VirtuosoNext RTOS Hub interaction mechanism using the REO Coordination language, UPPAAL, and Timed Automata. Title: Verification of Real-Time Coordination in VirtuosoNext.

virtuoso-reo-scp_preview.pdf1.02 MB



Syndicate content