Jon Taylor

Welcome to Controlix!

Controlix is an orthogonal, synchronous operating system kernel written in the SpecC language and is designed to be modular and retargetable.

What makes Controlix unique?

  • Based on the SpecC language for concurrent, verifiable and synthesizable programming. Run the same systems code in userspace, as an OS on a CPU-based system, in parallel on an FPGA or even masked into an integrated circuit.

  • Retargetable interfaces for virtual implementation and portability. Drive systems from a high level of abstraction all the way down to netlist-type "bare wire" layouts.

  • Control hierarchies for generic modularity and extensibility. Full modularity and extensibility.

  • ISO networking abstraction for maximum scalability and standard interoperability. Mix controls into generic systems flows with TCP/IP standards for intercommunication.

  • Standard generic virtual circuit architecture for portability (see the [Controlix virtual circuit] document).


Project Admins:


Wiki: Controlix virtual circuit
Wiki: FAQ

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks