Aerospace (DO-178B) Software tag:typepad.com,2003:weblog-1260618 2009-12-21T18:59:36+00:00 Explore the world of Aerospace Software TypePad Verification Effort tag:typepad.com,2003:post-6a00d8341e1f8c53ef0128767189e5970c 2009-12-21T18:59:36+00:00 2009-12-21T18:59:36+00:00 Verification has a place in the software scheme of things. That is undeniable. But the effort one needs to put into verification is not emphasised enough. The problem with verification is that if an error goes undetected in one of... Amitabh Mukherjee http://aerospacesoftware.typepad.com/aerospace_software/2009/12/verification-effort.html How to reduce (at least) one DO-178B Document tag:typepad.com,2003:post-6a00d8341e1f8c53ef0120a74f6176970b 2009-12-14T16:27:25+00:00 2009-12-14T16:28:30+00:00 Quiz time!! Which of the following SW Plans are not required to be produced? a) Plan for Software Aspects of Certification (PSAC) b) Software Development Plan (SDP) c) Software Verification Plan (SVP) d) Software Configuration Management Plan (SCMP) e) Software... Amitabh Mukherjee http://aerospacesoftware.typepad.com/aerospace_software/2009/12/how-to-reduce-at-least-one-do178b-document.html Verification Tool Qualification tag:typepad.com,2003:post-6a00d8341e1f8c53ef0120a73d7047970b 2009-12-10T14:53:26+00:00 2009-12-10T15:00:28+00:00 This post is in response to a request by Pradeep. The issue is important enough to deserve a separate post. I will only touch upon the important aspects of verification tool qualification here. For more details you obviously will need... Amitabh Mukherjee http://aerospacesoftware.typepad.com/aerospace_software/2009/12/verification-tool-qualification.html Systems and Hardware Standards tag:typepad.com,2003:post-6a00d8341e1f8c53ef01287604140a970c 2009-12-03T00:38:18+00:00 2009-12-03T00:38:18+00:00 This information might be trivial for most of you, but I thought it is worth putting them together somewhere. Even if it is just for my reference. But first a small preamble: DO-178B records that “At the time of publication... Amitabh Mukherjee http://aerospacesoftware.typepad.com/aerospace_software/2009/12/systems-and-hardware-standards.html Estimating Verification Effort tag:typepad.com,2003:post-6a00d8341e1f8c53ef0120a6ef064e970b 2009-11-30T14:49:02+00:00 2009-11-30T14:49:02+00:00 Continuing on estimation techniques ... Have you estimated the time and effort it will require to complete verification for your project? Sure? Now go ahead and double the effort. Most of the DO-178B projects fail as the effort of verification... Amitabh Mukherjee http://aerospacesoftware.typepad.com/aerospace_software/2009/11/estimating-verification-effort.html