InfoQ Homepage Presentations Certifying Your Car with Erlang
Certifying Your Car with Erlang
35:01
Summary
John Hughes explains how Quviq tests embedded ECU software for AUTOSAR compliance using QuickCheck.
Bio
John Hughes is co-founder and CEO of Quviq AB, and the originator of Quviq QuickCheck in Erlang. Before John's involvement with Erlang, he was deeply involved with the design of Haskell from the start, and co-chaired the committee that defined the current language standard.
About the conference
This year’s Erlang Factory SF Bay Area 2012 had an A-list sell-out line-up of speakers which included Erlang Inventors Mike Williams and Robert Virding discussing software approaches used in the industry and the unique features of the Erlang VM and a Keynote talk from Jim Zemlin, Executive Director of The Linux Foundation.
Sep 20, 2012