Express Logic at Embedded World 2014

Express Logic discusses the introduction of 2 new products for GUI design, GUIX and GUIX Studio. They also highlight their expanded partnership with Renesas Electronics Europe, and conclude with an ob...


Ada as a platform for reliable software development

This video introduces the latest developments in Ada-related technologies. It presents how the language is used as the basis for a reliable software development environment, for example through SPARK....


Cadence Virtual System Platform

Speaker: Jens Stellmacher, Cadence Jens Stellmacher, Senior Services Manager for System Design & Verification at Cadence, gives a demo in which he highlights the features and benefits of the Ca...


Ada 2012 on the ARM processors

Speaker: Michael Friess, AdaCore With GNAT Pro, AdaCore is now bringing Ada 2012 and contract-based programming to ARM Cortex processors. Supporting bare boards as well as VxWorks 6-based platforms...


Embedded USB solutions for ARM Cortex-M based MCUs

Speaker: Dirk Fischer, Fujitsu Semiconductor Fujitsu offers a wide range of ready to use USB solutions for their FM3 and FM4 ARM Cortex-M MCU Families. Whether you want to update your firmware from...


Re-useable Software for ARM MCUs

Speaker: Dave Hughes, HCC Embedded Dave Hughes, CEO of HCC, discusses how to use a framework approach to develop re-useable software for ARM based MCUs Links to more information HCC Websit...