Detail publikace

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

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

Originální název

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

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

software safety; parallel design patterns; code searching;

Autoři

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

Rok RIV

2013

Vydáno

14. 9. 2013

Nakladatel

Institute of Electrical and Electronics Engineers

Místo

Berlin

ISBN

978-1-4799-1426-5

Kniha

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

Strany od

630

Strany do

635

Strany počet

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"
}