About: A method for parallel software refactoring for safety standards compliance     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • The importance of safety standards of software systems is increasing as the use of software grows because of its convenience and flexibility. Software safety standards are very important in aircraft, automotive or medical devices. Common requirement of all these standards is the requirement of reliability, which can be easily achieved by verified usage of design patterns. We have developed parallel code generating and refactoring system for safety standards compliance, which increases reliability of existing codes by refactoring and parallel design patterns. In our research, we have created system for implementation of concurrency and synchronization design patterns into (previously created) poor quality parallel source codes, which is the most important part of reducing potential sources of faults. An important part of our system is a method for specification of verifiable parallel design patterns, which is the main contribution described by this article.
  • The importance of safety standards of software systems is increasing as the use of software grows because of its convenience and flexibility. Software safety standards are very important in aircraft, automotive or medical devices. Common requirement of all these standards is the requirement of reliability, which can be easily achieved by verified usage of design patterns. We have developed parallel code generating and refactoring system for safety standards compliance, which increases reliability of existing codes by refactoring and parallel design patterns. In our research, we have created system for implementation of concurrency and synchronization design patterns into (previously created) poor quality parallel source codes, which is the most important part of reducing potential sources of faults. An important part of our system is a method for specification of verifiable parallel design patterns, which is the main contribution described by this article. (en)
Title
  • A method for parallel software refactoring for safety standards compliance
  • A method for parallel software refactoring for safety standards compliance (en)
skos:prefLabel
  • A method for parallel software refactoring for safety standards compliance
  • A method for parallel software refactoring for safety standards compliance (en)
skos:notation
  • RIV/00216305:26230/13:PU108436!RIV14-MSM-26230___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(ED1.1.00/02.0070), S, Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 58724
http://linked.open...ai/riv/idVysledku
  • RIV/00216305:26230/13:PU108436
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • parallel design patterns, refactoring, reliability (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [DB73CB084F45]
http://linked.open...i/riv/mistoVydani
  • London
http://linked.open...vEdiceCisloSvazku
  • NEUVEDEN
http://linked.open...i/riv/nazevZdroje
  • Resilience, Security & Risk in Transport
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...v/pocetStranKnihy
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Barabas, Maroš
  • Hanáček, Petr
  • Henzl, Martin
  • Kačic, Matej
  • Jurnečka, Peter
http://linked.open...n/vavai/riv/zamer
number of pages
http://bibframe.org/vocab/doi
  • 10.1049/PERRSR3E
http://purl.org/ne...btex#hasPublisher
  • The Institution of Engineering and Technology
https://schema.org/isbn
  • 978-1-84919-787-8
http://localhost/t...ganizacniJednotka
  • 26230
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software