Happy holidays from us to you—get up to $30 off your next print or eBook! Shop now >>

IFIP Advances in Information and Communication Technology

System Level Design from HW/SW to Memory for Embedded Systems

5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3–6, 2015, Proceedings

Editors: Götz, M., SCHIRNER, G., Wehrmeister, M.A., Al Faruque, M.A., Rettberg, A. (Eds.)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-319-90023-0
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $109.00
price for USA in USD
  • ISBN 978-3-319-90022-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, held in Foz do Iguaçu, Brazil, in November 2015.

The 18 full revised papers presented were carefully reviewed and selected from 25 submissions. The papers present a broad discussion on the design, analysis and verification of embedded and cyber-physical systems including design methodologies, verification, performance analysis, and real-time systems design. They are organized in the following topical sections: cyber-physical systems, system-level design; multi/many-core system design; memory system design; and embedded HW/SW design and applications.


Table of contents (18 chapters)

  • Ontological User Modeling for Ambient Assisted Living Service Personalization

    Vargas, Maurício Fontana (et al.)

    Pages 3-14

  • Multi-Agent Based Implementation of an Embedded Image Processing System in FPGA for Precision Agriculture Using UAVs

    Nunes, Érico (et al.)

    Pages 15-26

  • Combining Service-Oriented Computing with Embedded Systems - A Robotics Case Study

    Jungmann, Alexander (et al.)

    Pages 27-37

  • Integration of Robot Operating System and Ptolemy for Design of Real-Time Multi-robots Environments

    Costa, Luis Feliphe Silva (et al.)

    Pages 38-47

  • Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving

    Jaß, Lydia (et al.)

    Pages 51-63

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-319-90023-0
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $109.00
price for USA in USD
  • ISBN 978-3-319-90022-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
System Level Design from HW/SW to Memory for Embedded Systems
Book Subtitle
5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3–6, 2015, Proceedings
Editors
  • Marcelo Götz
  • GUNAR SCHIRNER
  • Marco Aurélio Wehrmeister
  • Mohammad Abdullah Al Faruque
  • Achim Rettberg
Series Title
IFIP Advances in Information and Communication Technology
Series Volume
523
Copyright
2017
Publisher
Springer International Publishing
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-319-90023-0
DOI
10.1007/978-3-319-90023-0
Hardcover ISBN
978-3-319-90022-3
Series ISSN
1868-4238
Edition Number
1
Number of Pages
XII, 231
Number of Illustrations
92 b/w illustrations
Topics