GrammaTech to supply NASA with safety software test technology
The technology is inspired by work done by the NASA/JPL Laboratory for Reliable Software (LaRS), which focuses on improving the reliability of mission-critical software. In 2006, Gerard Holzmann, the LaRS technical lead, proposed ten rules for developing safety-critical software. The list distills the large number of guidelines available to a handful of vital rules that most safety critical software-development projects can adopt as a base.
When he proposed the rules, Holzmann remarked that Tool-based checks are important because manually reviewing the hundreds of thousands of line of code that are written for larger applications is often infeasible. In the first phase of the effort, GrammaTech implemented technology that automatically checks whether software adheres to Holzmanns rules.
Two approaches are gaining traction and acceptance as partial solutions to the software safety problem. The first is the adoption of coding standards, and the second is the use of advanced static-analysis tools to both enforce compliance with the standards and uncover latent programming flaws. This work combines both of these approaches, said Paul Anderson, VP of Engineering at GrammaTech.
GrammaTechs static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions, and government agencies. The staff includes ten PhD-level experts in programming languages and program analysis. The company has offices in Ithaca, New York, and San Jose, California.
MORE PROJECT NEWS
X-ES Introduces XPedite5850 COM Express Module Featuring Powerful NXP QorIQ T4240 Processor
Extreme Engineering Solutions (X-ES) is excited to announce the XPedite5850, a ruggedized COM Express® module supporting an enhanced Type 5-based...
MQTT is easy when you are using Tibbo BASIC/C-programmable devices
Very useful MQTT library and a pair of demo projects illustrating the use of the new MQTT library
Movicon used in MSC Cruise Ship Overhaul Project
This extraordinary engineering feat was achieved by slicing the ship in half by following a line marked out with accurate sandblasting and...
Aveva to supply virtualization software to platform in North Sea
AVEVA Activity Visualisation Platform will be used to improve operational training on Total’s Martin Linge topside platform in the North Sea
Flowserve to Supply Valves to Giant Pulp Mill in Brazil
Flowserve will supply all ball sector control valves, ball valves and butterfly valves for the new Klabin mill (Project Puma) located in the city...
ABB announces Dr. Jef Beerten as first winner of ABB Research Award
Dr. Jef Beerten from KU Leuven, Belgium, receives a US $ 300,000 grant over the next three years for ongoing research at the forefront of energy...
CC-Link announces Molex receives network certification for PCI Express interface cards
Molex, Inc. provides two CC-Link certified PCI-Express interface products that are designed to work as a complete solution including full and half...
ROBODONIEN 2016: LBR IIWA displays creativity at robot art festival
From 16 - 18 September, KUKA was represented by the LBR iiwa at the Robodonien robot art festival.
KUKA robots work with University of Stuttgart on automated sewing process
The university in Stuttgart combines bionic investigations with innovative robotic manufacturing methods
The Inside Story: Visualizing Column Hydraulic Behavior and the Product Ecosystem
By Jennifer Dyment, AspenTech
We all want the inside story. Greater visibility into asset performance can help chemical and energy companies gain...