Embedded Systems: Design, Analysis and Verification

Embedded Systems: Design, Analysis and Verification

by Gunar Schirner

Book 403 of IFIP advances in information and communication technology --

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free
About
This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers have been organized in the following topical sections: design methodologies; non-functional aspects of embedded systems; verification; performance analysis; real-time systems; embedded system applications; and real-time aspects in distributed systems. The book also includes a special chapter dedicated to BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems.

Discuss Embedded Systems: Design, Analysis and Verification with other readers

Join or start a book club for Embedded Systems: Design, Analysis and Verification on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Frequently asked questions

How do I join a book club for Embedded Systems: Design, Analysis and Verification?

Sign up free on Readfeed, then browse public clubs or start your own club with Embedded Systems: Design, Analysis and Verification as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Embedded Systems: Design, Analysis and Verification with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Embedded Systems: Design, Analysis and Verification with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.