Skip to content

arcalab/hubAutomata

master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 
 
 

Hubs for VirtuosoNext™ Documentation Status

Hubs for VirtuosoNext™ is a web-based toolset to build, compose, depict, and analyse Timed Hub Automata. These automata give semantics to Hubs, interacting entities on the Real-Time operating system VirtuosoNext™ developed by Altreonic. Hubs act as synchronisation and communication mechanisms between the application tasks and implement the services provided by the kernel as a kind of Guarded Protected Action with a well defined semantics.

The toolset is developed in Scala, and uses ScalaJS to generate JavaScript. The toolset is developed as a sub-module of ReoLive.

Using the tools

Hubs for VirtuosoNext™ toolset is available to use online or to download and install locally following the installation guidelines.

Either way, read the docs to learn more about how to use the tools.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages