A January 2014 ACM Journal has an interesting article on software verification at NASA JPL for the Mars Curiosity Rover at the link provided. A few things that I found interesting: Their standard for flight software is ISO-C99. The coding standard at JPL (http://lars-lab.jpl.nasa.gov/JPL_Coding_Standard_C.pdf) is risk-based and has 6 “levels of compliance”. LOC-5 and LOC-6...Read More
CSV Training Course
Learn FDA expectations for software validation for computer systems, quality system software, manufacturing and production process software, and engineering tools. Email firstname.lastname@example.org for more info.