Open Source Java Agile Development Tools for BSD

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.

The Orchestrator server is responsible for distribution and launch of simple apply/rollback shell scripts in a particular order across multiple servers . If for any reason deployment is failing at a particular stage the process will stop and you can rollback any changes done until then. In case you want to deploy your code or just call your preferred DSC client to apply the configuration locally the Orchestrator can be a handy tool. The operation can be started manually or scheduled, depending on your needs. In terms of audit and trace capabilities, the system is collecting all console output of your shell scripts from all servers and saves the logs centrally for review.

Cyclone is java-based rich GUI web tool for automating tasks with ease. Cyclone is a project that was borne out of necessity. Agreed, there are many native tools that allow task to be scheduled or automated on most operating systems, however, Cyclone is more than just an automation tool. In many programming languages, there are batch module/libraries available to schedule jobs, but need quite a bit of enhancements to provide similar feature set as Cyclone. Cyclone comes with a number of fascinating features Real-time progress and status montoring for jobs Pause, resume and stop an executing job Multi-user environment with in-built authentication and authorization modules Polygot - jobs can be implemented in java, groovy, ruby, javascript and python Easy administration and configuration - user management etc. Extensible security module

Dynamic tree of Java objects encapsulates hard-drive and Jar/Zip files (and their inner files) and Java objects all the same way. Create new ways of communication as executable Jar files, like a paint program that creates/uses paint programs as tools

Deployer is a Java-based AJAX web application that performs automatic deployments of WAR files to different containers. WAR artifacts taken from a Maven repository can be deployed to various stages. Featuring XML configuration and i18n support.

Libinstrument is a complete and easy way to do custom function instrumentation for C/C++. The project comes ready with classic applications of instrumentation, such as AOP (Aspect Oriented Programming), Concern and Side Effect injection, stack tracing, exception tracing, basic time profiling, callgraph profiling and other. A GC (Garbage Collector) module is also under development. Libinstrument is highly portable and decoupled. The project comes with a CMake build system, integration with IDEs (CLion, Eclipse e.t.c) is straightforward. Using lazy algorithms there is virtually zero overhead in benchmarks and minimum overhead in execution time. Libinstrument tries to be as non-intrusive as possible, while trying to help the developer offering basic reflection. There are Unit Tests for each class and method, testing is driven with CTest.