Mentor Graphics
View Technical Publication Library

Telelogic Modeling Community: Whitepapers - UML, C/C++, OO Programming

software    

eBinder Integrated Development Environment
The eBinder integrated development environment is an embedded system development package that provides a comprehensive range of integrated development tools and software components for debugging multi-threaded applications. The eBinder IDE includes a built-in multicontext debugger for eSOL's real time kernels (PrKERNELv4 / eT-Kernel) and is seamlessly integrated with the kernel and middleware (TCP/IP, file system and USB stack) products from eSOL as an out-of-the-box solution.
preview: http://www.esol.co.jp  

software    

eT-Kernel Multi-Core Edition
The eT-Kernel Multi-Core Edition is a real time operating system for next-generation embedded systems with multi-core. It supports multiple scheduling modes, including True SMP Mode (TSM) and Single Processor Mode (SPM) that provide optimal application throughput while keeping realtime determinism.
preview: http://www.esol.co.jp  

book    

Formal Refinement for Operating System Kernels
The kernel of any operating system is its most critical component. The remainder of the system depends upon a correctly functioning and reliable kernel for its operation. The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. The formal refinement process ensures that the code meets the specification in a...
preview: http://www.amazon.com   date: 7/27/2007

book    

Simple Real-time Operating System: A Kernel Inside View for a Beginner
The first motivation for writing this book is to teach my colleagues about RTOS (Real-Time Operating System) concepts and the proprietary RTOS developed for our project by me. I realized that the same material with some extension can be useful to most embedded engineers who are beginners in learning about RTOS. I came across many embedded engineers who are not comfortable to use real-time operating system. A significant fraction of these...
preview: http://www.amazon.com   date: 8/7/2007

linux    

L4Linux
L4Linux is a port of Linux to the L4 µ-kernel. L4Linux runs as an L4 server in user-mode, side-by-side with other L4 applications (e.g. real-time components). It is currently running on x86 and ARM and it is binary compatible with the native Linux kernels.
preview: http://www.l4hq.org  

project    

QP Project
Ultra lightweight, event-driven framework and kernel for embedded systems. Enables coding hierarchical state machines (UML statecharts) in C or C++. No big tools. Runs on ARM, 8051, PIC, AVR, MSP430, M16C, HC08, Nios, x86.. Also for Linux, Win32, RTOS...
preview: https://sourceforge.net  

os    

Agnix Kernel Project
Agnix is an Open-Source project, which has been founded to provide an educational, network operating system kernel. Agnix is an extended kernel, written in pure C code. It is ideal starting point to learn about operating system kernel architecture. In addition Agnix is a very fast and small kernel and I advice for using it in an embedded systems and everywhere where is needed fast, small and stable operating system kernel.
preview: http://agnix.sourceforge.net