[$] Safety certification for open-source systems

This year'sLinaro Connect in Lisbon, Portugal featured a number of talks about the use ofopen-source components in safety-critical systems. Kate Stewart gave a keynote on the topicon the first day of the conference. In it, she highlighted several projects thathave been working to pursue safety certification and spoke about the importance ofbeing able to trace software's origins to safety. In a talk on the second day, RobertoBagnara shared his experience with working on one of those projects, the Xenhypervisor, to conform to a formal set of rules for safety-critical code.