Safelet implementation technologies: Java vs. Juice

A concept of dynamic safety (CoDySa) has been developed primarily targeting the improvement of aircraft safety. CoDySa principles are based on an analysis of the operating cycle of aircraft. Implementation of CoDySa in practice presumes completing steps to modernize the existing system. The further development of the CoDySa principles are its ground-to-air communication architecture. Possibilities to upload safety-enhancing software components (safelets) have been proposed together with scenarios of their use. These safelets can help a pilot in certain situations. This paper is devoted to software development technologies which can be chosen to implement uploadable safelets. Two main candidates are compared, namely Java and Juice/Oberon. Issues such as code effectiveness and safety are emphasized. Juice/Oberon has been recognized as a better candidate for implementation of safelets