Functional safety for embedded systems:
This book uses automotive embedded systems as an example to introduce functional safety assurance and safety-aware cost optimization. The book explores functional safety assurance from the perspectives of verification, enhancement, and validation.The functional safety assurance methods implement a s...
Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boca Raton ; London ; New York
CRC Press, Taylor & Francis Group
2023
|
| Ausgabe: | First edition |
| Schlagworte: | |
| Zusammenfassung: | This book uses automotive embedded systems as an example to introduce functional safety assurance and safety-aware cost optimization. The book explores functional safety assurance from the perspectives of verification, enhancement, and validation.The functional safety assurance methods implement a safe and efficient assurance system that integrates safety verification, enhancement, and validation. The assurance methods offered in this book could provide a reasonable and scientific theoretical basis for the subsequent formulation of automotive functional safety standards. The safety-aware cost optimization methods divide cost types according to the essential differences of various costs in system design and establish reasonable models based on different costs. The cost optimization methods provided in this book could give appropriate cost optimization solutions for the cost-sensitive automotive industry, thereby achieving effective cost management and control. Functional safety assurance methods and safety-aware cost optimization support each other and jointly build the architecture of functional safety design methodologies for automotive embedded systems.The work aspires to provide a relevant reference for students, researchers, engineers, and professionals working in this area or those interested in hardware cost optimization and development cost optimization design methods based on ensuring functional safety in general |
| Beschreibung: | 1. Introduction Section I: FUNCTIONAL SAFETY ASSURANCE 2. Functional Safety Verification 3. Functional Safety Enhancement 4. Functional Safety Validation Section II SAFETY-AWARE COST OPTIMIZATION 5. Hardware Cost Optimization 6. Development Cost Optimization 7. Summary and Future Research |
| Beschreibung: | xvii, 163 Seiten Diagramme |
| ISBN: | 9781032489360 9781032489384 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV050148512 | ||
| 003 | DE-604 | ||
| 005 | 20250305 | ||
| 007 | t| | ||
| 008 | 250131s2023 xx |||| |||| 00||| eng d | ||
| 020 | |a 9781032489360 |c hbk |9 978-1-03-248936-0 | ||
| 020 | |a 9781032489384 |c pbk |9 978-1-032-48938-4 | ||
| 024 | 3 | |a 9781032489384 | |
| 035 | |a (DE-599)BVBBV050148512 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Xie, Guoqi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Functional safety for embedded systems |c Guoqi Xie, Yawen Zhang, Renfa Li, Kenli Li, Keqin Li |
| 250 | |a First edition | ||
| 264 | 1 | |a Boca Raton ; London ; New York |b CRC Press, Taylor & Francis Group |c 2023 | |
| 300 | |a xvii, 163 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a 1. Introduction Section I: FUNCTIONAL SAFETY ASSURANCE 2. Functional Safety Verification 3. Functional Safety Enhancement 4. Functional Safety Validation Section II SAFETY-AWARE COST OPTIMIZATION 5. Hardware Cost Optimization 6. Development Cost Optimization 7. Summary and Future Research | ||
| 520 | |a This book uses automotive embedded systems as an example to introduce functional safety assurance and safety-aware cost optimization. The book explores functional safety assurance from the perspectives of verification, enhancement, and validation.The functional safety assurance methods implement a safe and efficient assurance system that integrates safety verification, enhancement, and validation. The assurance methods offered in this book could provide a reasonable and scientific theoretical basis for the subsequent formulation of automotive functional safety standards. The safety-aware cost optimization methods divide cost types according to the essential differences of various costs in system design and establish reasonable models based on different costs. The cost optimization methods provided in this book could give appropriate cost optimization solutions for the cost-sensitive automotive industry, thereby achieving effective cost management and control. Functional safety assurance methods and safety-aware cost optimization support each other and jointly build the architecture of functional safety design methodologies for automotive embedded systems.The work aspires to provide a relevant reference for students, researchers, engineers, and professionals working in this area or those interested in hardware cost optimization and development cost optimization design methods based on ensuring functional safety in general | ||
| 650 | 4 | |a bicssc / Computer architecture & logic design | |
| 650 | 4 | |a bicssc / Computer programming / software development | |
| 650 | 4 | |a bisacsh / TECHNOLOGY & ENGINEERING / Automotive | |
| 650 | 4 | |a bisacsh / COMPUTERS / Computer Science | |
| 650 | 4 | |a bisacsh / COMPUTERS / Hardware / General | |
| 650 | 4 | |a bisacsh / COMPUTERS / Programming / Games | |
| 700 | 1 | |a Zhang, Yawen |e Verfasser |4 aut | |
| 700 | 1 | |a Li, Renfa |e Verfasser |4 aut | |
| 700 | 1 | |a Li, Kenli |e Verfasser |4 aut | |
| 700 | 1 | |a Li, Keqin |e Verfasser |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-1-003-39151-7 |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-035484874 | |
Datensatz im Suchindex
| _version_ | 1825759195182399488 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Xie, Guoqi Zhang, Yawen Li, Renfa Li, Kenli Li, Keqin |
| author_facet | Xie, Guoqi Zhang, Yawen Li, Renfa Li, Kenli Li, Keqin |
| author_role | aut aut aut aut aut |
| author_sort | Xie, Guoqi |
| author_variant | g x gx y z yz r l rl k l kl k l kl |
| building | Verbundindex |
| bvnumber | BV050148512 |
| ctrlnum | (DE-599)BVBBV050148512 |
| edition | First edition |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV050148512</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20250305</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">250131s2023 xx |||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781032489360</subfield><subfield code="c">hbk</subfield><subfield code="9">978-1-03-248936-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781032489384</subfield><subfield code="c">pbk</subfield><subfield code="9">978-1-032-48938-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9781032489384</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV050148512</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Xie, Guoqi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Functional safety for embedded systems</subfield><subfield code="c">Guoqi Xie, Yawen Zhang, Renfa Li, Kenli Li, Keqin Li</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">First edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boca Raton ; London ; New York</subfield><subfield code="b">CRC Press, Taylor & Francis Group</subfield><subfield code="c">2023</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xvii, 163 Seiten</subfield><subfield code="b">Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">1. Introduction Section I: FUNCTIONAL SAFETY ASSURANCE 2. Functional Safety Verification 3. Functional Safety Enhancement 4. Functional Safety Validation Section II SAFETY-AWARE COST OPTIMIZATION 5. Hardware Cost Optimization 6. Development Cost Optimization 7. Summary and Future Research</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book uses automotive embedded systems as an example to introduce functional safety assurance and safety-aware cost optimization. The book explores functional safety assurance from the perspectives of verification, enhancement, and validation.The functional safety assurance methods implement a safe and efficient assurance system that integrates safety verification, enhancement, and validation. The assurance methods offered in this book could provide a reasonable and scientific theoretical basis for the subsequent formulation of automotive functional safety standards. The safety-aware cost optimization methods divide cost types according to the essential differences of various costs in system design and establish reasonable models based on different costs. The cost optimization methods provided in this book could give appropriate cost optimization solutions for the cost-sensitive automotive industry, thereby achieving effective cost management and control. Functional safety assurance methods and safety-aware cost optimization support each other and jointly build the architecture of functional safety design methodologies for automotive embedded systems.The work aspires to provide a relevant reference for students, researchers, engineers, and professionals working in this area or those interested in hardware cost optimization and development cost optimization design methods based on ensuring functional safety in general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">bicssc / Computer architecture & logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">bicssc / Computer programming / software development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">bisacsh / TECHNOLOGY & ENGINEERING / Automotive</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">bisacsh / COMPUTERS / Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">bisacsh / COMPUTERS / Hardware / General</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">bisacsh / COMPUTERS / Programming / Games</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zhang, Yawen</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Li, Renfa</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Li, Kenli</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Li, Keqin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-1-003-39151-7</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-035484874</subfield></datafield></record></collection> |
| id | DE-604.BV050148512 |
| illustrated | Not Illustrated |
| indexdate | 2025-03-05T13:00:52Z |
| institution | BVB |
| isbn | 9781032489360 9781032489384 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-035484874 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | xvii, 163 Seiten Diagramme |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | CRC Press, Taylor & Francis Group |
| record_format | marc |
| spelling | Xie, Guoqi Verfasser aut Functional safety for embedded systems Guoqi Xie, Yawen Zhang, Renfa Li, Kenli Li, Keqin Li First edition Boca Raton ; London ; New York CRC Press, Taylor & Francis Group 2023 xvii, 163 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier 1. Introduction Section I: FUNCTIONAL SAFETY ASSURANCE 2. Functional Safety Verification 3. Functional Safety Enhancement 4. Functional Safety Validation Section II SAFETY-AWARE COST OPTIMIZATION 5. Hardware Cost Optimization 6. Development Cost Optimization 7. Summary and Future Research This book uses automotive embedded systems as an example to introduce functional safety assurance and safety-aware cost optimization. The book explores functional safety assurance from the perspectives of verification, enhancement, and validation.The functional safety assurance methods implement a safe and efficient assurance system that integrates safety verification, enhancement, and validation. The assurance methods offered in this book could provide a reasonable and scientific theoretical basis for the subsequent formulation of automotive functional safety standards. The safety-aware cost optimization methods divide cost types according to the essential differences of various costs in system design and establish reasonable models based on different costs. The cost optimization methods provided in this book could give appropriate cost optimization solutions for the cost-sensitive automotive industry, thereby achieving effective cost management and control. Functional safety assurance methods and safety-aware cost optimization support each other and jointly build the architecture of functional safety design methodologies for automotive embedded systems.The work aspires to provide a relevant reference for students, researchers, engineers, and professionals working in this area or those interested in hardware cost optimization and development cost optimization design methods based on ensuring functional safety in general bicssc / Computer architecture & logic design bicssc / Computer programming / software development bisacsh / TECHNOLOGY & ENGINEERING / Automotive bisacsh / COMPUTERS / Computer Science bisacsh / COMPUTERS / Hardware / General bisacsh / COMPUTERS / Programming / Games Zhang, Yawen Verfasser aut Li, Renfa Verfasser aut Li, Kenli Verfasser aut Li, Keqin Verfasser aut Erscheint auch als Online-Ausgabe 978-1-003-39151-7 |
| spellingShingle | Xie, Guoqi Zhang, Yawen Li, Renfa Li, Kenli Li, Keqin Functional safety for embedded systems bicssc / Computer architecture & logic design bicssc / Computer programming / software development bisacsh / TECHNOLOGY & ENGINEERING / Automotive bisacsh / COMPUTERS / Computer Science bisacsh / COMPUTERS / Hardware / General bisacsh / COMPUTERS / Programming / Games |
| title | Functional safety for embedded systems |
| title_auth | Functional safety for embedded systems |
| title_exact_search | Functional safety for embedded systems |
| title_full | Functional safety for embedded systems Guoqi Xie, Yawen Zhang, Renfa Li, Kenli Li, Keqin Li |
| title_fullStr | Functional safety for embedded systems Guoqi Xie, Yawen Zhang, Renfa Li, Kenli Li, Keqin Li |
| title_full_unstemmed | Functional safety for embedded systems Guoqi Xie, Yawen Zhang, Renfa Li, Kenli Li, Keqin Li |
| title_short | Functional safety for embedded systems |
| title_sort | functional safety for embedded systems |
| topic | bicssc / Computer architecture & logic design bicssc / Computer programming / software development bisacsh / TECHNOLOGY & ENGINEERING / Automotive bisacsh / COMPUTERS / Computer Science bisacsh / COMPUTERS / Hardware / General bisacsh / COMPUTERS / Programming / Games |
| topic_facet | bicssc / Computer architecture & logic design bicssc / Computer programming / software development bisacsh / TECHNOLOGY & ENGINEERING / Automotive bisacsh / COMPUTERS / Computer Science bisacsh / COMPUTERS / Hardware / General bisacsh / COMPUTERS / Programming / Games |
| work_keys_str_mv | AT xieguoqi functionalsafetyforembeddedsystems AT zhangyawen functionalsafetyforembeddedsystems AT lirenfa functionalsafetyforembeddedsystems AT likenli functionalsafetyforembeddedsystems AT likeqin functionalsafetyforembeddedsystems |