There's even an implementation for high-assurance systems like INTEGRITY-178B supplied by Objective Interface: http://www.omg.org/news/meetings/workshops/SBC_2

There's even an implementation for high-assurance systems like INTEGRITY-178B supplied by Objective Interface: http://www.omg.org/news/meetings/workshops/SBC_2005/SBC_2005_Proceedings/03-2_Buesing.pdf http://www.omg.org/news/meetings/workshops/SBC_2005/SBC_2005... As I suspected, the slides I dug up indicated they built it with some rigor but not high assurance itself. Probably too complex: the very reason I object to CORBA. Like you said, though, CORBA did have successes with this one in very-demanding niche in terms of predictability and security.