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

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

CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems [Repost]  eBooks & eLearning

Posted by ChrisRedfield at Nov. 17, 2015
CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems [Repost]

Ajitha Rajan, Thomas Wahl - CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems
Published: 2013-03-26 | ISBN: 3709113865, 3709117259 | PDF | 391 pages | 6.59 MB

CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems  eBooks & eLearning

Posted by tukotikko at Dec. 28, 2013
CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems

CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems By Ajitha Rajan, Thomas Wahl
2013 | 402 Pages | ISBN: 3709113865 | PDF | 7 MB
Software Engineering for Collective Autonomic Systems: The ASCENS Approach (repost)

Software Engineering for Collective Autonomic Systems: The ASCENS Approach (Lecture Notes in Computer Science, Book 8998) by Martin Wirsing and Matthias Hölzl
English | 2015 | ISBN: 3319163094 | 535 pages | PDF | 23,5 MB

Reliability of Safety-Critical Systems: Theory and Applications (repost)  eBooks & eLearning

Posted by interes at Jan. 8, 2017
Reliability of Safety-Critical Systems: Theory and Applications (repost)

Reliability of Safety-Critical Systems: Theory and Applications by Marvin Rausand
English | 2014 | ISBN-10: 1118112725 | 466 pages | PDF | 18 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