Designing embedded systems using patterns: a case study
Journal of Systems and Software - Special issue: Computer systems
Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1
Software Quality Control
IEEE Transactions on Computers
Beyond event handlers: programming wireless sensors with attributed state machines
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
Engineering Applications of Artificial Intelligence
The maintenance and evolution of resource-constrained embedded systems created using design patterns
Journal of Systems and Software
A simulation-based virtual environment to study cooperative robotic systems
Integrated Computer-Aided Engineering
Embedded systems courses at RIT
WCAE '05 Proceedings of the 2005 workshop on Computer architecture education: held in conjunction with the 32nd International Symposium on Computer Architecture
Deadline fault tolerance in a networked real-time system
Proceedings of the 2006 conference on Advances in Intelligent IT: Active Media Technology 2006
Testing for the Conformance of Real-time Protocols Implemented by Operating Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Specifying subtypes in SCJ programs
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
A safety-related PES for task-oriented real-time execution without asynchronous interrupts
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Proceedings of the 2012 Symposium on Emerging Applications of M&S in Industry and Academia Symposium
Hi-index | 0.00 |
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.