Skip Abstract Section
Abstract
From the Publisher:
Emphasizing concepts and principles, this book provides readers with an accessible approach to software design. It presents several examples of commercial and research systems throughout the chapters to explain and justify the concepts. And the material presented is technically diverse, including discussions of state machines, logic, concurrent programming, and scheduling algorithms.
Cited By
- Franzè G, Tedesco F, Casavola A and Garone E A leader-follower architecture for Load Frequency Control purposes against cyber attacks in power grids - Part II 2016 IEEE 55th Conference on Decision and Control (CDC), (5134-5139)
- Garrido J High-level Specification and Modeling of Cyber-physical Systems Proceedings of the 2019 ACM Southeast Conference, (245-248)
- Hemalatha V, Prabakaran R, Dhanalakshmi S and Jaba Deva Krupa A (2017). Time Triggered Hybrid Scheduler with Dynamic Frequency Scaling for Distributed Real Time Embedded Systems, Wireless Personal Communications: An International Journal, 97:2, (2511-2522), Online publication date: 1-Nov-2017.
- Jebbar O, Khendek F and Toeroe M Upgrade campaign simulation and evaluation for highly available systems Proceedings of the Symposium on Theory of Modeling & Simulation, (1-12)
- Kurkovsky A An approach to formalize the dynamics of complex computer systems for subsequent simulation and sustainability analysis Proceedings of the 2012 Symposium on Emerging Applications of M&S in Industry and Academia Symposium, (1-7)
- Haddad G and Leavens G Specifying subtypes in SCJ programs Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems, (40-46)
- Haddad G, Hussain F and Leavens G The design of SafeJML, a specification language for SCJ with support for WCET specification Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, (155-163)
- Noureldin A, El-Shafie A and Reda Taha M (2007). Optimizing neuro-fuzzy modules for data fusion of vehicular navigation systems using temporal cross-validation, Engineering Applications of Artificial Intelligence, 20:1, (49-61), Online publication date: 1-Feb-2007.
- Kurian S and Pont M (2007). The maintenance and evolution of resource-constrained embedded systems created using design patterns, Journal of Systems and Software, 80:1, (32-41), Online publication date: 1-Jan-2007.
- Wen P and Li Y Deadline fault tolerance in a networked real-time system Proceedings of the 2006 conference on Advances in Intelligent IT: Active Media Technology 2006, (255-260)
- Phatrapornnant T and Pont M (2006). Reducing Jitter in Embedded Systems Employing a Time-Triggered Software Architecture and Dynamic Voltage Scaling, IEEE Transactions on Computers, 55:2, (113-124), Online publication date: 1-Feb-2006.
- Skambraks M A safety-related PES for task-oriented real-time execution without asynchronous interrupts Proceedings of the 24th international conference on Computer Safety, Reliability, and Security, (261-274)
- Czernikowski R and Vallino J Embedded systems courses at RIT Proceedings of the 2005 workshop on Computer architecture education: held in conjunction with the 32nd International Symposium on Computer Architecture, (2-es)
- Kasten O and Römer K Beyond event handlers Proceedings of the 4th international symposium on Information processing in sensor networks, (7-es)
- Kim H and Sheldon F (2019). Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1, Software Quality Journal, 12:3, (231-264), Online publication date: 1-Sep-2004.
Please enable JavaScript to view thecomments powered by Disqus.