autoCode4

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL).

Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code.

The LTL specification captures the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine.

A step-by-step tutorial is available within the software package.

Features

Control synthesis from formal specification
Produce requirement-to-module traceability report

Project Samples

Synthesized controller in Ptolemy II model

Project Activity

See All Activity >

License

GNU Library or Lesser General Public License version 3.0 (LGPLv3)

Follow autoCode4

autoCode4 Web Site

Other Useful Business Software

The AI workplace management platform

Plan smart spaces, connect teams, manage assets, and get insights with the leading AI-powered operating system for the built world.

By combining AI workflows, predictive intelligence, and automated insights, OfficeSpace gives leaders a complete view of how their spaces are used and how people work. Facilities, IT, HR, and Real Estate teams use OfficeSpace to optimize space utilization, enhance employee experience, and reduce portfolio costs with precision.

Learn More

Rate This Project

User Reviews

Be the first to post a review of autoCode4!

Additional Project Details

Operating Systems

Linux, Mac, Windows

Intended Audience

Aerospace, Developers, Information Technology, Manufacturing, Science/Research

User Interface

Command-line, Console/Terminal

Programming Language

Java

Related Categories

Java Code Generators, Java Embedded Systems Software, Java Agile Development Tools

Registered

2016-10-20

Similar Business Software

Wrike

Wrike’s powerful work management platform enables distributed teams to collaborate in real-time on complex projects. Our versatile, cloud-based software is trusted by top tech companies across the globe, including Siemens and Fitbit. Wrike’s award-winning features include cross-tagging,...

See Software
Hubstaff

Hubstaff is a time tracking software that helps teams log hours, monitor productivity, and automate payments — whether remote, hybrid, in-office, or field-based. Available on desktop, web, and mobile, Hubstaff enables employees to track time against specific tasks and projects from anywhere....

See Software
Retool

Retool is an AI-powered platform that enables teams to build internal software, agents, and workflows faster using natural language and composable building blocks. It allows users to go from a simple prompt to a fully deployed application that works with their existing data, systems, and...

See Software
Windsurf Editor

The Windsurf Editor is a free AI-powered IDE and AI coding assistant that accelerates development by providing intelligent code generation and agents in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Windsurf, developers can write...

See Software
Odoo

Odoo is a fully integrated, customizable, open-source software packed with hundreds of expertly designed business applications. Odoo’s intuitive database is able to meet a majority of business needs, such as: CRM, Sales, Project, Manufacturing, Inventory, and Accounting, just to name a few. Odoo...

See Software
Planfix

The Planfix platform allows organizations to manage their entire business online. Regardless of company size and industry, Planfix has something to offer as an excellent project and work management tool. With Planfix, your company gets a fully customizable management system, from process design...

See Software