Publication Details

Concept of parallel code generating and refactoring system for safety standards compliance

HANÁČEK Petr, JURNEČKA Peter and KAČIC Matej. Concept of parallel code generating and refactoring system for safety standards compliance. In: Proceedings of the 2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS). Berlin: Institute of Electrical and Electronics Engineers, 2013, pp. 630-635. ISBN 978-1-4799-1426-5.
Czech title
Koncept systému na úpravu paralelních zdrojových kódu pro dodržování bezpečnostních standardů
Type
conference paper
Language
english
Authors
Hanáček Petr, doc. Dr. Ing. (DITS FIT BUT)
Jurnečka Peter, Ing. (DITS FIT BUT)
Kačic Matej, Ing., Ph.D. (DITS FIT BUT)
Keywords

software safety; parallel design patterns; code
searching;

Abstract

This paper describes the current status of these software
safety standards, points out the common requirements of
all these standards, specially the requirement for reliability.
Reliability can be easily achieved using design patterns
with verified reliable source code modules. In our research,
we propose system for implementation of concurrency and
synchronization design patterns into existing code. We have
created parallel source code search API, which is planned
to be used in our parallel code refactoring system for
safety standards compliance. This API enables us to define
appropriate places in source codes for introduction of
parallel design patterns into existing parallel source codes.
In next design iteration, the proposed system will provide
suggestions of refactoring operations of found source codes,
based on static code analysis and formal description of
parallel design patterns.

Annotation

The importance of safety standards of software
systems is increasing as the use of software grows because
of its convenience and flexibility. Software safety standards
are very important in aircraft, military, automotive or
medical devices. We are developing parallel code generating
and refactoring system for safety standards compliance,
which increases reliability of existing codes by refactoring
of existing parallel source code, introducing parallel design
patterns into this code.
This paper describes the current status of these software
safety standards, points out the common requirements of
all these standards, specially the requirement for reliability.
Reliability can be easily achieved using design patterns
with verified reliable source code modules. In our research,
we propose system for implementation of concurrency and
synchronization design patterns into existing code. We have
created parallel source code search API, which is planned
to be used in our parallel code refactoring system for
safety standards compliance. This API enables us to define
appropriate places in source codes for introduction of
parallel design patterns into existing parallel source codes.
In next design iteration, the proposed system will provide
suggestions of refactoring operations of found source codes,
based on static code analysis and formal description of
parallel design patterns.

Published
2013
Pages
630-635
Proceedings
Proceedings of the 2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS)
Conference
Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications 2013, Berlin, DE
ISBN
978-1-4799-1426-5
Publisher
Institute of Electrical and Electronics Engineers
Place
Berlin, DE
DOI
10.1109/IDAACS.2013.6663001
BibTeX 
@INPROCEEDINGS{FITPUB10266,
   author = "Petr Han\'{a}\v{c}ek and Peter Jurne\v{c}ka and Matej Ka\v{c}ic",
   title = "Concept of parallel code generating and refactoring system for safety standards compliance",
   pages = "630--635",
   booktitle = "Proceedings of the 2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS)",
   year = 2013,
   location = "Berlin, DE",
   publisher = "Institute of Electrical and Electronics Engineers",
   ISBN = "978-1-4799-1426-5",
   doi = "10.1109/IDAACS.2013.6663001",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10266"
}
Back to top