Format:
1 Online-Ressource (xxvii, 466 Seiten)
ISBN:
9781605667515
Series Statement:
Premier reference source
Content:
"This book provides innovative behavior models currently used for developing embedded systems, accentuating on graphical and visual notations" - Provided by publisher
Note:
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
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-1-60566-750-8
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 1-60566-750-1
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-1-61692-385-3
Language:
English
Keywords:
Eingebettetes System
;
Systementwurf
;
Aufsatzsammlung
DOI:
10.4018/978-1-60566-750-8
URL:
Volltext
(URL des Erstveröffentlichers)