Přístupnostní navigace
E-application
Search Search Close
Detail publikačního výsledku
JURNEČKA, P.; HANÁČEK, P.; KAČIC, M.
Original Title
Concept of parallel code generating and refactoring system for safety standards compliance
English Title
Type
Paper in proceedings outside WoS and Scopus
Original Abstract
This paper describes the current status of these softwaresafety standards, points out the common requirements ofall these standards, specially the requirement for reliability.Reliability can be easily achieved using design patternswith verified reliable source code modules. In our research,we propose system for implementation of concurrency andsynchronization design patterns into existing code. We havecreated parallel source code search API, which is plannedto be used in our parallel code refactoring system forsafety standards compliance. This API enables us to defineappropriate places in source codes for introduction ofparallel design patterns into existing parallel source codes.In next design iteration, the proposed system will providesuggestions of refactoring operations of found source codes,based on static code analysis and formal description ofparallel design patterns.
English abstract
Keywords
software safety; parallel design patterns; codesearching;
Key words in English
Authors
RIV year
2014
Released
14.09.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
Full text in the Digital Library
http://hdl.handle.net/
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" }