Embedded Software Development For Safety Critical Systems

Embedded Software Development for Safety-Critical Systems

Embedded Software Development for Safety-Critical Systems by Chris Hobbs
2015 | ISBN: 1498726704 | English | 364 pages | PDF | 19 MB

Embedded Software Development for the Internet Of Things  eBooks & eLearning

Posted by AlenMiler at Sept. 2, 2016
Embedded Software Development for the Internet Of Things

Embedded Software Development for the Internet Of Things: The Basics, the Technologies and Best Practices by Klaus Elk
English | 27 Aug 2016 | ASIN: B01L63C0C0 | 239 Pages | PDF | 14.09 MB

The aim of this book is to help you understand the technologies behind the devices used in the Internet Of Things. This is done with a mixture of theory, examples and 'war-stories'.

Formal Techniques for Safety-Critical Systems  eBooks & eLearning

Posted by roxul at July 24, 2016
Formal Techniques for Safety-Critical Systems

Cyrille Artho and Ölveczky, Peter, "Formal Techniques for Safety-Critical Systems"
English | ISBN: 3319295098 | 2016 | 284 pages | PDF | 14 MB

Formal Techniques for Safety-Critical Systems  eBooks & eLearning

Posted by andr1078 at May 14, 2015
Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky "Formal Techniques for Safety-Critical Systems"
Publisher: Springer | English | 2015 | ISBN:3319175807 | 257 pages | PDF | 14.4 MB

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014.

Formal Techniques for Safety-Critical Systems  

Posted by ChrisRedfield at June 9, 2014
Formal Techniques for Safety-Critical Systems

Cyrille Artho, ‎Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Published: 2014-04-22 | ISBN: 3319054155 | PDF | 297 pages | 9 MB

Software Design for Resilient Computer Systems  eBooks & eLearning

Posted by Underaglassmoon at March 4, 2016
Software Design for Resilient Computer Systems

Software Design for Resilient Computer Systems
Springer | Signals & Communication | Feb. 13 2016 | ISBN-10: 3319294636 | 214 pages | pdf | 7.25 mb

Outlines potential critical faults in the modern computer systems and what is required to change them
Explains how to design and re-design system software for the next generation of computers for wider application domains and greater efficiency and reliability
Presents how implemented system software support makes maintenance of computer systems much easier, while reliability and performance increases
Embedded Software Development: The Open-Source Approach (Embedded Systems)

Embedded Software Development: The Open-Source Approach (Embedded Systems) by Ivan Cibrario Bertolotti
English | Jan. 4, 2016 | ISBN: 146659392X | 554 Pages | AZW4/PDF (True) | 26.54 MB

Embedded Software Development: The Open-Source Approach delivers a practical introduction to embedded software development, with a focus on open-source components.
Component-Based Software Development for Embedded Systems (Repost)

Colin Atkinson, Christian Bunse, "Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends"
2005 | pages: 353 | ISBN: 3540306447 | PDF | 7,2 mb
Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends

Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends (Lecture Notes in Computer Science / Programming and Software Engineering) by Colin Atkinson
Springer; 2005 edition | December 12, 2005 | English | ISBN: 3540306447 | 348 pages | PDF | 12 MB

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles.

Embedded Software Development with C [Repost]  

Posted by AlenMiler at July 18, 2014
Embedded Software Development with C [Repost]

Embedded Software Development with C by Kai Qian
Springer | Aug 10 2009 | ISBN: 1441906053 | Pages: 390 | PDF | 10.73 MB

Intelligible presentation of the fundamentals of embedded systems design and development using the C programming language and the 8501 microcontroller.