Verdix

Last updated
Verdix Corporation
Type public
Industry software
Founded1982;41 years ago (1982)
FounderGeorge Cowan
Donn Milton
Defunct1994;29 years ago (1994)
Fateacquired by Rational Software
Successor Rational Software
Headquarters Fairfax County, Virginia

Verdix Corporation was an American software company active in the 1980s and 1990s and based in Fairfax County, Virginia, that specialized in language compilers for the Ada programming language.

Verdix was founded in 1982 by George Cowan and Donn Milton. It became a public company in 1983. [1] [2] Cohen served as its CEO and chair while Milton managed the company's Ada Products Division. [1] [2] Its initial offices were in McLean, Virginia but it subsequently moved to Chantilly and then Herndon, all within Fairfax County in northern Virginia.

The Verdix Ada Development System (VADS) [3] provided a set of tools for software developers who create complex systems. It included an Ada compiler, a visual debugger, a library management system, and an efficient runtime system. VADS was sold in several configurations: [3]

The company achieved its first official validated Ada compiler in January 1985. [4] Verdix became known for the large number of Ada compilers it offered on many different systems, selling both native compilers and cross-compilers for embedded systems architectures. By 1992 Verdix had 105 different Ada compilers on the Ada Joint Program Office validated compilers list, easily the most of any Ada vendor (next highest was Alsys with 60). [5] Its revenues were around $13 million. [6]

The Ada software environment was originally thought to be a promising market, with a number of small, new companies including Verdix seeking to gain a foothold in it. [7] But the Ada compiler business proved to be a difficult one to be in; many of the advantages of the language for general-purpose programming were not seen as such by the general software engineering community or by educators. [8] Consolidations happened within the Ada software tools industry. In 1991 Verix bought Meridian Software Systems, another Ada compiler company. [6] In 1994, Verdix itself was acquired by Rational Software. [1]

Related Research Articles

<span class="mw-page-title-main">Software</span> Non-tangible executable component of a computer

Software is a set of computer programs and associated documentation and data. This is in contrast to hardware, from which the system is built and which actually performs the work.

In computing, a compiler is a computer program that translates computer code written in one programming language into another language. The name "compiler" is primarily used for programs that translate source code from a high-level programming language to a low-level programming language to create an executable program.

An integrated development environment (IDE) is a software application that provides comprehensive facilities for software development. An IDE normally consists of at least a source-code editor, build automation tools, and a debugger. Some IDEs, such as NetBeans and Eclipse, contain the necessary compiler, interpreter, or both; others, such as SharpDevelop and Lazarus, do not.

<span class="mw-page-title-main">Embedded system</span> Computer system with a dedicated function

An embedded system is a computer system—a combination of a computer processor, computer memory, and input/output peripheral devices—that has a dedicated function within a larger mechanical or electronic system. It is embedded as part of a complete device often including electrical or electronic hardware and mechanical parts. Because an embedded system typically controls physical operations of the machine that it is embedded within, it often has real-time computing constraints. Embedded systems control many devices in common use. In 2009, it was estimated that ninety-eight percent of all microprocessors manufactured were used in embedded systems.

pSOS is a real-time operating system (RTOS), created in about 1982 by Alfred Chao, and developed and marketed for the first part of its life by his company Software Components Group (SCG). In the 1980s, pSOS rapidly became the RTOS of choice for all embedded systems based on the Motorola 68000 series family architecture, because it was written in 68000 assembly language and was highly optimised from the start. It was also modularised, with early support for OS-aware debugging, plug-in device drivers, Internet protocol suite (TCP/IP) stacks, language libraries, and disk subsystems. Later came source code level debugging, multiprocessing support, and further computer networking extensions.

SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential. It facilitates the development of applications that demand safety, security, or business integrity.

<span class="mw-page-title-main">FOSDEM</span> Annual event in Brussels centered on free and open source software development

Free and Open source Software Developers' European Meeting (FOSDEM) is a non-commercial, volunteer-organized European event centered on free and open-source software development. It is aimed at developers and anyone interested in the free and open-source software movement. It aims to enable developers to meet and to promote the awareness and use of free and open-source software.

<span class="mw-page-title-main">Green Hills Software</span> American software company

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

Software prototyping is the activity of creating prototypes of software applications, i.e., incomplete versions of the software program being developed. It is an activity that can occur in software development and is comparable to prototyping as known from other fields, such as mechanical engineering or manufacturing.

<span class="mw-page-title-main">Software portability</span> Ability of a program to run on different platforms with little alteration

A computer program is said to be portable if there is very low effort required to make it run on different platforms. The pre-requirement for portability is the generalized abstraction between the application logic and system interfaces. When software with the same functionality is produced for several computing platforms, portability is the key issue for development cost reduction.

Rational Rhapsody, a modeling environment based on UML, is a visual development environment for systems engineers and software developers creating real-time or embedded systems and software. Rational Rhapsody uses graphical models to generate software applications in various languages including C, C++, Ada, Java and C#.

DDC-I, Inc. is a privately held company providing software development of real-time operating systems, software development tools, and software services for safety-critical embedded applications, headquartered in Phoenix, Arizona. It was first created in 1985 as the Danish firm DDC International A/S, a commercial outgrowth of Dansk Datamatik Center, a Danish software research and development organization of the 1980s. The American subsidiary was created in 1986. For many years, the firm specialized in language compilers for the programming language Ada.

Approov (formerly CriticalBlue) is a Scottish software company based in Edinburgh that is primarily active in two areas of technology: anti-botnet and automated threat prevention for mobile businesses, and software optimization tools and services for Android and Linux platforms.

Advanced Computer Techniques (ACT) was a computer software company most active from the early 1960s through the early 1990s that made software products, especially language compilers and related tools. It also engaged in information technology consulting, hosted service bureaus, and provided applications and services for behavioral health providers. ACT had two subsidiaries of note, InterACT and Creative Socio-Medics.

Understand is a customizable integrated development environment (IDE) that enables static code analysis through an array of visuals, documentation, and metric tools. It was built to help software developers comprehend, maintain, and document their source code. It enables code comprehension by providing flow charts of relationships and building a dictionary of variables and procedures from a provided source code.

<span class="mw-page-title-main">Tartan Laboratories</span>

Tartan Laboratories, Inc., later renamed Tartan, Inc., was an American software company founded in 1981 and based in Pittsburgh, Pennsylvania, that specialized in programming language compilers, especially for the language Ada. It was based on work initially done at Carnegie Mellon University and gradually shifted from a focus on research and contract work to being more product-oriented. It was sold to Texas Instruments in 1996. Part of it was later acquired by DDC-I in 1998.

TeleSoft, Inc. was an American software development company founded in 1981 and based in San Diego, California, that specialized in development tools for the Ada programming language.

<span class="mw-page-title-main">TLD Systems</span>

TLD Systems, Ltd. was an American software company active in the 1980s and 1990s and based in Torrance, California, that specialized in language compilers for the JOVIAL and Ada programming languages that were targeted to embedded systems.

References

  1. 1 2 3 "Socrates Technologies Corporation Announces Appointment of New Directors" (Press release). PRNewswire. December 14, 1998.
  2. 1 2 "March Chantilly Luncheon – Donn Milton – 'Practical EVM with CMMI-Compliant Processes'". PMI Washington. March 12, 2009.
  3. 1 2 Luftus, Christopher (1993). Ada Yearbook 1993. IOS Press. pp. 174–175. ISBN   9789051991246.
  4. "DOD backs Ada compiler from Verdix". Computerworld. January 14, 1985. p. 50.
  5. "Ada Validated Compilers List". Ada Information Clearinghouse. July 1, 1992. pp. 27–36.
  6. 1 2 Takahashi, Dean (November 27, 1991). "Eastern Firm to Buy Meridian Software Systems : Computers: Verdix Corp. of Virginia plans to acquire the Irvine company in a stock swap worth about $6 million". Los Angeles Times.
  7. "Small Firms Capitalize on Pentagon Software". Los Angeles Times. Reuters. November 25, 1985.
  8. Rosen, Jean-Pierre (September 2009). "The Ada paradox(es)". SIGAda Ada Letters. 29 (2): 28–35. doi:10.1145/1620593.1620597. S2CID   608405.