Evolving the Engineering Culture at Criteo

by Ben Linders on  Apr 03, 2017

Senior management should make engineering culture a top priority and create the framework which supports building a good engineering culture. You need values for culture to evolve, supported by rules that govern how things are done.

Developing Provably-Correct Software Using Formal Methods

by Ben Linders on  May 22, 2015 9

Computer-checked models can be used to prove that core communications and state management in a software program are 100% logically correct. Such models can also be used to generate 100% correct source code. The usage of formal methods can reduce costs and time to market and help to deliver highly reliable software products.

SEI Publishes The CERT Guide to Insider Threats Book

by Michael Stal on  Mar 03, 2012 1

What do ACTA, SEPA, PIPA, Stuxnet, Google have in common? They all have been hot topics in the press during the last months and they are dealing with information security. What, however, is commonly forgotten are internal threats related to espionage and stealing of company information.

Acceleration Problems in Cars caused by Software

by Michael Stal on  Mar 03, 2012

In a recent news report CNN has revealed a translated Toyota memo which links problems of the car manufacturer regarding an electronic acceleration concern to a software issue. When even news magazines pick up such stories, this shows the growing importance of software for embedded systems.