Search Results for "form code"

...See duktape.org for packaged end-user downloads and documentation. The end user downloads are also available from the duktape-releases repo as both binaries and in unpacked form as git tags.

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. ...

...It connects your project using a MSP430F5529 LaunchPad and CC3000 BoosterPack. Two software packages are available: the Exosite barebones-template solution and a real-world example in the form of the Exosite BBQ Companion Combination. Both of these use-cases have code available for the Energia and Code Composer Studio IDEs. •Present Support: MSP430F5529 LaunchPad •Future Support: Tiva C Series TM4C123G LaunchPad •Required: CC3000 Wi-Fi Transceiver BoosterPack •Optional: ADS1118 BoosterPack (bonus Energia beta-library available) •GitHub Repository: https://github.com/a-whitehead/exositeLaunchPad Note: A free account on Exosite Portals is required: https://ti.exosite.com To discuss this code and more, visit: http://forum.43oh.com/topic/5108-energia-library-exosite-internet-of-things-visual-analytics-remote-monitoring/