The Exterminators

A small British firm shows that software bugs aren’t inevitable

13 min read
Photo of Peter Amey [left] and Roderick Chapman.

Checking Code: At Praxis, Peter Amey (left) and Roderick Chapman use mathematical logic to make sure their programs do not contain errors.

Photo: Peter Searle

Peter Amey was an aeronautical engineer serving in the United Kingdom’s Royal Air Force in the early 1980s when he found a serious flaw in an aircraft missile-control system being deployed at the time. It wasn’t a defect in any of the thousands of mechanical and electronic parts that constituted the system’s hardware. The problem was in the system’s software. Amey found an erroneous piece of program code—a bug [see photo, "Checking Code"]. Because of it, the unthinkable could happen: under rare circumstances, a missile could fire without anyone’s having commanded it to do so.

Amey says his superiors, rather than commending his discovery, complained that it would delay the system’s deployment. Like most project managers, they didn’t like the idea of fixing errors at the end of the development process. After all, good design ought to keep errors out in the first place. Yet time and again, Amey knew, the software development process didn’t prevent bugs; it merely put off dealing with them until the end. Did it have to be that way? Or could developers avoid bugs in the first place? He would find the answer to be “yes” when, years later, he joined Praxis High Integrity Systems [see photo, "Bug Killer”].

Keep reading...Show less
{"imageShortcodeIds":[]}

This article is for IEEE members only. Join IEEE to access our full archive.

Join the world’s largest professional organization devoted to engineering and applied sciences and get access to all of Spectrum’s articles, podcasts, and special reports. Learn more →

If you're already an IEEE member, please sign in to continue reading.

Membership includes:

  • Get unlimited access to IEEE Spectrum content
  • Follow your favorite topics to create a personalized feed of IEEE Spectrum content
  • Save Spectrum articles to read later
  • Network with other technology professionals
  • Establish a professional profile
  • Create a group to share and collaborate on projects
  • Discover IEEE events and activities
  • Join and participate in discussions

"SuperGPS" Accurate to 10 Centimeters or Better

New optical-wireless hybrid makes use of existing telecommunications infrastructure

3 min read
illustration of man looking at giant smart phone with map and red "you are here" symbol
iStock

Modern life now often depends on GPS(short for Global Positioning System), but it can err on the order of meters in cities. Now a new study from a team of Dutch researchers reveals a terrestrial positioning system based on existing telecommunications networks can deliver geolocation info accurate to within 10 centimeters in metropolitan areas.

The scientists detailed their findings 16 November in the journal Nature.

Keep Reading ↓Show less

The Future of the Transistor Is Our Future

Nothing but better devices can tackle humanity’s growing challenges

7 min read
Close-up of a colorful semiconductor wafer held the white gloved hands of a clean room technician.

A 300-millimeter wafer from a GlobalFoundries fab in Dresden is full of advanced transistors. The industry will need to continue to produce more and better devices, argues the author.

Liesa Johannssen-Koppitz/Bloomberg/Getty Images

This is a guest post in recognition of the 75th anniversary of the invention of the transistor. It is adapted from an essay in the July 2022 IEEE Electron Device Society Newsletter. The views expressed here are solely those of the author and do not represent positions of IEEE Spectrum or the IEEE.

On the 75th anniversary of the invention of the transistor, a device to which I have devoted my entire career, I’d like to answer two questions: Does the world need better transistors? And if so, what will they be like?

Keep Reading ↓Show less
{"imageShortcodeIds":[]}

Learn How Global Configuration Management and IBM CLM Work Together

In this presentation we will build the case for component-based requirements management

2 min read

This is a sponsored article brought to you by 321 Gang.

To fully support Requirements Management (RM) best practices, a tool needs to support traceability, versioning, reuse, and Product Line Engineering (PLE). This is especially true when designing large complex systems or systems that follow standards and regulations. Most modern requirement tools do a decent job of capturing requirements and related metadata. Some tools also support rudimentary mechanisms for baselining and traceability capabilities (“linking” requirements). The earlier versions of IBM DOORS Next supported a rich configurable traceability and even a rudimentary form of reuse. DOORS Next became a complete solution for managing requirements a few years ago when IBM invented and implemented Global Configuration Management (GCM) as part of its Engineering Lifecycle Management (ELM, formerly known as Collaborative Lifecycle Management or simply CLM) suite of integrated tools. On the surface, it seems that GCM just provides versioning capability, but it is so much more than that. GCM arms product/system development organizations with support for advanced requirement reuse, traceability that supports versioning, release management and variant management. It is also possible to manage collections of related Application Lifecycle Management (ALM) and Systems Engineering artifacts in a single configuration.

Keep Reading ↓Show less