Embedded Software Development For Safety Critical Systems

Embedded Software Development for Safety-Critical Systems  eBooks & eLearning

Posted by ksveta6 at Feb. 3, 2016
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

Formal Techniques for Safety-Critical Systems: 5th International Workshop  eBooks & eLearning

Posted by Jeembo at Oct. 12, 2017
Formal Techniques for Safety-Critical Systems: 5th International Workshop

Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers by Cyrille Artho, Peter Csaba Ölveczky
English | 2017 | ISBN: 3319539450 | 161 Pages | PDF | 7.8 MB

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014(Repost)

Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers by Cyrille Artho
English | 2015 | ISBN: 3319175807 | 257 Pages | PDF | 14.46 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  eBooks & eLearning

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

Herding Cats and Coders: Software Development for Non-Techies  eBooks & eLearning

Posted by AlenMiler at April 23, 2018
Herding Cats and Coders: Software Development for Non-Techies

Herding Cats and Coders: Software Development for Non-Techies by Greg Ross-Munro
English | 1 May 2018 | ASIN: B07CKDCLM9 | 376 Pages | MOBI | 1.22 MB

Software Design for Resilient Computer Systems  eBooks & eLearning

Posted by arundhati at April 20, 2018
Software Design for Resilient Computer Systems

Igor Schagaev and Kaegi Thomas, "Software Design for Resilient Computer Systems"
2016 | ISBN-10: 3319294636 | 214 pages | EPUB | 3 MB

Electronics System Design Techniques for Safety Critical Applications  eBooks & eLearning

Posted by AvaxGenius at April 18, 2018
Electronics System Design Techniques for Safety Critical Applications

Electronics System Design Techniques for Safety Critical Applications By Luca Sterpone
English | PDF | 2008 | 152 Pages | ISBN : 1402089783 | 1.36 MB

Nowadays, electronic systems are increasingly used in safety critical applications compared to two decades ago. Electronic devices are being used in applications where their correct operation is vital to ensure the safety of the human life and the environment. These applications ranging from the anti-lock braking systems in automobiles, to the fly-by-wire aircrafts, to biomedical supports to the human care. It is, therefore, vital that electronic designers be aware the safety implications of the systems they develop. This book attacks SRAM-based Field Programmable Gate Array, as the most widely used reconfigurable devices, from a new perspective.