Bitron/BUGSENG @ Automotive S/W Workshop
On November 7th, 2013, Ugo Schiara, Automotive Software Department Mgr. of the Grugliasco BU of Bitron, and Roberto Bagnara, CEO/CTO of BUGSENG, will give a joint presentation at the 11th Workshop on Automotive Software & Systems. The presentation, titled “Is the code we have verified what we really have embedded?”, focuses on the importance of ensuring that the embedded code and the verified code actually coincide and, more generally, reports on the ongoing Bitron/BUGSENG partnership aimed at the adoption of a more reliable and efficient software verification technology.
Bitron is a privately owned multinational company leader in the research, development and manufacturing of mechatronic devices and systems for the automobile, appliance, HVAC and renewable energy industries. Bitron has a global presence with 12 manufacturing plants and development centres, 9 sales and marketing centres, 1 after sales centre, 1 technical centre.