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

Software Engineering for Multi-Agent Systems V (repost)  

Posted by MoneyRich at Jan. 31, 2015
Software Engineering for Multi-Agent Systems V (repost)

Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications by Ricardo Choren
English | July 27, 2007 | ISBN: 354073130X | 236 Pages | PDF | 4 MB

The papers selected for this volume present advances in software engineering approaches to develop dependable high-quality multi-agent systems. These papers describe experiences and techniques associated with large multi-agent systems in a wide variety of problem domains. They cover fault tolerance, exception handling and diagnosis, security and trust, verification and validation, as well as early development phases and software reuse.
Formal Methods for Industrial Critical Systems: 14th International Workshop

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings … / Programming and Software Engineering) by María Alpuente, Byron Cook, Christophe Joubert
English | October 26, 2009 | ISBN: 3642045693 | 213 pages | PDF | 9 MB

This volume contains the papers presented at FMICS 2009, the 14th Inter- tional Workshop on Formal Methods for Industrial Critical Systems,whichwas held on November 2–3, 2009, in Eindhoven, The Netherlands. Previous wo- shops of the ERCIM working group on Formal Methods for Industrial Critical Systems were held in Oxford (March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July2002),Trondheim(June2003),Linz(September 2004),Lisbon(September 2005),Bonn (August 2006),Berlin (July 2007),and L’Aquila (September 2008).