Publication detail

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

JURNEČKA, P. HANÁČEK, P. KAČIC, M.

Original Title

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

Type

article in a collection out of WoS and Scopus

Language

English

Original 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.

Keywords

software safety; parallel design patterns; code
searching;

Authors

JURNEČKA, P.; HANÁČEK, P.; KAČIC, M.

RIV year

2013

Released

14. 9. 2013

Publisher

Institute of Electrical and Electronics Engineers

Location

Berlin

ISBN

978-1-4799-1426-5

Book

Proceedings of the 2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS)

Pages from

630

Pages to

635

Pages count

5

BibTex

@inproceedings{BUT103463,
  author="Peter {Jurnečka} and Petr {Hanáček} and Matej {Kačic}",
  title="Concept of parallel code generating and refactoring system for safety standards compliance",
  booktitle="Proceedings of the 2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS)",
  year="2013",
  pages="630--635",
  publisher="Institute of Electrical and Electronics Engineers",
  address="Berlin",
  doi="10.1109/IDAACS.2013.6663001",
  isbn="978-1-4799-1426-5"
}