Quantum Computation – With Standard Binary Logic

Quantum Computing

The tantalising power of quantum computing offers unbounded possibilities to solve some of the biggest problems in computing today. So far the need to keep the Quantum Bits (QBits / QuBits) stable has proved the barrier to quantum computers being widely deployed. Laboratory conditions with super low temperatures and large magnetic fields have allowed the theory to be proved, but limit the practical implementation.

Theory

Our current silicon computers rely on simple 0 and 1 storage of bits to represent the data. These ons and offs are electrically, or optically stored and they are either one or the other. QuBits however are neither a 0 or a 1 until they are actually read. They exist in a ‘probability cloud’ between the true or false. The interaction of all the QuBits changes the probability that the bit will yield a 0 or 1 answer when read. This allows a massive scaling of parallel computation considering multiple avenues of a problem simultaneously.

New Possibilities

The possibility that standard silicon based binary computers could be made to operate in a quantum state has raised many exciting possibilities. Studies at the Loe D’a Buncum institute hypothesises that a stated proof;  that Black is White, or True is False, can be ‘proved’  either way. This uncertainty, they are terming an Argú (derived from the Latin argumentum “a logical argument; evidence, ground, support, proof”). They expect this will be widely applied to Silicon Based Computing Platforms (SBCP).

Theory

To paraphrase their research observe the following:

Black is White data definition
Black is White

It can be seen that the composition of mixed primary light colours Red, Green and Blue gives White light. However, the same composite calculation for pigment Cyan, Yellow and Magenta gives Black. The Argú in this case is stated as :

 Three primary colours mixed = Black = White.

This provides a state that can not be seen as a definitive answer (because there is a missing  element  – are we talking  light or  pigment). The key to unlocking and providing the definitive answer is being termed the Clú. This is the missing piece of information that will allow the quantum measurement to be extracted.

Standard Computers

Because the concept itself, the Argú is simple to represent in standard boolean logic on a silicon computer, there is no need for any special cooling or magnetic field to retain the uncertainty. The  Clú can also be held as a standard concept. The rest of the problem continues to be expressed in multiple Argús but not ‘finalised’. At the point where every possible Argú has been raised for a particular problem, the  Clú is combined using standard logic simplified with De Morgan’s laws resulting in the final result.

Summary

Both QuBit and SBCP computing offer the gateway to many possibilities, but it should also be remembered that those without a Clú should not attempt to Argú.

Is Cradle designed in Cradle?

Yes! Why would you have a dog and bark yourself?

It would be a bit silly to have a requirements management tool and not use it to manage your requirements, wouldn’t it?  Cradle’s continued development is controlled within Cradle. Changes, testing and feature management are all controlled in a Cradle database. This allows us to track each change from the initial proposal or enhancement request through development and testing through to final documentation and release.

Ongoing Feature Development

This is the basic case of ‘Cradle designed in Cradle’. You can see from this sneaky peek at our 7.3 release a number of features you’ll benefit from in the coming months.

Cradle Development database
Cradle Development Database

Obviously we have removed customer references, but this simple view shows the ‘Change‘ items that follow a lifecycle through Cradle. The Change has a set of Test Cases written to cover different aspects  from usability through to access permissions and of course that it matches the original design requirement.

GID diagram showing traceability
Change to Test Result HID

During development and testing it is useful to get a quick overview. The hierarchy diagram above shows a simple view tracing from the feature through the Test Case to the Test Result. (GC: Luckily they all show ‘pass’ which is a relief as it is a feature I coded!)

Larger features

Again it is a case of Cradle designed in Cradle. For example Cradle 7.1’s SysML functionality, a separate project was used, as there were more collaborators, and the design team was spread both sides of the Atlantic. The view below shows multiple item types linked together, the «relationships», linked to the symbols, reported for the ‘act’ diagram type.

SYSML development Database
SYSML development Database

 

Digital Certificates in Cradle System Engineering Tool

Starting with the Cradle-7.2 release, we have included digital certificates in the executables in the Cradle system engineering tool distribution for Windows, including the Cradle installer itself.

Digital Certificates

Like a passport or a driver’s licence, digital certificates are issued by a Certificate Authority (CA) to provide proof of identity, in this case for verifying the identity of online entities. However, instead of containing a photograph and the signature of the certificate’s owner, a digital certificate binds the owner’s public key to the owner’s private key.

3SL (our full company name is Structured Software Systems Limited) has obtained a digital certificate from the CA Symantec that we can use to identify any file as being something that we have produced.

Cradle Systems Engineering Tool

3SL’s system engineering tool Cradle contains many executables and other files. These files are supplied as a single distribution file, such as:

Cradle72_Setup.exe

It is helpful to us, and to anyone who receives the Cradle software distribution or who looks at any executable that is claimed to be part of the Cradle system engineering tool, to know that:

  • The distribution
  • The files inside the distribution

have come from 3SL and have not been changed in any way after they were created by 3SL.

So, starting with Cradle-7.2, 3SL has digitally signed:

  • The Cradle software distribution
  • The executables inside the distribution

with our digital certificate.

Benefits

Using a digital signature brings several benefits to anyone who installs or uses Cradle.

Anti-Virus Products

Occasionally, some AV products have incorrectly claimed that a file in Cradle contains a virus. These incorrect reports are called false positives.

Now that Cradle executables are digitally signed, we expect that your AV product will report fewer false positives.

Installation

Since the Cradle installer is digitally signed, Windows will display the friendly blue User Account Control (UAC) dialog at the start of the Cradle installation:

cradle system engineering tool digital signatures
Windows Detects 3SL in Cradle System Engineering Tool Installer

instead of the warning yellow UAC dialog.

Executable File Properties

You can verify the digital signature in the Cradle installation files:

Cradle system engineering tool digital certificates
View Digital Certificates in Cradle Executables

If the file does not contain a digital certificate, then you know that the file has been tampered with since 3SL created it, or it was not created by 3SL at all.

Information Assurance

The use of digital certificates is part of 3SL’s commitment to ensuring that Cradle contributes to the information assurance practices in your organisation. You can find more details about other information assurance aspects of Cradle in our white paper here.

Summary

We hope that 3SL’s use of digital certificates in the distribution of, and executable files within, the Cradle system engineering tool will be helpful when you next install Cradle and when your AV products next scan a Cradle installation!