Detail publikace

A method for parallel software refactoring for safety standards compliance

JURNEČKA, P.; HANÁČEK, P.; BARABAS, M.; HENZL, M.; KAČIC, M. A method for parallel software refactoring for safety standards compliance. System Safety 2013 collection of papers. INT. CONF. ON SIMULATORS, (BRIGHTON, U.K.: SEP. 26-30, 1983), LONDON, U.K., INST. ELECTR. ENGRS., 1983, P.267-273. (CONF. Cardiff: The Institution of Engineering and Technology, 2013. p. 1-6. ISBN: 978-1-84919-777-9. ISSN: 0537-9989.
Název česky
Metoda použitá v systému na úpravu paralelních zdrojových kódu pro dodržování bezpečnostních standardů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Jurnečka Peter, Ing., Ph.D.
Hanáček Petr, doc. Dr. Ing. (UITS)
Barabas Maroš, Ing., Ph.D.
Henzl Martin, Ing. Mgr., Ph.D.
Kačic Matej, Ing., Ph.D.
Klíčová slova

parallel design patterns, refactoring, reliability

Abstrakt

Význam bezpečnostných noriem softvérových systémov stúpa ako rastie používanie softvéru, kvôli jeho flexibilite. Bezpečnostné štandardy softvéru sú veľmi dôležité v leteckom, automobilovom premysle. Všeobecnou požiadavkou všetkých týchto štandardov je požiadavka spoľahlivosti, ktorú možno ľahko dosiahnuť použitím overených návrhových vzorov. Vyvinuli sme systém na generovanie a refaktoring paralelných kódov slúžiaci na dodržiavanie bezpečnostných noriem, čo zvyšuje spoľahlivosť existujúcich zdrojových kódov, pomocou refaktoringu a paralelných návrhových vzorov. V našom výskume sme vytvorili systém pre vkladanie súbežných a synchronizáčných návrhových vzorov do (predtým vytvorených)menej kvalitných paralelných zdrojových kódov, čo je tá najdôležitejšia časť systému znížujúca množstvo potenciálnych zdrojov chýb. Dôležitou súčasťou nášho systém je metóda pre špecifikáciu overiteľných paralelných návrhových vzorov, čo je hlavný prínos popísaný tomto článku.

Rok
2013
Strany
1–6
Časopis
INT. CONF. ON SIMULATORS, (BRIGHTON, U.K.: SEP. 26-30, 1983), LONDON, U.K., INST. ELECTR. ENGRS., 1983, P.267-273. (CONF., roč. 2013, č. 10, ISSN 0537-9989
Sborník
System Safety 2013 collection of papers
ISBN
978-1-84919-777-9
Vydavatel
The Institution of Engineering and Technology
Místo
Cardiff
BibTeX 
@inproceedings{BUT103538,
  author="Peter {Jurnečka} and Petr {Hanáček} and Maroš {Barabas} and Martin {Henzl} and Matej {Kačic}",
  title="A method for parallel software refactoring for safety standards compliance",
  booktitle="System Safety 2013 collection of papers",
  year="2013",
  journal="INT. CONF. ON SIMULATORS, (BRIGHTON, U.K.: SEP. 26-30, 1983), LONDON, U.K., INST. ELECTR. ENGRS., 1983, P.267-273. (CONF.",
  volume="2013",
  number="10",
  pages="1--6",
  publisher="The Institution of Engineering and Technology",
  address="Cardiff",
  isbn="978-1-84919-777-9",
  issn="0537-9989"
}
Nahoru