Proceedings of the ninth international symposium on Hardware/software codesign
Designing embedded systems using patterns: a case study
Journal of Systems and Software - Special issue: Computer systems
IEEE Transactions on Computers
The maintenance and evolution of resource-constrained embedded systems created using design patterns
Journal of Systems and Software
Software synthesis for hard real-time embedded systems with multiple processors
ACM SIGSOFT Software Engineering Notes
Microprocessors & Microsystems
A Contract-based Approach to Specifying and Verifying Safety Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Embedded processors and systems: Architectural issues and solutions for emerging applications
Journal of Embedded Computing - Embeded Processors and Systems: Architectural Issues and Solutions for Emerging Applications
Journal of Systems and Software
Proceedings of the 2006 conference on Pattern languages of programs
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Journal of Systems Architecture: the EUROMICRO Journal
Initiating a design pattern catalog for embedded network systems
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Observing the development of a reliable embedded system
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Analysis and redesign of the 'TTC' and 'TTH' schedulers
Journal of Systems Architecture: the EUROMICRO Journal
Computer assisted source-code parallelisation
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V
Meeting real-time constraints using “sandwich delays”
Transactions on Pattern Languages of Programming I
Proceedings of the 15th European Conference on Pattern Languages of Programs
Improving flexibility and fault-management in CAN-based "Shared-Clock" architectures
Microprocessors & Microsystems
Hi-index | 0.00 |
This book provides the first comprehensive set of software patterns to support the development of embedded software systems. With a focus on reliability it discusses techniques for the design and implementation of software for embedded applications based on the popular 8051 microcontroller family.