Information about Coyotos
Coyotos is a capability-based security-focused microkernel operating system being developed at the Johns Hopkins University's Systems Research Laboratory[1]. It is a successor to the EROS system.
Jonathan S. Shapiro is an expert in low-level computer system programming. He is currently an Assistant Professor in the Department of Computer Science at The Johns Hopkins University.
..... Click the link for more information.
History
Coyotos is considered by its creators to be an “evolutionary step” [2] beyond the EROS operating system, which in turn was derived from KeyKOS. The primary developer of EROS was Jonathan Shapiro, and he is also a driving force behind Coyotos. A more in-depth history is located at [3]. Since mid-2006 the Coyotos developers have been working with the developers of GNU Hurd to make Coyotos a suitable microkernel for GNU Hurd, however, progress is slow.Objectives
While it has many objectives, one of the most interesting is to become the first formally verified operating system. To support this, the Coyotos project is concurrently developing a new programming language called BitC and a new compiler called BitCC.Microkernel
Coyotos uses a microkernel design which “retains the atomicity and pure capability-based design of the EROS system”[4], but which uses a new asynchronous communications model, and “introduces a more efficient memory mapping mechanism”. Compare this with the Mach and L4 family of microkernels.External links
Capability-based security is a concept in the design of secure computing systems. A capability (known in some systems as a key) is a communicable, unforgeable token of authority.
..... Click the link for more information.
..... Click the link for more information.
microkernel is a minimal computer operating system kernel which, in its purest form, provides no operating-system services at all, only the mechanisms needed to implement such services, such as low-level address space management, thread management, and inter-process
..... Click the link for more information.
..... Click the link for more information.
An operating system (OS) is the software that manages the sharing of the resources of a computer. An operating system processes system data and user input, and responds by allocating and managing tasks and internal system resources as a service to users and programs of the
..... Click the link for more information.
..... Click the link for more information.
Software engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software.[1] The term software engineering
..... Click the link for more information.
..... Click the link for more information.
The Johns Hopkins University, founded in 1876, is a private institution of higher learning located in Baltimore, Maryland, United States.
Johns Hopkins offers its main undergraduate and graduate programs at the Homewood campus in Baltimore and maintains full-time campuses in
..... Click the link for more information.
Johns Hopkins offers its main undergraduate and graduate programs at the Homewood campus in Baltimore and maintains full-time campuses in
..... Click the link for more information.
EROS (The Extremely Reliable Operating System) is an operating system developed by The EROS Group, LLC., the Johns Hopkins University, and the University of Pennsylvania.
..... Click the link for more information.
..... Click the link for more information.
EROS (The Extremely Reliable Operating System) is an operating system developed by The EROS Group, LLC., the Johns Hopkins University, and the University of Pennsylvania.
..... Click the link for more information.
..... Click the link for more information.
KeyKOS is a persistent, pure capability-based operating system for the IBM S/370 mainframe computers. It allowed emulating the VM, MVS, and POSIX environments. It is a predecessor of the Extremely Reliable Operating System (EROS), and its successors, the CapROS and Coyotos
..... Click the link for more information.
..... Click the link for more information.
on Shapiro, see Zapiro.
Jonathan S. Shapiro is an expert in low-level computer system programming. He is currently an Assistant Professor in the Department of Computer Science at The Johns Hopkins University.
..... Click the link for more information.
GNU Hurd (usually referred to as the Hurd) is a free software computer operating system kernel, released under the GNU General Public License. It has been under development since 1990 by the GNU Project of the Free Software Foundation.
..... Click the link for more information.
..... Click the link for more information.
formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.
..... Click the link for more information.
..... Click the link for more information.
Computer programming (often shortened to programming or coding) is the process of writing, testing, and maintaining the source code of computer programs. The source code is written in a programming language.
..... Click the link for more information.
..... Click the link for more information.
A programming language is an artificial language that can be used to control the behavior of a machine, particularly a computer. Programming languages, like natural languagess, are defined by syntactic and semantic rules which describe their structure and meaning respectively.
..... Click the link for more information.
..... Click the link for more information.
BITC may refer to:
..... Click the link for more information.
- BitC, a low-level, formally verifiable programming language developed as part of the Coyotos operating system
- Burnt-in timecode, a human-readable on-screen version of the timecode information of a video stream
..... Click the link for more information.
Mach is an operating system microkernel developed at Carnegie Mellon University to support operating system research, primarily distributed and parallel computation. It is one of the earliest examples of a microkernel, and still the standard by which similar projects are measured.
..... Click the link for more information.
..... Click the link for more information.
L4 is a family of second-generation microkernels based on the original designs and implementations by Jochen Liedtke in highly tuned Intel i386-specific assembly language code.
..... Click the link for more information.
..... Click the link for more information.
This article is copied from an article on Wikipedia.org - the free encyclopedia created and edited by online user community. The text was not checked or edited by anyone on our staff. Although the vast majority of the wikipedia encyclopedia articles provide accurate and timely information please do not assume the accuracy of any particular article. This article is distributed under the terms of GNU Free Documentation License.
Herod_Archelaus
