Safety criteria and development methodology for the safety critical railway software
The main part of the system is operated by the software. Besides the safety critical system such as railways, airplanes, and nuclear power plants is applied by the software. The software can perform more varying and highly complex functions efficiently because software can be flexibly designed and i...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 4 |
|---|---|
| container_issue | |
| container_start_page | 1 |
| container_title | |
| container_volume | |
| creator | Eui-jin Joung Se-chan Oh Sung-hyuk Park Gil-dong Kim |
| description | The main part of the system is operated by the software. Besides the safety critical system such as railways, airplanes, and nuclear power plants is applied by the software. The software can perform more varying and highly complex functions efficiently because software can be flexibly designed and implemented. But the flexible design makes it difficult to predict the software failures. We need to show that the safety critical railway software is developed to ensure the safety. This paper is suggested safety criteria and software development methodology to enhance safety for the safety critical railway system. |
| doi_str_mv | 10.1109/INTLEC.2009.5351957 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_5351957</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5351957</ieee_id><sourcerecordid>5351957</sourcerecordid><originalsourceid>FETCH-LOGICAL-i90t-17a1a3fa5c281799b3f9eb554a92eeb94ca4cf103f0dfc0741ad2ba8bed074583</originalsourceid><addsrcrecordid>eNpFUNtqAjEUTC-C1voFvuQH1p7cTPJYxLaCtA_ddzm7e1JTVleyobJ_X6EFh4FhGGYehrG5gIUQ4J827-V2vVpIAL8wyghv7A17EFrqC72wt2wihXGFkQLurgH4ezYBaU0B2qoRGzu3NEsh3ZjN-v4bLtAGlmAmrPzEQHngdYqZUkSOx4Y39ENtdzrQMfMD5X3XdG33NfDQJZ73xPtrJ9bY8oSxPePA-y7kMyZ6ZKOAbU-zf52y8mVdrt6K7cfrZvW8LaKHXAiLAlVAU0snrPeVCp4qYzR6SVR5XaOugwAVoAk1WC2wkRW6ipqLMU5N2fxvNhLR7pTiAdOw-_9J_QLtz1ht</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Safety criteria and development methodology for the safety critical railway software</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Eui-jin Joung ; Se-chan Oh ; Sung-hyuk Park ; Gil-dong Kim</creator><creatorcontrib>Eui-jin Joung ; Se-chan Oh ; Sung-hyuk Park ; Gil-dong Kim</creatorcontrib><description>The main part of the system is operated by the software. Besides the safety critical system such as railways, airplanes, and nuclear power plants is applied by the software. The software can perform more varying and highly complex functions efficiently because software can be flexibly designed and implemented. But the flexible design makes it difficult to predict the software failures. We need to show that the safety critical railway software is developed to ensure the safety. This paper is suggested safety criteria and software development methodology to enhance safety for the safety critical railway system.</description><identifier>ISSN: 0275-0473</identifier><identifier>ISBN: 1424424909</identifier><identifier>ISBN: 9781424424900</identifier><identifier>EISSN: 2158-5210</identifier><identifier>EISBN: 1424424917</identifier><identifier>EISBN: 9781424424917</identifier><identifier>DOI: 10.1109/INTLEC.2009.5351957</identifier><identifier>LCCN: 88656128</identifier><language>eng</language><publisher>IEEE</publisher><subject>Accidents ; Programming ; Rail transportation ; Railway safety ; Software maintenance ; Software performance ; Software quality ; Software safety ; Software standards ; Software systems</subject><ispartof>INTELEC 2009 - 31st International Telecommunications Energy Conference, 2009, p.1-4</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/5351957$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2051,27904,54898</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5351957$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Eui-jin Joung</creatorcontrib><creatorcontrib>Se-chan Oh</creatorcontrib><creatorcontrib>Sung-hyuk Park</creatorcontrib><creatorcontrib>Gil-dong Kim</creatorcontrib><title>Safety criteria and development methodology for the safety critical railway software</title><title>INTELEC 2009 - 31st International Telecommunications Energy Conference</title><addtitle>INTLEC</addtitle><description>The main part of the system is operated by the software. Besides the safety critical system such as railways, airplanes, and nuclear power plants is applied by the software. The software can perform more varying and highly complex functions efficiently because software can be flexibly designed and implemented. But the flexible design makes it difficult to predict the software failures. We need to show that the safety critical railway software is developed to ensure the safety. This paper is suggested safety criteria and software development methodology to enhance safety for the safety critical railway system.</description><subject>Accidents</subject><subject>Programming</subject><subject>Rail transportation</subject><subject>Railway safety</subject><subject>Software maintenance</subject><subject>Software performance</subject><subject>Software quality</subject><subject>Software safety</subject><subject>Software standards</subject><subject>Software systems</subject><issn>0275-0473</issn><issn>2158-5210</issn><isbn>1424424909</isbn><isbn>9781424424900</isbn><isbn>1424424917</isbn><isbn>9781424424917</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2009</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNpFUNtqAjEUTC-C1voFvuQH1p7cTPJYxLaCtA_ddzm7e1JTVleyobJ_X6EFh4FhGGYehrG5gIUQ4J827-V2vVpIAL8wyghv7A17EFrqC72wt2wihXGFkQLurgH4ezYBaU0B2qoRGzu3NEsh3ZjN-v4bLtAGlmAmrPzEQHngdYqZUkSOx4Y39ENtdzrQMfMD5X3XdG33NfDQJZ73xPtrJ9bY8oSxPePA-y7kMyZ6ZKOAbU-zf52y8mVdrt6K7cfrZvW8LaKHXAiLAlVAU0snrPeVCp4qYzR6SVR5XaOugwAVoAk1WC2wkRW6ipqLMU5N2fxvNhLR7pTiAdOw-_9J_QLtz1ht</recordid><startdate>200910</startdate><enddate>200910</enddate><creator>Eui-jin Joung</creator><creator>Se-chan Oh</creator><creator>Sung-hyuk Park</creator><creator>Gil-dong Kim</creator><general>IEEE</general><scope>6IE</scope><scope>6IH</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIO</scope></search><sort><creationdate>200910</creationdate><title>Safety criteria and development methodology for the safety critical railway software</title><author>Eui-jin Joung ; Se-chan Oh ; Sung-hyuk Park ; Gil-dong Kim</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i90t-17a1a3fa5c281799b3f9eb554a92eeb94ca4cf103f0dfc0741ad2ba8bed074583</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2009</creationdate><topic>Accidents</topic><topic>Programming</topic><topic>Rail transportation</topic><topic>Railway safety</topic><topic>Software maintenance</topic><topic>Software performance</topic><topic>Software quality</topic><topic>Software safety</topic><topic>Software standards</topic><topic>Software systems</topic><toplevel>online_resources</toplevel><creatorcontrib>Eui-jin Joung</creatorcontrib><creatorcontrib>Se-chan Oh</creatorcontrib><creatorcontrib>Sung-hyuk Park</creatorcontrib><creatorcontrib>Gil-dong Kim</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan (POP) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP) 1998-present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Eui-jin Joung</au><au>Se-chan Oh</au><au>Sung-hyuk Park</au><au>Gil-dong Kim</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Safety criteria and development methodology for the safety critical railway software</atitle><btitle>INTELEC 2009 - 31st International Telecommunications Energy Conference</btitle><stitle>INTLEC</stitle><date>2009-10</date><risdate>2009</risdate><spage>1</spage><epage>4</epage><pages>1-4</pages><issn>0275-0473</issn><eissn>2158-5210</eissn><isbn>1424424909</isbn><isbn>9781424424900</isbn><eisbn>1424424917</eisbn><eisbn>9781424424917</eisbn><abstract>The main part of the system is operated by the software. Besides the safety critical system such as railways, airplanes, and nuclear power plants is applied by the software. The software can perform more varying and highly complex functions efficiently because software can be flexibly designed and implemented. But the flexible design makes it difficult to predict the software failures. We need to show that the safety critical railway software is developed to ensure the safety. This paper is suggested safety criteria and software development methodology to enhance safety for the safety critical railway system.</abstract><pub>IEEE</pub><doi>10.1109/INTLEC.2009.5351957</doi><tpages>4</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0275-0473 |
| ispartof | INTELEC 2009 - 31st International Telecommunications Energy Conference, 2009, p.1-4 |
| issn | 0275-0473 2158-5210 |
| language | eng |
| recordid | cdi_ieee_primary_5351957 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Accidents Programming Rail transportation Railway safety Software maintenance Software performance Software quality Software safety Software standards Software systems |
| title | Safety criteria and development methodology for the safety critical railway software |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-25T06%3A50%3A00IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Safety%20criteria%20and%20development%20methodology%20for%20the%20safety%20critical%20railway%20software&rft.btitle=INTELEC%202009%20-%2031st%20International%20Telecommunications%20Energy%20Conference&rft.au=Eui-jin%20Joung&rft.date=2009-10&rft.spage=1&rft.epage=4&rft.pages=1-4&rft.issn=0275-0473&rft.eissn=2158-5210&rft.isbn=1424424909&rft.isbn_list=9781424424900&rft_id=info:doi/10.1109/INTLEC.2009.5351957&rft_dat=%3Cieee_6IE%3E5351957%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=1424424917&rft.eisbn_list=9781424424917&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=5351957&rfr_iscdi=true |