Algorithm source codes generation for ensuring N-version software diversity

Diversity is one of the fundamental principles for N-version software development. The development of redundant versions can significantly improve the reliability of software, but it is more time and labour consuming. Business and manufacturing require a higher level of software reliability. The tas...

Full description

Saved in:
Bibliographic Details
Published in:Journal of physics. Conference series 2019-10, Vol.1333 (3), p.32026
Main Authors: Gruzenkin, D V, Kuznetsov, A S, Tsarev, R Y, Yamskikh, T N, Knyazkov, A N, Pupkov, A N, Yee Rock, Leong
Format: Article
Language:English
Subjects:
Algorithms
Cost effectiveness
Domain specific languages
Graphical representations
Lead time
Physics
Programming languages
Safety critical
Software development
Software reliability
Source code
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Diversity is one of the fundamental principles for N-version software development. The development of redundant versions can significantly improve the reliability of software, but it is more time and labour consuming. Business and manufacturing require a higher level of software reliability. The task of reducing the lead-time and cost effectiveness becomes more important when developing N-version software for such industries. It is proposed to use automatic source code generation to create N-version software. The use of domain-specific language for the intermediate representation of the algorithm simplifies code generation in the target programming language. The authors discuss a new conceptual model of two-step code translation for N-version software. The proposed approach will simplify the process of N-version software development and reduce the number of required resources. The paper contains an example of C code generation as a target programming language, using flowcharts as a graphical representation of the source algorithm. The described approach is intended for use in safety-critical industries.
ISSN:1742-6588
1742-6596
DOI:10.1088/1742-6596/1333/3/032026