The programming language Oberon
Software—Practice & Experience
Software—Practice & Experience
Communications of the ACM
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Java Security: From HotJava to Netscape and Beyond
SP '96 Proceedings of the 1996 IEEE Symposium on Security and Privacy
Hi-index | 0.00 |
Existing structure of the System for Objective Checking provides only passive safety of flying vehicles. CoDySa (Concept of Dynamic Safety) principles are based on analysis of operating cycle of aircraft. Implementation of CoDySa in practice presumes completing of the steps to modernize existing system. This paper presents further development of the CoDySa principles, namely ground-to-air communication architecture. Possibilities to upload safety-enhancing software components (safelets) are discussed together with scenarios of their use.