Search Results for "express engine tools"

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

Firmware for home made ECU/PCM (Electronic Fuel Injection & ignition controller) for 2006 Ford Mustang car. It also supports vehicle's CAN bus to exchange data with smart junction box unit (gauge cluster && a/c). Project is based on megasquirt project, it uses same tuning tools (megatune/TunerStudio MS). There are three CPUs in total, so project contains three diferent firmwares for each microcontroller. Main CPU is NXP ARM7 LPC2366 running AOS operating system (also my project). Remaining...

itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools