{"id":108407,"date":"2023-05-07T00:48:15","date_gmt":"2023-05-06T22:48:15","guid":{"rendered":"https:\/\/prohoster.info\/?p=108407"},"modified":"2023-05-09T08:51:41","modified_gmt":"2023-05-09T06:51:41","slug":"proektu-sel4-prisuzhdena-premiya-acm-software-system-award","status":"publish","type":"post","link":"https:\/\/prohoster.info\/en\/blog\/news\/proektu-sel4-prisuzhdena-premiya-acm-software-system-award","title":{"rendered":"The seL4 project has been awarded the ACM Software System Award","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
The project developing the open microkernel seL4 has received the ACM Software System Award, which is awarded annually by the Association for Computing Machinery (ACM), the most prestigious international organization in the field of computer systems. The award recognizes achievements in mathematical proof of reliability, which demonstrates full compliance with specifications defined in formal language and acknowledges readiness for use in critical applications. The seL4 project has shown that it is possible not only to conduct a complete formal verification of the reliability and security for projects at the level of industrial operating systems but also to achieve this without compromising performance and versatility. <\/p>\n
The ACM Software System Award is awarded annually for the development of software systems that have had a decisive impact on the industry, introducing new concepts or revealing new areas of commercial application. The award amount is 35,000 USD. In previous years, the ACM awards have been given to projects like GCC and LLVM, and their founders Richard Stallman and Chris Lattner. Other recognized projects and technologies include UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl\/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB, and Eclipse. <\/p>\n
The architecture of the seL4 microkernel is notable for moving parts of kernel resource management into user space and applying the same access control mechanisms to these resources as for user resources. The microkernel does not provide ready-made high-level abstractions for managing files, processes, network connections, etc.; instead, it offers only minimal mechanisms for managing access to physical address space, interrupts, and CPU resources. High-level abstractions and drivers for interacting with hardware are implemented separately above the microkernel in the form of tasks executed at the user level. Access of these tasks to the resources available to the microkernel is organized through the definition of rules. \n Source: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"