Jump to content

Green Hills Software

From Wikipedia, the free encyclopedia
(Redirected from U-velOSity (microkernel))

Green Hills Software Inc.
Company typePrivate
IndustryEmbedded system software tools
Founded1982; 42 years ago (1982)
Founders
  • Dan O'Dowd
  • Carl Rosenberg
Headquarters,
United States
Key people
Dan O'Dowd, president
Products
Websitewww.ghs.com

Green Hills Software is a privately owned company that builds operating systems and programming tools for embedded systems.[1][2] The firm was founded in 1982 by Dan O'Dowd and Carl Rosenberg. Its headquarters are in Santa Barbara, California.[3]

History

[edit]

In the 1990s, Green Hills Software and Wind River Systems, both makers of embedded system software development tools, entered into a 99-year agreement to cooperatively support customers using products from both companies. The agreement was terminated after a lawsuit in 2005. After parting ways, Wind River publicly embraced Linux and open-source software while Green Hills initiated a public relations campaign decrying the use of open-source software in projects related to national security.[1]

In 2008, the Green Hills real-time operating system (RTOS) named Integrity-178 was the first system to be certified by the National Information Assurance Partnership (NIAP), composed of National Security Agency (NSA) and National Institute of Standards and Technology (NIST), to Evaluation Assurance Level (EAL) 6+.[4][5]

In November 2008, it was announced that a commercialized version of Integrity 178-B would be offered to the private sector by Integrity Global Security, a subsidiary of Green Hills Software.[5][better source needed]

On March 27, 2012, a contract was announced between Green Hills Software and Nintendo. This designates MULTI as the official integrated development environment and toolchain for Nintendo and its licensed developers to program the Wii U video game console.[6][non-primary source needed]

On February 25, 2014, it was announced that the operating system Integrity had been chosen by Urban Aeronautics for their AirMule flying car unmanned aerial vehicle (UAV), since renamed the Tactical Robotics Cormorant.[4][non-primary source needed]

Selected products

[edit]

Real-time operating systems

[edit]

Integrity is a POSIX real-time operating system (RTOS). An Integrity variant, named Integrity-178B, was certified to Common Criteria Evaluation Assurance Level (EAL) 6+, High Robustness in November 2008.[7] Micro Velosity (stylized as μ-velOSity) is a real-time microkernel for resource-constrained devices.[8][9]

Compilers

[edit]

Green Hills produces compilers for the programming languages C, C++, Fortran, and Ada. They are cross-platform, for 32- and 64-bit microprocessors, including RISC-V, ARM, Blackfin, ColdFire, MIPS, PowerPC, SuperH, StarCore, x86, V850, and XScale.[10][11][non-primary source needed][12]

Integrated development environments

[edit]

MULTI is an integrated development environment (IDE) for the programming languages C, C++, Embedded C++ (EC++), and Ada, aimed at embedded engineers.[13][non-primary source needed]

TimeMachine is a set of tools for optimizing and debugging C and C++ software.[14][15] TimeMachine (introduced 2003) supports reverse debugging,[16] a feature that later also became available in the free GNU Debugger (GDB) 7.0 (2009).[17]

References

[edit]
  1. ^ a b "Green Hills Software". Hoover's Handbook of Private Companies 2007 (PDF). Hoover's. 2007. p. 222. Archived from the original (PDF) on August 1, 2020. Retrieved November 26, 2013.
  2. ^ Plauger, P.J. (December 1997). "Embedded C++: An Overview" (PDF). Embedded Systems Programming. Retrieved November 26, 2013 – via fceia.unr.edu.ar.
  3. ^ Hoover's Handbook of Private Companies. Hoover's Business Press. January 1, 2007. ISBN 9781573111157.
  4. ^ a b Green Hills Software Integrity RTOS chosen by Urban Aeronautics for AirMule Unmanned Aerial System, Reuters, February 25, 2014, archived from the original on September 3, 2014
  5. ^ a b Racicot, Jonathan (November 19, 2008). "Integrity OS to be Released Commercially". Cyberwarfare Magazine.
  6. ^ "Green Hills Software's MULTI Integrated Development Environment Selected by Nintendo for Wii U Development" (Press release). San Jose, CA: Green Hills Software. March 27, 2012. Retrieved June 27, 2014.
  7. ^ "Validated Products List". National Information Assurance Partnership. Retrieved November 26, 2013.
  8. ^ Wilson, Richard (July 22, 2015). "Green Hills secures its RTOS for IoT". Electronics Weekly. Retrieved December 29, 2015.
  9. ^ Tångring, Jan (April 10, 2006). "Green Hills Releases New Operating System" (in Swedish). Elektroniktidningen. Retrieved November 26, 2013.
  10. ^ "Green Hills Optimizing Compilers". Green Hills Software.
  11. ^ "NSITEXE and Green Hills Software Partner on RISC-V Solutions". Green Hills Software.
  12. ^ Wilson, Richard (August 18, 2016). "Green Hills certifies RTOS for avionics computers". Electronics Weekly. Retrieved July 17, 2023.
  13. ^ "MULTI Integrated Development Environment" Green Hills Software.
  14. ^ Lindahl, Michael (January 2005). "Using Trace to Debug Realtime Systems". Dr. Dobb's Journal. Archived from the original on September 29, 2007.
  15. ^ Krass, Peter (July 18, 2006). "Green Hills Expands TimeMachine Support Options". Device Software Optimization blog. Archived from the original on May 13, 2008.
  16. ^ "TimeMachine enables debugging forward and backward in time". EE Times. November 6, 2003.
  17. ^ Brobecker, Joel (October 8, 2009). "GDB 7.0 released". LWN.net. Eklektix. Retrieved December 2, 2013.