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

Result code in 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>

Result on the web

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

Result language

angličtina

Original language name

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

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/ED1.1.00%2F02.0070" target="_blank" >ED1.1.00/02.0070: IT4Innovations Centre of Excellence</a><br>

Continuities

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

Publication year

2013

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

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

—

Number of pages

5

Pages from-to

630-635

Publisher name

Institute of Electrical and Electronics Engineers

Place of publication

Berlin

Event location

Berlin

Event date

Sep 11, 2013

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—