Concept of parallel code generating and refactoring system for safety standards compliance
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F13%3APU106323" target="_blank" >RIV/00216305:26230/13:PU106323 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1109/IDAACS.2013.6663001" target="_blank" >http://dx.doi.org/10.1109/IDAACS.2013.6663001</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/IDAACS.2013.6663001" target="_blank" >10.1109/IDAACS.2013.6663001</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Concept of parallel code generating and refactoring system for safety standards compliance
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Concept of parallel code generating and refactoring system for safety standards compliance
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
<a href="/cs/project/ED1.1.00%2F02.0070" target="_blank" >ED1.1.00/02.0070: Centrum excelence IT4Innovations</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2013
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the 2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS)
ISBN
978-1-4799-1426-5
ISSN
—
e-ISSN
—
Počet stran výsledku
5
Strana od-do
630-635
Název nakladatele
Institute of Electrical and Electronics Engineers
Místo vydání
Berlin
Místo konání akce
Berlin
Datum konání akce
11. 9. 2013
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—