Handbook of research on embedded system design:
"This book provides insights from the computer science community on integrated systems research projects taking place in the European region, looking at the diverse range of design principles covered by these projects, from specification at high abstraction levels using standards such as UML an...
Gespeichert in:
| Weitere Verfasser: | , , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Hershey PA, USA
Information Science Reference, an imprint of IGI Global
[2014]
|
| Schriftenreihe: | Advances in systems analysis, software engineering, and high performance computing (ASASEHPC) book series
|
| Schlagworte: | |
| Online-Zugang: | DE-1050 DE-898 DE-1049 DE-83 DE-706 Volltext |
| Zusammenfassung: | "This book provides insights from the computer science community on integrated systems research projects taking place in the European region, looking at the diverse range of design principles covered by these projects, from specification at high abstraction levels using standards such as UML and related profiles to intermediate design phases"--Provided by publisher |
| Beschreibung: | Includes bibliographical references |
| Beschreibung: | 1 Online-Ressource (xxxi, 520 Seiten) |
| ISBN: | 9781466661950 9781466661974 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044298553 | ||
| 003 | DE-604 | ||
| 005 | 20250131 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170505s2014 xx o|||| 00||| eng d | ||
| 020 | |a 9781466661950 |9 978-1-4666-6195-0 | ||
| 020 | |a 9781466661974 |c print & perpetual access |9 978-1-4666-6197-4 | ||
| 024 | 7 | |a 10.4018/978-1-4666-6194-3 |2 doi | |
| 035 | |a (OCoLC)992458917 | ||
| 035 | |a (DE-599)BVBBV044298553 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-1049 |a DE-898 |a DE-1050 |a DE-83 | ||
| 084 | |a ST 153 |0 (DE-625)143597: |2 rvk | ||
| 245 | 1 | 0 | |a Handbook of research on embedded system design |c Alessandra Bagnato (Softeam R&D, France), Leandro Soares Indrusiak (University of York, UK), Imran Rafiq Quadri (Softeam R&D, France), Matteo Rossi (Politecnico di Milano, Italy) |
| 246 | 1 | 3 | |a Embedded system design |
| 264 | 1 | |a Hershey PA, USA |b Information Science Reference, an imprint of IGI Global |c [2014] | |
| 264 | 4 | |c © 2014 | |
| 300 | |a 1 Online-Ressource (xxxi, 520 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Advances in systems analysis, software engineering, and high performance computing (ASASEHPC) book series | |
| 500 | |a Includes bibliographical references | ||
| 505 | 8 | |a Collaborative development of dependable cyber-physical systems by co-modeling and co-simulation / John Fitzgerald, Ken Pierce, Peter Gorm Larsen -- UML MARTE time model and its clock constraint specification language / Fr ed eric Mallet, Marie-Agn es Peraldi-Frati, Julien Deantoni, Robert de Simone -- Symbolic-based monitoring for embedded applications / Pramila Mouttappa, Stephane Maag, Ana Cavalli -- Designing resource-constrained embedded heterogeneous systems to cope with variability / Ian Gray, Andrea Acquaviva, Neil Audsley -- Vulnerabilities of secure and reliable low-power embedded systems and their analysis methods: a comprehensive study / Norbert Druml [and 7 others] -- An aspect-oriented approach to hardware fault tolerance for embedded systems / David de Andr es, Juan-Carlos Ruiz, Jaime Espinosa, Pedro Gil -- Optimized system-level design methods for NoC-based many core embedded systems / Haoyuan Ying, Klaus Hofmann, Thomas Hollstein -- | |
| 505 | 8 | |a - MADES FP7 EU project: effective high level SysML/MARTE methodology for real-time and embedded avionics systems / Alessandra Bagnato [and 15 others] -- Requirements refinement and component reuse: the FoReVer contract-based approach / Laura Baracchi, Alessandro Cimatti, Gerald Garcia, Silvia Mazzini, Stefano Puri, Stefano Tonetta -- Model-based analysis and engineering of automotive architectures with EAST-ADL / Sara Tucci-Piergiovanni [and 10 others] -- Fostering analysis from industrial embedded systems modeling / Michel Bourdell es [and 9 others] -- A model-driven engineering method for DRE defense systems performance analysis and prediction / Katrina Falkner, Vanea Chiprianov, Nickolas Falkner, Claudia Szabo, Gavin Puddy -- Industrial applications of emulation techniques for the early evaluation of secure low-power embedded systems / Norbert Druml [and 7 others] -- | |
| 505 | 8 | |a - Dynamically reconfigurable embedded architectures for safe transportation systems / Naim Harb, Smail Niar, Mazen A. R. Saghir -- Embedded virtualization techniques for automotive infotainment applications / Massimo Violante, Gianpaolo Macario, Salvatore Campagna -- Studying individualized transit indicators using a new low-cost information system / P. A. Castillo [and 9 others] -- Mission critical embedded system development process: an industry perspective / Stefano Genolini, Matteo Crippa -- Framework-based debugging for embedded systems / Gokhan Tanyeri, Trish Messiter, Paul Beckett -- Industrial experiments in IMS, ATC, and SDR projects of property verification techniques / Emmanuel Gaudin | |
| 520 | |a "This book provides insights from the computer science community on integrated systems research projects taking place in the European region, looking at the diverse range of design principles covered by these projects, from specification at high abstraction levels using standards such as UML and related profiles to intermediate design phases"--Provided by publisher | ||
| 650 | 4 | |a Embedded computer systems | |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 700 | 1 | |a Bagnato, Alessandra |4 edt | |
| 700 | 1 | |a Indrusiak, Leandro Soares |4 edt | |
| 700 | 1 | |a Quadri, Imran Rafiq |0 (DE-588)1131383176 |4 edt | |
| 700 | 1 | |a Rossi, Matteo |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-4666-6194-3 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 1-4666-6194-1 |
| 856 | 4 | 0 | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-6194-3 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-98-IGB | ||
| 912 | |a ZDB-1-IGE | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029702489 | |
| 966 | e | |u https://doi.org/10.4018/978-1-4666-6194-3 |l DE-1050 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-4666-6194-3 |l DE-898 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-4666-6194-3 |l DE-1049 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-4666-6194-3 |l DE-83 |p ZDB-98-IGB |q TUB_EBS_IGB_Kauf |x Verlag |3 Volltext | |
| 966 | e | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-6194-3 |l DE-706 |p ZDB-98-IGB |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1822746805968830464 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Bagnato, Alessandra Indrusiak, Leandro Soares Quadri, Imran Rafiq Rossi, Matteo |
| author2_role | edt edt edt edt |
| author2_variant | a b ab l s i ls lsi i r q ir irq m r mr |
| author_GND | (DE-588)1131383176 |
| author_facet | Bagnato, Alessandra Indrusiak, Leandro Soares Quadri, Imran Rafiq Rossi, Matteo |
| building | Verbundindex |
| bvnumber | BV044298553 |
| classification_rvk | ST 153 |
| collection | ZDB-98-IGB ZDB-1-IGE |
| contents | Collaborative development of dependable cyber-physical systems by co-modeling and co-simulation / John Fitzgerald, Ken Pierce, Peter Gorm Larsen -- UML MARTE time model and its clock constraint specification language / Fr ed eric Mallet, Marie-Agn es Peraldi-Frati, Julien Deantoni, Robert de Simone -- Symbolic-based monitoring for embedded applications / Pramila Mouttappa, Stephane Maag, Ana Cavalli -- Designing resource-constrained embedded heterogeneous systems to cope with variability / Ian Gray, Andrea Acquaviva, Neil Audsley -- Vulnerabilities of secure and reliable low-power embedded systems and their analysis methods: a comprehensive study / Norbert Druml [and 7 others] -- An aspect-oriented approach to hardware fault tolerance for embedded systems / David de Andr es, Juan-Carlos Ruiz, Jaime Espinosa, Pedro Gil -- Optimized system-level design methods for NoC-based many core embedded systems / Haoyuan Ying, Klaus Hofmann, Thomas Hollstein -- - MADES FP7 EU project: effective high level SysML/MARTE methodology for real-time and embedded avionics systems / Alessandra Bagnato [and 15 others] -- Requirements refinement and component reuse: the FoReVer contract-based approach / Laura Baracchi, Alessandro Cimatti, Gerald Garcia, Silvia Mazzini, Stefano Puri, Stefano Tonetta -- Model-based analysis and engineering of automotive architectures with EAST-ADL / Sara Tucci-Piergiovanni [and 10 others] -- Fostering analysis from industrial embedded systems modeling / Michel Bourdell es [and 9 others] -- A model-driven engineering method for DRE defense systems performance analysis and prediction / Katrina Falkner, Vanea Chiprianov, Nickolas Falkner, Claudia Szabo, Gavin Puddy -- Industrial applications of emulation techniques for the early evaluation of secure low-power embedded systems / Norbert Druml [and 7 others] -- - Dynamically reconfigurable embedded architectures for safe transportation systems / Naim Harb, Smail Niar, Mazen A. R. Saghir -- Embedded virtualization techniques for automotive infotainment applications / Massimo Violante, Gianpaolo Macario, Salvatore Campagna -- Studying individualized transit indicators using a new low-cost information system / P. A. Castillo [and 9 others] -- Mission critical embedded system development process: an industry perspective / Stefano Genolini, Matteo Crippa -- Framework-based debugging for embedded systems / Gokhan Tanyeri, Trish Messiter, Paul Beckett -- Industrial experiments in IMS, ATC, and SDR projects of property verification techniques / Emmanuel Gaudin |
| ctrlnum | (OCoLC)992458917 (DE-599)BVBBV044298553 |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zc 4500</leader><controlfield tag="001">BV044298553</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20250131</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170505s2014 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781466661950</subfield><subfield code="9">978-1-4666-6195-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781466661974</subfield><subfield code="c">print & perpetual access</subfield><subfield code="9">978-1-4666-6197-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4018/978-1-4666-6194-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)992458917</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044298553</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-706</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 153</subfield><subfield code="0">(DE-625)143597:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Handbook of research on embedded system design</subfield><subfield code="c">Alessandra Bagnato (Softeam R&D, France), Leandro Soares Indrusiak (University of York, UK), Imran Rafiq Quadri (Softeam R&D, France), Matteo Rossi (Politecnico di Milano, Italy)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Embedded system design</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hershey PA, USA</subfield><subfield code="b">Information Science Reference, an imprint of IGI Global</subfield><subfield code="c">[2014]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxxi, 520 Seiten)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Advances in systems analysis, software engineering, and high performance computing (ASASEHPC) book series</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Collaborative development of dependable cyber-physical systems by co-modeling and co-simulation / John Fitzgerald, Ken Pierce, Peter Gorm Larsen -- UML MARTE time model and its clock constraint specification language / Fr ed eric Mallet, Marie-Agn es Peraldi-Frati, Julien Deantoni, Robert de Simone -- Symbolic-based monitoring for embedded applications / Pramila Mouttappa, Stephane Maag, Ana Cavalli -- Designing resource-constrained embedded heterogeneous systems to cope with variability / Ian Gray, Andrea Acquaviva, Neil Audsley -- Vulnerabilities of secure and reliable low-power embedded systems and their analysis methods: a comprehensive study / Norbert Druml [and 7 others] -- An aspect-oriented approach to hardware fault tolerance for embedded systems / David de Andr es, Juan-Carlos Ruiz, Jaime Espinosa, Pedro Gil -- Optimized system-level design methods for NoC-based many core embedded systems / Haoyuan Ying, Klaus Hofmann, Thomas Hollstein --</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a"> - MADES FP7 EU project: effective high level SysML/MARTE methodology for real-time and embedded avionics systems / Alessandra Bagnato [and 15 others] -- Requirements refinement and component reuse: the FoReVer contract-based approach / Laura Baracchi, Alessandro Cimatti, Gerald Garcia, Silvia Mazzini, Stefano Puri, Stefano Tonetta -- Model-based analysis and engineering of automotive architectures with EAST-ADL / Sara Tucci-Piergiovanni [and 10 others] -- Fostering analysis from industrial embedded systems modeling / Michel Bourdell es [and 9 others] -- A model-driven engineering method for DRE defense systems performance analysis and prediction / Katrina Falkner, Vanea Chiprianov, Nickolas Falkner, Claudia Szabo, Gavin Puddy -- Industrial applications of emulation techniques for the early evaluation of secure low-power embedded systems / Norbert Druml [and 7 others] --</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a"> - Dynamically reconfigurable embedded architectures for safe transportation systems / Naim Harb, Smail Niar, Mazen A. R. Saghir -- Embedded virtualization techniques for automotive infotainment applications / Massimo Violante, Gianpaolo Macario, Salvatore Campagna -- Studying individualized transit indicators using a new low-cost information system / P. A. Castillo [and 9 others] -- Mission critical embedded system development process: an industry perspective / Stefano Genolini, Matteo Crippa -- Framework-based debugging for embedded systems / Gokhan Tanyeri, Trish Messiter, Paul Beckett -- Industrial experiments in IMS, ATC, and SDR projects of property verification techniques / Emmanuel Gaudin</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"This book provides insights from the computer science community on integrated systems research projects taking place in the European region, looking at the diverse range of design principles covered by these projects, from specification at high abstraction levels using standards such as UML and related profiles to intermediate design phases"--Provided by publisher</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bagnato, Alessandra</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Indrusiak, Leandro Soares</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Quadri, Imran Rafiq</subfield><subfield code="0">(DE-588)1131383176</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rossi, Matteo</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-4666-6194-3</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">1-4666-6194-1</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-6194-3</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-98-IGB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-IGE</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029702489</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-4666-6194-3</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-4666-6194-3</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-4666-6194-3</subfield><subfield code="l">DE-1049</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-4666-6194-3</subfield><subfield code="l">DE-83</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="q">TUB_EBS_IGB_Kauf</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-6194-3</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV044298553 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-31T07:00:14Z |
| institution | BVB |
| isbn | 9781466661950 9781466661974 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029702489 |
| oclc_num | 992458917 |
| open_access_boolean | |
| owner | DE-706 DE-1049 DE-898 DE-BY-UBR DE-1050 DE-83 |
| owner_facet | DE-706 DE-1049 DE-898 DE-BY-UBR DE-1050 DE-83 |
| physical | 1 Online-Ressource (xxxi, 520 Seiten) |
| psigel | ZDB-98-IGB ZDB-1-IGE ZDB-98-IGB TUB_EBS_IGB_Kauf |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Information Science Reference, an imprint of IGI Global |
| record_format | marc |
| series2 | Advances in systems analysis, software engineering, and high performance computing (ASASEHPC) book series |
| spelling | Handbook of research on embedded system design Alessandra Bagnato (Softeam R&D, France), Leandro Soares Indrusiak (University of York, UK), Imran Rafiq Quadri (Softeam R&D, France), Matteo Rossi (Politecnico di Milano, Italy) Embedded system design Hershey PA, USA Information Science Reference, an imprint of IGI Global [2014] © 2014 1 Online-Ressource (xxxi, 520 Seiten) txt rdacontent c rdamedia cr rdacarrier Advances in systems analysis, software engineering, and high performance computing (ASASEHPC) book series Includes bibliographical references Collaborative development of dependable cyber-physical systems by co-modeling and co-simulation / John Fitzgerald, Ken Pierce, Peter Gorm Larsen -- UML MARTE time model and its clock constraint specification language / Fr ed eric Mallet, Marie-Agn es Peraldi-Frati, Julien Deantoni, Robert de Simone -- Symbolic-based monitoring for embedded applications / Pramila Mouttappa, Stephane Maag, Ana Cavalli -- Designing resource-constrained embedded heterogeneous systems to cope with variability / Ian Gray, Andrea Acquaviva, Neil Audsley -- Vulnerabilities of secure and reliable low-power embedded systems and their analysis methods: a comprehensive study / Norbert Druml [and 7 others] -- An aspect-oriented approach to hardware fault tolerance for embedded systems / David de Andr es, Juan-Carlos Ruiz, Jaime Espinosa, Pedro Gil -- Optimized system-level design methods for NoC-based many core embedded systems / Haoyuan Ying, Klaus Hofmann, Thomas Hollstein -- - MADES FP7 EU project: effective high level SysML/MARTE methodology for real-time and embedded avionics systems / Alessandra Bagnato [and 15 others] -- Requirements refinement and component reuse: the FoReVer contract-based approach / Laura Baracchi, Alessandro Cimatti, Gerald Garcia, Silvia Mazzini, Stefano Puri, Stefano Tonetta -- Model-based analysis and engineering of automotive architectures with EAST-ADL / Sara Tucci-Piergiovanni [and 10 others] -- Fostering analysis from industrial embedded systems modeling / Michel Bourdell es [and 9 others] -- A model-driven engineering method for DRE defense systems performance analysis and prediction / Katrina Falkner, Vanea Chiprianov, Nickolas Falkner, Claudia Szabo, Gavin Puddy -- Industrial applications of emulation techniques for the early evaluation of secure low-power embedded systems / Norbert Druml [and 7 others] -- - Dynamically reconfigurable embedded architectures for safe transportation systems / Naim Harb, Smail Niar, Mazen A. R. Saghir -- Embedded virtualization techniques for automotive infotainment applications / Massimo Violante, Gianpaolo Macario, Salvatore Campagna -- Studying individualized transit indicators using a new low-cost information system / P. A. Castillo [and 9 others] -- Mission critical embedded system development process: an industry perspective / Stefano Genolini, Matteo Crippa -- Framework-based debugging for embedded systems / Gokhan Tanyeri, Trish Messiter, Paul Beckett -- Industrial experiments in IMS, ATC, and SDR projects of property verification techniques / Emmanuel Gaudin "This book provides insights from the computer science community on integrated systems research projects taking place in the European region, looking at the diverse range of design principles covered by these projects, from specification at high abstraction levels using standards such as UML and related profiles to intermediate design phases"--Provided by publisher Embedded computer systems (DE-588)4143413-4 Aufsatzsammlung gnd-content Bagnato, Alessandra edt Indrusiak, Leandro Soares edt Quadri, Imran Rafiq (DE-588)1131383176 edt Rossi, Matteo edt Erscheint auch als Druck-Ausgabe 978-1-4666-6194-3 Erscheint auch als Druck-Ausgabe 1-4666-6194-1 http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-6194-3 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Handbook of research on embedded system design Collaborative development of dependable cyber-physical systems by co-modeling and co-simulation / John Fitzgerald, Ken Pierce, Peter Gorm Larsen -- UML MARTE time model and its clock constraint specification language / Fr ed eric Mallet, Marie-Agn es Peraldi-Frati, Julien Deantoni, Robert de Simone -- Symbolic-based monitoring for embedded applications / Pramila Mouttappa, Stephane Maag, Ana Cavalli -- Designing resource-constrained embedded heterogeneous systems to cope with variability / Ian Gray, Andrea Acquaviva, Neil Audsley -- Vulnerabilities of secure and reliable low-power embedded systems and their analysis methods: a comprehensive study / Norbert Druml [and 7 others] -- An aspect-oriented approach to hardware fault tolerance for embedded systems / David de Andr es, Juan-Carlos Ruiz, Jaime Espinosa, Pedro Gil -- Optimized system-level design methods for NoC-based many core embedded systems / Haoyuan Ying, Klaus Hofmann, Thomas Hollstein -- - MADES FP7 EU project: effective high level SysML/MARTE methodology for real-time and embedded avionics systems / Alessandra Bagnato [and 15 others] -- Requirements refinement and component reuse: the FoReVer contract-based approach / Laura Baracchi, Alessandro Cimatti, Gerald Garcia, Silvia Mazzini, Stefano Puri, Stefano Tonetta -- Model-based analysis and engineering of automotive architectures with EAST-ADL / Sara Tucci-Piergiovanni [and 10 others] -- Fostering analysis from industrial embedded systems modeling / Michel Bourdell es [and 9 others] -- A model-driven engineering method for DRE defense systems performance analysis and prediction / Katrina Falkner, Vanea Chiprianov, Nickolas Falkner, Claudia Szabo, Gavin Puddy -- Industrial applications of emulation techniques for the early evaluation of secure low-power embedded systems / Norbert Druml [and 7 others] -- - Dynamically reconfigurable embedded architectures for safe transportation systems / Naim Harb, Smail Niar, Mazen A. R. Saghir -- Embedded virtualization techniques for automotive infotainment applications / Massimo Violante, Gianpaolo Macario, Salvatore Campagna -- Studying individualized transit indicators using a new low-cost information system / P. A. Castillo [and 9 others] -- Mission critical embedded system development process: an industry perspective / Stefano Genolini, Matteo Crippa -- Framework-based debugging for embedded systems / Gokhan Tanyeri, Trish Messiter, Paul Beckett -- Industrial experiments in IMS, ATC, and SDR projects of property verification techniques / Emmanuel Gaudin Embedded computer systems |
| subject_GND | (DE-588)4143413-4 |
| title | Handbook of research on embedded system design |
| title_alt | Embedded system design |
| title_auth | Handbook of research on embedded system design |
| title_exact_search | Handbook of research on embedded system design |
| title_full | Handbook of research on embedded system design Alessandra Bagnato (Softeam R&D, France), Leandro Soares Indrusiak (University of York, UK), Imran Rafiq Quadri (Softeam R&D, France), Matteo Rossi (Politecnico di Milano, Italy) |
| title_fullStr | Handbook of research on embedded system design Alessandra Bagnato (Softeam R&D, France), Leandro Soares Indrusiak (University of York, UK), Imran Rafiq Quadri (Softeam R&D, France), Matteo Rossi (Politecnico di Milano, Italy) |
| title_full_unstemmed | Handbook of research on embedded system design Alessandra Bagnato (Softeam R&D, France), Leandro Soares Indrusiak (University of York, UK), Imran Rafiq Quadri (Softeam R&D, France), Matteo Rossi (Politecnico di Milano, Italy) |
| title_short | Handbook of research on embedded system design |
| title_sort | handbook of research on embedded system design |
| topic | Embedded computer systems |
| topic_facet | Embedded computer systems Aufsatzsammlung |
| url | http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-6194-3 |
| work_keys_str_mv | AT bagnatoalessandra handbookofresearchonembeddedsystemdesign AT indrusiakleandrosoares handbookofresearchonembeddedsystemdesign AT quadriimranrafiq handbookofresearchonembeddedsystemdesign AT rossimatteo handbookofresearchonembeddedsystemdesign AT bagnatoalessandra embeddedsystemdesign AT indrusiakleandrosoares embeddedsystemdesign AT quadriimranrafiq embeddedsystemdesign AT rossimatteo embeddedsystemdesign |