Behavioral modeling for embedded systems and technologies: applications for design and implementation
"This book provides innovative behavior models currently used for developing embedded systems, accentuating on graphical and visual notations" - Provided by publisher
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Hershey ; New York
Information Science Reference
[2010]
|
| Series: | Premier reference source
|
| Subjects: | |
| Online Access: | DE-706 DE-1049 DE-898 DE-1050 DE-83 Volltext |
| Summary: | "This book provides innovative behavior models currently used for developing embedded systems, accentuating on graphical and visual notations" - Provided by publisher |
| Item Description: | Includes bibliographical references (p. [412]-449) and index |
| Physical Description: | 1 Online-Ressource (xxvii, 466 Seiten) |
| ISBN: | 9781605667515 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044229341 | ||
| 003 | DE-604 | ||
| 005 | 20211115 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170317s2010 |||| o||u| ||||||eng d | ||
| 020 | |a 9781605667515 |9 978-1-60566-751-5 | ||
| 024 | 7 | |a 10.4018/978-1-60566-750-8 |2 doi | |
| 035 | |a (OCoLC)1015882669 | ||
| 035 | |a (DE-599)BVBBV044229341 | ||
| 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 | ||
| 245 | 1 | 0 | |a Behavioral modeling for embedded systems and technologies |b applications for design and implementation |c Luís Gomes (Universidade Nova de Lisboa, Portugal), João M. Fernandes (Universidade do Minho, Portugal) |
| 264 | 1 | |a Hershey ; New York |b Information Science Reference |c [2010] | |
| 264 | 4 | |c © 2010 | |
| 300 | |a 1 Online-Ressource (xxvii, 466 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Premier reference source | |
| 500 | |a Includes bibliographical references (p. [412]-449) and index | ||
| 505 | 8 | |a Section 1. Model-Based Approaches -- 1. UML as Front-End Language for Embedded Systems Design / Lisane Brisolara de Brisolara, M arcio Eduardo Kreutz, Luigi Carro -- 2. Model-Driven Design and ASM-Based Validation of Embedded Systems / Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra -- 3. Abstract and Concrete Data Type Optimizations at the UML and C/C++ Level for Dynamic Embedded Software / Christos Baloukas, Marijn Temmerman, Anne Keller, Stylianos Mamagkakis, Francky Catthoor, Dimitrios Soudris, Serge Demeyer -- | |
| 505 | 8 | |a Section 2. Aspect-Oriented Approaches -- 4. Concern Separation for Adaptive QoS Modeling in Distributed Real-time Embedded Systems / Jeff Gray, Sandeep Neema, Jing Zhang, Yuehua Lin, Ted Bapty, Aniruddha Gokhale, Douglas C. Schmidt -- 5. High-Level Design Space Exploration of Embedded Systems Using the Model-Driven Engineering and Aspect-Oriented Design Approaches / Marcio Ferreira da Silva Oliveira, Marco Aur elio Wehrmeister, Francisco Assis do Nascimento, Carlos Eduardo Pereira, Fl avio Rech Wagner -- 6. Separation of Concerns in Model-based Development of Distributed Real-time Systems / Dionisio de Niz, Gaurav Bhatia, Raj Rajkumar -- | |
| 505 | 8 | |a Section 3. Verification & Model Checking -- 7. Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems / Guillermo Rodr iguez-Navas, Juli an Proenza, Hans Hansson, Paul Pettersson -- 8. Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock / Libor Waszniowski, Zdenek Hanzalek -- 9. SystemC Platform Modeling for Behavioral Simulation and Performance Estimation of Embedded Systems/ Hector Posadas, Juan Castillo, David Quijano, Victor Fernandez, Eugenio Villar, Marcos Martinez -- | |
| 505 | 8 | |a Section 4. Design Automation -- 10. Engineering Embedded Software: From Application Modeling to Software Synthesis / Ronaldo Ferreira, Lisane Brisolara, Julio C.B. Mattos, Emilena Spech, Erika Cota, Luigi Carro -- 11. Transaction Level Model Automation for Multicore Systems / Lucky Lo Chi Yu Lo, Samar Abdi, Daniel Gajski -- 12. The Role of Programming Models on Reconfigurable Computing Fabrics / Joao M. P. Cardoso, Joao Bispo, Adriano K. Sanches -- | |
| 505 | 8 | |a Section 5. Industrial Applications -- 13. Reconfiguration of Industrial Embedded Control Systems / Mohamed Khalgui, Hans-Michael Hanisch -- 14. Architecture Description Languages for the Automotive Domain / S ebastien Faucou, Fran coise Simonot-Lion, Yvon Trinquet -- 15. Model-Based Testing of Embedded Systems Exemplified for the Automotive Domain / Justyna Zander, Ina Schieferdecker -- Compilation of References -- About the Contributors -- Index | |
| 520 | |a "This book provides innovative behavior models currently used for developing embedded systems, accentuating on graphical and visual notations" - Provided by publisher | ||
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Embedded computer systems | |
| 650 | 4 | |a System design | |
| 650 | 4 | |a Mathematical models | |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwurf |0 (DE-588)4261480-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | 1 | |a Systementwurf |0 (DE-588)4261480-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gomes, Luís |4 edt | |
| 700 | 1 | |a Fernandes, João M. |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-60566-750-8 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 1-60566-750-1 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-61692-385-3 |
| 856 | 4 | 0 | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60566-750-8 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-98-IGB |a ZDB-1-IGE | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029635037 | |
| 966 | e | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60566-750-8 |l DE-706 |p ZDB-98-IGB |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-60566-750-8 |l DE-1049 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-60566-750-8 |l DE-898 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-60566-750-8 |l DE-1050 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-60566-750-8 |l DE-83 |p ZDB-98-IGB |q TUB_EBS_IGB |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1808138439420280832 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Gomes, Luís Fernandes, João M. |
| author2_role | edt edt |
| author2_variant | l g lg j m f jm jmf |
| author_facet | Gomes, Luís Fernandes, João M. |
| building | Verbundindex |
| bvnumber | BV044229341 |
| collection | ZDB-98-IGB ZDB-1-IGE |
| contents | Section 1. Model-Based Approaches -- 1. UML as Front-End Language for Embedded Systems Design / Lisane Brisolara de Brisolara, M arcio Eduardo Kreutz, Luigi Carro -- 2. Model-Driven Design and ASM-Based Validation of Embedded Systems / Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra -- 3. Abstract and Concrete Data Type Optimizations at the UML and C/C++ Level for Dynamic Embedded Software / Christos Baloukas, Marijn Temmerman, Anne Keller, Stylianos Mamagkakis, Francky Catthoor, Dimitrios Soudris, Serge Demeyer -- Section 2. Aspect-Oriented Approaches -- 4. Concern Separation for Adaptive QoS Modeling in Distributed Real-time Embedded Systems / Jeff Gray, Sandeep Neema, Jing Zhang, Yuehua Lin, Ted Bapty, Aniruddha Gokhale, Douglas C. Schmidt -- 5. High-Level Design Space Exploration of Embedded Systems Using the Model-Driven Engineering and Aspect-Oriented Design Approaches / Marcio Ferreira da Silva Oliveira, Marco Aur elio Wehrmeister, Francisco Assis do Nascimento, Carlos Eduardo Pereira, Fl avio Rech Wagner -- 6. Separation of Concerns in Model-based Development of Distributed Real-time Systems / Dionisio de Niz, Gaurav Bhatia, Raj Rajkumar -- Section 3. Verification & Model Checking -- 7. Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems / Guillermo Rodr iguez-Navas, Juli an Proenza, Hans Hansson, Paul Pettersson -- 8. Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock / Libor Waszniowski, Zdenek Hanzalek -- 9. SystemC Platform Modeling for Behavioral Simulation and Performance Estimation of Embedded Systems/ Hector Posadas, Juan Castillo, David Quijano, Victor Fernandez, Eugenio Villar, Marcos Martinez -- Section 4. Design Automation -- 10. Engineering Embedded Software: From Application Modeling to Software Synthesis / Ronaldo Ferreira, Lisane Brisolara, Julio C.B. Mattos, Emilena Spech, Erika Cota, Luigi Carro -- 11. Transaction Level Model Automation for Multicore Systems / Lucky Lo Chi Yu Lo, Samar Abdi, Daniel Gajski -- 12. The Role of Programming Models on Reconfigurable Computing Fabrics / Joao M. P. Cardoso, Joao Bispo, Adriano K. Sanches -- Section 5. Industrial Applications -- 13. Reconfiguration of Industrial Embedded Control Systems / Mohamed Khalgui, Hans-Michael Hanisch -- 14. Architecture Description Languages for the Automotive Domain / S ebastien Faucou, Fran coise Simonot-Lion, Yvon Trinquet -- 15. Model-Based Testing of Embedded Systems Exemplified for the Automotive Domain / Justyna Zander, Ina Schieferdecker -- Compilation of References -- About the Contributors -- Index |
| ctrlnum | (OCoLC)1015882669 (DE-599)BVBBV044229341 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a2200000zc 4500</leader><controlfield tag="001">BV044229341</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211115</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170317s2010 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781605667515</subfield><subfield code="9">978-1-60566-751-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4018/978-1-60566-750-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1015882669</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044229341</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="245" ind1="1" ind2="0"><subfield code="a">Behavioral modeling for embedded systems and technologies</subfield><subfield code="b">applications for design and implementation</subfield><subfield code="c">Luís Gomes (Universidade Nova de Lisboa, Portugal), João M. Fernandes (Universidade do Minho, Portugal)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hershey ; New York</subfield><subfield code="b">Information Science Reference</subfield><subfield code="c">[2010]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxvii, 466 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">Premier reference source</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. [412]-449) and index</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Section 1. Model-Based Approaches -- 1. UML as Front-End Language for Embedded Systems Design / Lisane Brisolara de Brisolara, M arcio Eduardo Kreutz, Luigi Carro -- 2. Model-Driven Design and ASM-Based Validation of Embedded Systems / Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra -- 3. Abstract and Concrete Data Type Optimizations at the UML and C/C++ Level for Dynamic Embedded Software / Christos Baloukas, Marijn Temmerman, Anne Keller, Stylianos Mamagkakis, Francky Catthoor, Dimitrios Soudris, Serge Demeyer --</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Section 2. Aspect-Oriented Approaches -- 4. Concern Separation for Adaptive QoS Modeling in Distributed Real-time Embedded Systems / Jeff Gray, Sandeep Neema, Jing Zhang, Yuehua Lin, Ted Bapty, Aniruddha Gokhale, Douglas C. Schmidt -- 5. High-Level Design Space Exploration of Embedded Systems Using the Model-Driven Engineering and Aspect-Oriented Design Approaches / Marcio Ferreira da Silva Oliveira, Marco Aur elio Wehrmeister, Francisco Assis do Nascimento, Carlos Eduardo Pereira, Fl avio Rech Wagner -- 6. Separation of Concerns in Model-based Development of Distributed Real-time Systems / Dionisio de Niz, Gaurav Bhatia, Raj Rajkumar --</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Section 3. Verification & Model Checking -- 7. Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems / Guillermo Rodr iguez-Navas, Juli an Proenza, Hans Hansson, Paul Pettersson -- 8. Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock / Libor Waszniowski, Zdenek Hanzalek -- 9. SystemC Platform Modeling for Behavioral Simulation and Performance Estimation of Embedded Systems/ Hector Posadas, Juan Castillo, David Quijano, Victor Fernandez, Eugenio Villar, Marcos Martinez --</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Section 4. Design Automation -- 10. Engineering Embedded Software: From Application Modeling to Software Synthesis / Ronaldo Ferreira, Lisane Brisolara, Julio C.B. Mattos, Emilena Spech, Erika Cota, Luigi Carro -- 11. Transaction Level Model Automation for Multicore Systems / Lucky Lo Chi Yu Lo, Samar Abdi, Daniel Gajski -- 12. The Role of Programming Models on Reconfigurable Computing Fabrics / Joao M. P. Cardoso, Joao Bispo, Adriano K. Sanches --</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Section 5. Industrial Applications -- 13. Reconfiguration of Industrial Embedded Control Systems / Mohamed Khalgui, Hans-Michael Hanisch -- 14. Architecture Description Languages for the Automotive Domain / S ebastien Faucou, Fran coise Simonot-Lion, Yvon Trinquet -- 15. Model-Based Testing of Embedded Systems Exemplified for the Automotive Domain / Justyna Zander, Ina Schieferdecker -- Compilation of References -- About the Contributors -- Index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"This book provides innovative behavior models currently used for developing embedded systems, accentuating on graphical and visual notations" - Provided by publisher</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical models</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="0" ind2="0"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gomes, Luís</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fernandes, João M.</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-60566-750-8</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-60566-750-1</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-61692-385-3</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-60566-750-8</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><subfield code="a">ZDB-1-IGE</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029635037</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60566-750-8</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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-60566-750-8</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-60566-750-8</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-60566-750-8</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-60566-750-8</subfield><subfield code="l">DE-83</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="q">TUB_EBS_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.BV044229341 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-23T01:06:30Z |
| institution | BVB |
| isbn | 9781605667515 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029635037 |
| oclc_num | 1015882669 |
| 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 (xxvii, 466 Seiten) |
| psigel | ZDB-98-IGB ZDB-1-IGE ZDB-98-IGB TUB_EBS_IGB |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Information Science Reference |
| record_format | marc |
| series2 | Premier reference source |
| spelling | Behavioral modeling for embedded systems and technologies applications for design and implementation Luís Gomes (Universidade Nova de Lisboa, Portugal), João M. Fernandes (Universidade do Minho, Portugal) Hershey ; New York Information Science Reference [2010] © 2010 1 Online-Ressource (xxvii, 466 Seiten) txt rdacontent c rdamedia cr rdacarrier Premier reference source Includes bibliographical references (p. [412]-449) and index Section 1. Model-Based Approaches -- 1. UML as Front-End Language for Embedded Systems Design / Lisane Brisolara de Brisolara, M arcio Eduardo Kreutz, Luigi Carro -- 2. Model-Driven Design and ASM-Based Validation of Embedded Systems / Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra -- 3. Abstract and Concrete Data Type Optimizations at the UML and C/C++ Level for Dynamic Embedded Software / Christos Baloukas, Marijn Temmerman, Anne Keller, Stylianos Mamagkakis, Francky Catthoor, Dimitrios Soudris, Serge Demeyer -- Section 2. Aspect-Oriented Approaches -- 4. Concern Separation for Adaptive QoS Modeling in Distributed Real-time Embedded Systems / Jeff Gray, Sandeep Neema, Jing Zhang, Yuehua Lin, Ted Bapty, Aniruddha Gokhale, Douglas C. Schmidt -- 5. High-Level Design Space Exploration of Embedded Systems Using the Model-Driven Engineering and Aspect-Oriented Design Approaches / Marcio Ferreira da Silva Oliveira, Marco Aur elio Wehrmeister, Francisco Assis do Nascimento, Carlos Eduardo Pereira, Fl avio Rech Wagner -- 6. Separation of Concerns in Model-based Development of Distributed Real-time Systems / Dionisio de Niz, Gaurav Bhatia, Raj Rajkumar -- Section 3. Verification & Model Checking -- 7. Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems / Guillermo Rodr iguez-Navas, Juli an Proenza, Hans Hansson, Paul Pettersson -- 8. Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock / Libor Waszniowski, Zdenek Hanzalek -- 9. SystemC Platform Modeling for Behavioral Simulation and Performance Estimation of Embedded Systems/ Hector Posadas, Juan Castillo, David Quijano, Victor Fernandez, Eugenio Villar, Marcos Martinez -- Section 4. Design Automation -- 10. Engineering Embedded Software: From Application Modeling to Software Synthesis / Ronaldo Ferreira, Lisane Brisolara, Julio C.B. Mattos, Emilena Spech, Erika Cota, Luigi Carro -- 11. Transaction Level Model Automation for Multicore Systems / Lucky Lo Chi Yu Lo, Samar Abdi, Daniel Gajski -- 12. The Role of Programming Models on Reconfigurable Computing Fabrics / Joao M. P. Cardoso, Joao Bispo, Adriano K. Sanches -- Section 5. Industrial Applications -- 13. Reconfiguration of Industrial Embedded Control Systems / Mohamed Khalgui, Hans-Michael Hanisch -- 14. Architecture Description Languages for the Automotive Domain / S ebastien Faucou, Fran coise Simonot-Lion, Yvon Trinquet -- 15. Model-Based Testing of Embedded Systems Exemplified for the Automotive Domain / Justyna Zander, Ina Schieferdecker -- Compilation of References -- About the Contributors -- Index "This book provides innovative behavior models currently used for developing embedded systems, accentuating on graphical and visual notations" - Provided by publisher Mathematisches Modell Embedded computer systems System design Mathematical models Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Systementwurf (DE-588)4261480-6 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Eingebettetes System (DE-588)4396978-1 s Systementwurf (DE-588)4261480-6 s DE-604 Gomes, Luís edt Fernandes, João M. edt Erscheint auch als Druck-Ausgabe 978-1-60566-750-8 Erscheint auch als Druck-Ausgabe 1-60566-750-1 Erscheint auch als Druck-Ausgabe 978-1-61692-385-3 http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60566-750-8 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Behavioral modeling for embedded systems and technologies applications for design and implementation Section 1. Model-Based Approaches -- 1. UML as Front-End Language for Embedded Systems Design / Lisane Brisolara de Brisolara, M arcio Eduardo Kreutz, Luigi Carro -- 2. Model-Driven Design and ASM-Based Validation of Embedded Systems / Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra -- 3. Abstract and Concrete Data Type Optimizations at the UML and C/C++ Level for Dynamic Embedded Software / Christos Baloukas, Marijn Temmerman, Anne Keller, Stylianos Mamagkakis, Francky Catthoor, Dimitrios Soudris, Serge Demeyer -- Section 2. Aspect-Oriented Approaches -- 4. Concern Separation for Adaptive QoS Modeling in Distributed Real-time Embedded Systems / Jeff Gray, Sandeep Neema, Jing Zhang, Yuehua Lin, Ted Bapty, Aniruddha Gokhale, Douglas C. Schmidt -- 5. High-Level Design Space Exploration of Embedded Systems Using the Model-Driven Engineering and Aspect-Oriented Design Approaches / Marcio Ferreira da Silva Oliveira, Marco Aur elio Wehrmeister, Francisco Assis do Nascimento, Carlos Eduardo Pereira, Fl avio Rech Wagner -- 6. Separation of Concerns in Model-based Development of Distributed Real-time Systems / Dionisio de Niz, Gaurav Bhatia, Raj Rajkumar -- Section 3. Verification & Model Checking -- 7. Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems / Guillermo Rodr iguez-Navas, Juli an Proenza, Hans Hansson, Paul Pettersson -- 8. Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock / Libor Waszniowski, Zdenek Hanzalek -- 9. SystemC Platform Modeling for Behavioral Simulation and Performance Estimation of Embedded Systems/ Hector Posadas, Juan Castillo, David Quijano, Victor Fernandez, Eugenio Villar, Marcos Martinez -- Section 4. Design Automation -- 10. Engineering Embedded Software: From Application Modeling to Software Synthesis / Ronaldo Ferreira, Lisane Brisolara, Julio C.B. Mattos, Emilena Spech, Erika Cota, Luigi Carro -- 11. Transaction Level Model Automation for Multicore Systems / Lucky Lo Chi Yu Lo, Samar Abdi, Daniel Gajski -- 12. The Role of Programming Models on Reconfigurable Computing Fabrics / Joao M. P. Cardoso, Joao Bispo, Adriano K. Sanches -- Section 5. Industrial Applications -- 13. Reconfiguration of Industrial Embedded Control Systems / Mohamed Khalgui, Hans-Michael Hanisch -- 14. Architecture Description Languages for the Automotive Domain / S ebastien Faucou, Fran coise Simonot-Lion, Yvon Trinquet -- 15. Model-Based Testing of Embedded Systems Exemplified for the Automotive Domain / Justyna Zander, Ina Schieferdecker -- Compilation of References -- About the Contributors -- Index Mathematisches Modell Embedded computer systems System design Mathematical models Eingebettetes System (DE-588)4396978-1 gnd Systementwurf (DE-588)4261480-6 gnd |
| subject_GND | (DE-588)4396978-1 (DE-588)4261480-6 (DE-588)4143413-4 |
| title | Behavioral modeling for embedded systems and technologies applications for design and implementation |
| title_auth | Behavioral modeling for embedded systems and technologies applications for design and implementation |
| title_exact_search | Behavioral modeling for embedded systems and technologies applications for design and implementation |
| title_full | Behavioral modeling for embedded systems and technologies applications for design and implementation Luís Gomes (Universidade Nova de Lisboa, Portugal), João M. Fernandes (Universidade do Minho, Portugal) |
| title_fullStr | Behavioral modeling for embedded systems and technologies applications for design and implementation Luís Gomes (Universidade Nova de Lisboa, Portugal), João M. Fernandes (Universidade do Minho, Portugal) |
| title_full_unstemmed | Behavioral modeling for embedded systems and technologies applications for design and implementation Luís Gomes (Universidade Nova de Lisboa, Portugal), João M. Fernandes (Universidade do Minho, Portugal) |
| title_short | Behavioral modeling for embedded systems and technologies |
| title_sort | behavioral modeling for embedded systems and technologies applications for design and implementation |
| title_sub | applications for design and implementation |
| topic | Mathematisches Modell Embedded computer systems System design Mathematical models Eingebettetes System (DE-588)4396978-1 gnd Systementwurf (DE-588)4261480-6 gnd |
| topic_facet | Mathematisches Modell Embedded computer systems System design Mathematical models Eingebettetes System Systementwurf Aufsatzsammlung |
| url | http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60566-750-8 |
| work_keys_str_mv | AT gomesluis behavioralmodelingforembeddedsystemsandtechnologiesapplicationsfordesignandimplementation AT fernandesjoaom behavioralmodelingforembeddedsystemsandtechnologiesapplicationsfordesignandimplementation |