G - Physics – 06 – F
Patent
G - Physics
06
F
G06F 9/44 (2006.01) G06F 11/36 (2006.01)
Patent
CA 2449605
Development of verified software codes is a very laborious process and is important especially where safety critical applications are concerned. A method is provided for the generation of verified software code against a requirement, which method comprises the steps of: i. using software to generate a state model of the requirement, ii. using the state model to develop a software code representation of the state model and a mathematical representation of the state model, iii. comparing the software code and mathematical representations to verify that the software code representation is a correct implementation of the mathematical representation.
L'élaboration de codes logiciels vérifiés est un processus laborieux et il est important, en particulier lorsqu'il concerne des applications critiques de sécurité. La présente invention concerne un procédé de génération de code logiciel vérifié selon une exigence. Ce procédé consiste: (i) à utiliser un logiciel pour générer un modèle d'état de l'exigence, (ii) à utiliser ce modèle d'état pour élaborer une représentation de code logiciel de ce modèle d'état et une représentation mathématique de ce modèle d'état, (iii) à comparer ce code logiciel et les représentations mathématiques de façon à vérifier que la représentation du code logiciel est une mise en oeuvre correcte de la représentation mathématique.
Fetherstonhaugh & Co.
The Secretary Of State For Defence
LandOfFree
Automatic development of software codes does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Automatic development of software codes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatic development of software codes will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1491374