Our recent research has resulted in a method that ensures safe OSGi bundle
updates and package bindings despite potentially errorneous meta-data, e.g.
package versions. It uses subtype checks and is implemented as a user-space
enhancement of the standard bundle update process. The method was successfully
applied in the Knopflerfish and Apache Felix frameworks; these implementations
also resulted in some general experiences with the OSGi framework which we want