Verdix

Last updated
Verdix Corporation
Company type public
Industry software
Founded1982;42 years ago (1982)
FounderGeorge Cowan
Donn Milton
Defunct1994;30 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

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 IntelliJ IDEA, Eclipse and Lazarus contain the necessary compiler, interpreter or both; others, such as SharpDevelop and NetBeans, 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.

In computer engineering, a hardware description language (HDL) is a specialized computer language used to describe the structure and behavior of electronic circuits, most commonly to design ASICs and program FPGAs.

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.

A domain-specific language (DSL) is a computer language specialized to a particular application domain. This is in contrast to a general-purpose language (GPL), which is broadly applicable across domains. There are a wide variety of DSLs, ranging from widely used languages for common domains, such as HTML for web pages, down to languages used by only one or a few pieces of software, such as MUSH soft code. DSLs can be further subdivided by the kind of language, and include domain-specific markup languages, domain-specific modeling languages, and domain-specific programming languages. Special-purpose computer languages have always existed in the computer age, but the term "domain-specific language" has become more popular due to the rise of domain-specific modeling. Simpler DSLs, particularly ones used by a single application, are sometimes informally called mini-languages.

<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 headquarters are in Santa Barbara, California.

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

Software portability is a design objective for source code to be easily made to run on different platforms. An aid to 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#.

GrammaTech is a cybersecurity research services company based in Ithaca, New York. The company was founded in 1988 as a technology spin-off of Cornell University. GrammaTech software research services include the following; software analysis, vulnerability detection and mitigation, binary transformation and hardening, and autonomous computing. In September 2023, Battery Ventures acquired GrammaTech's software products division, including the CodeSonar and CodeSentry product lines. Thus establishing a new, independent entity that will operate under the CodeSecure, Inc. name and be headquartered in Bethesda, Maryland.

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)". ACM SIGAda Ada Letters. 29 (2): 28–35. doi:10.1145/1620593.1620597. S2CID   608405.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.