Real Time Embedded Systems

Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems (repost)

Benny Akesson, Kees Goossens, "Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems"
S,.,ger | 2011 | ISBN: 144198206X | 235 pages | PDF | 2 MB
Real-Time Embedded Systems: Open-Source Operating Systems Perspective

Ivan Cibrario Bertolotti, Gabriele Manduchi, "Real-Time Embedded Systems: Open-Source Operating Systems Perspective"
English | ISBN: 1439841543 | 2012 | 536 pages | PDF | 6 MB
Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems

Benny Akesson, Kees Goossens, "Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems"
S,.,ger | 2011 | ISBN: 144198206X | 235 pages | PDF | 2 MB

Real-Time Embedded Systems: Optimization, Synthesis, and Networking (Repost)  eBooks & eLearning

Posted by roxul at Sept. 12, 2016
Real-Time Embedded Systems: Optimization, Synthesis, and Networking (Repost)

Meikang Qiu, Jiayin Li, "Real-Time Embedded Systems: Optimization, Synthesis, and Networking"
English | 2011 | 231 Pages | ISBN: 143981760X | PDF | 2 MB
Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 [Repost]

Model Driven Engineering for Distributed Real-Time Embedded Systems 2009: Advances, Standards, Applications and Perspectives (ISTE)
Wiley-ISTE; 1 edition | ISBN: 1848211155 | 320 pages | PDF | September 14, 2010 | English | 8.12 Mb
Model Driven Engineering for Distributed Real-Time Embedded Systems

Jean-Philippe Babau, Mireille Blay-Fornarino, "Model Driven Engineering for Distributed Real-Time Embedded Systems"
2010 | ISBN-10: 1848211155 | 320 pages | PDF | 8,1 MB

Real-Time Embedded Systems Fundamentals  

Posted by arundhati at May 16, 2012
Real-Time Embedded Systems Fundamentals

Tom Sheppard, "Real-Time Embedded Systems Fundamentals"
2011 | ASIN: B0052G5C6Y | MOBI | 899 pages | 25,9 MB
Real-Time Embedded Systems: Optimization, Synthesis, and Networking

Real-Time Embedded Systems: Optimization, Synthesis, and Networking By Meikang Qiu, Jiayin Li
2011 | 231 Pages | ISBN: 143981760X | PDF | 2 MB
The Inverse Method: Parametric Verification of Real-time Unbedded Systems (repost)

The Inverse Method: Parametric Verification of Real-time Unbedded Systems (FOCUS Series) by Etienne André and Romain Soulat
English | ISBN: 1848214472 | 2013 | PDF | 161 pages | 4,8 MB

This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine hybrid automata.
14th IEEE International Conference on Embedded and Real-time Computing Systems and Applications

14th IEEE International Conference on Embedded and Real-time Computing Systems and Applications (Rtcsa 2008) by Institute of Electrical and Electronics Engineers
English | Dec. 10, 2008 | ISBN: 0769533493 | 451 Pages | PDF | 21 MB

RTCSA will bring together researchers and developers from academia and industry for advancing the technology of embedded and real-time systems, and their emerging applications.