Summary: A new era of embedded process management for safety and security critical software development is about to happen. This new era encompasses formal methods, model based design and object oriented technology, including real time Java, as well as traditional C based development.
