ALA7 programming language to write applications that work good. Computer resource are used in an efficient manner. Program code is readable and easily auditable – very important feature when reliability is concerned because not all programming errors can be found through testing. Buffer overflows are not found thanks to dynamic data types.
SPHERE operating system for embedded devices. System code was written ia ALA7 programming language resulting in high quality reliable code. Autoamated tests vere pertormed to assure more system reliability. New scheduler and interrupt handling procedures vere designed to minimize response time to gui or network events. Graphics code was moved to user API and better performance of graphics applications was achieved. Leading processor architectures : x86 i ARM.