Same great content, now more affordable: Apress Access for only $/£/€ 99. Subcribe 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., Rettberg, A. (Eds.)

Free Preview

Buy this book

eBook $84.99
price for USA (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
  • ISBN 978-3-319-90022-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $109.00
price for USA
  • ISBN 978-3-030-07917-8
  • 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)

Table of contents (18 chapters)
  • Ontological User Modeling for Ambient Assisted Living Service Personalization

    Pages 3-14

    Vargas, Maurício Fontana (et al.)

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

    Pages 15-26

    Nunes, Érico (et al.)

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

    Pages 27-37

    Jungmann, Alexander (et al.)

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

    Pages 38-47

    Costa, Luis Feliphe Silva (et al.)

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

    Pages 51-63

    Jaß, Lydia (et al.)

Buy this book

eBook $84.99
price for USA (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
  • ISBN 978-3-319-90022-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $109.00
price for USA
  • ISBN 978-3-030-07917-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Services for this book

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 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
Softcover ISBN
978-3-030-07917-8
Series ISSN
1868-4238
Edition Number
1
Number of Pages
XII, 231
Number of Illustrations
92 b/w illustrations
Topics