Firmware Verification


Home
Members
Schedule
Project Elements
Verification
Reference
Contact Information
What's New

There are three distinct operating modes in the Widget firmware.  This section describes how we go about ensuring that this firmware is working as well as it must be in order to be part of our communications system.

Here is a quick summary of where we are today:

  1st Implementation
Complete
2nd Implementation
Complete
Flight-
Ready
Standard Mode yes yes yes
Multiplex Mode yes awaiting results not quite
Byte-Pipe Mode yes 95% no
IHU Control yes 0% no
Byte-Pipe File Transfer in Module 0% 0% no
Byte-Pipe File Transfer in IHU 0% 0% no
Firmware Status: v3.04, as of 21 Oct 2007

    ... now let us learn what this means:

Getting to "Flight-ready" status

We establish confidence in our Widget firmware through verification using 1st and 2nd implementation of all modes and 1st and 2nd implementation of the IHU control of
these modes.  Only after achieving these implementations of Widget modes and IHU control of these modes and incorporating the feedback of what we've learned in each implementation attempt do we consider the firmware modes "Flight-ready".

Here's what I mean by 1st and 2nd implementation:

  1st Implementation

As the designer of the system, I accomplish the first implementation. My implementation effort serves to prove that I understand enough of the issues affecting implementation, that I can confidently describe (through documentation) how to implement, and that my view of these issues is complete enough that my implementation can be successful. (Mine worked as intended.)


  2nd implementation

Someone other than the designer (other than myself) accomplishes a 2nd implementation. This serves as proof that all information needed to succeed in implementation has been communicated and that at least one alternative approach to implementation can achieve functionality. (Someone else has made one work using the documentation and tools prescribed and has fed-back any issues found in the documentation and/or operation of the Widget in this mode!)

by Stephen, KZ0Q


Home | Firmware Verification | Verification Hardware

 CAN-Do! Website copyright 2007, Stephen Moraco, KZ0Q  (formerly KC0FTQ).
For problems or questions regarding this Web site contact kz0q@amsat.org.
Last updated: 21-Oct-2007 12:40:48 -0600.