Embedded Software Development for Safety-Critical Systems,...

Main
Computers - Hardware
Embedded Software Development for...

Embedded Software Development for Safety-Critical Systems, Second Edition

Chris Hobbs (Author)

0 / 0

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

Категории:

Computers - Hardware

Година:

2019

Издание:

2

Издателство:

CRC Press

Език:

english

ISBN 10:

1000502392

ISBN 13:

9781000507331

Файл:

PDF, 11.93 MB

IPFS:

,

english, 2019

Четете Онлайн

Преобразуването в се извършва

Преобразуването в е неуспешно

Може да се интересувате от

Marco Bozzano, Adolfo Villafiorita — Design and Safety Assessment of Critical Systems

Rierson, Leanna — Developing Safety-Critical Software : A Practical Guide for Aviation Software and DO-178C Compliance

Chris Hobbs — Embedded software development for safety-critical systems

Don Morgan — Numerical Methods Real-Time and Embedded Systems Programming

Ed Sutter — Embedded Systems Firmware Demystified

Alexander Barkalov, Larysa Titarenko, Małgorzata Mazurkiewicz — Foundations of Embedded Systems

K. Fowler — What Every Engineer Should Know Abt. Devel. Real-Time Embedded Prods.

Fries, Richard C. — Reliable Design of Medical Devices, Third Edition

Ricky Barnes — Computer Security Principles

— IEEE Software (July/August 1999)

Richard Hawkins, Tim Kelly, John Knight, Patrick Graydon (auth.), Chris Dale, Tom Anderson (eds.) — Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

H.H. Frey — Safety of Computer Control Systems 1992 (Safecomp ' 92). Computer Systems in Safety-Critical Applications

Jean-Louis Boulanger — Certifiable Software Applications 1. Main Processes

Richard C. Fries (Editor) — Handbook of Medical Device Design

Chris Hobbs — Embedded Software Development for Safety-Critical Systems

Richard C. Fries (Author) — Handbook of Medical Device Design

Nakajima, Shin.;Talpin, Jean-Pierre.;Toyoshima, Masumi.;Yu, Huafeng — Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings

The British Standards Institution — BS EN 61508-7:2010 Functional Safety of Electrical/Electronic/Programmable Electronic Safety Related Systems - Overview of Techniques and Measures

The British Standards Institution — BS EN 61577-15:2014 Electrical Safety in low voltage distribution systems up to 1000 Vac and 1500 Vdc - Functional safety requirements for insulation monitoring devices in IT systems and equipment for insulation fault location in IT systems

Phil Bennett — Safety Aspects of Computer Control

Richard C. Fries — Handbook of Medical Device Design

Richard C. Fries — Reliable Design of Medical Devices

Kim R. Fowler — What Every Engineer Should Know about Developing Real-Time Embedded Products

Richard Hawkins, Tim Kelly, John Knight, Patrick Graydon (auth.), Chris Dale, Tom Anderson (eds.) — Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

Jean-Louis Boulanger — Industrial Use of Formal Methods: Formal Verification

Marco Tacchini — Functional Safety of Machinery: How to Apply ISO 13849-1 and IEC 62061

Mahboob, Qamar; Zio, Enrico — Handbook of RAMS in railway systems : theory and practice

Richard C. Fries, Arthur Thomas Johnson, Paul H. King — Design of Biomedical Devices and Systems

Fries, Richard C — Reliable design of medical devices

Meine van der Meulen (auth.) — Definitions for Hardware and Software Safety Engineers

Khurshid Ahmad (auth.), Felix Redmill, Tom Anderson (eds.) — Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997

Francesco Flammini, Francesco Flammini — Railway Safety, Reliability, and Security: Technologies and Systems Engineering

Coronato, Antonio — Engineering high quality medical software: regulations, standards, methodologies and tools for certification

Bolintineanu, Constantin; Loznen, Steli; Swart, Jan — Electrical product compliance and safety engineering

Taylor, Adam, Binnun, Dan, Srivastava, Saket — A Hands-on Guide to Designing Embedded Systems

Boulanger J.-L. (ed.) — Industrial use of formal methods: formal verification

Gopinath Karmakar, Amol Wakankar, Ashutosh Kabra, Paritosh Pandya — Development of Safety-Critical Systems: Architecture and Software

Andrea Bondavalli, Felicita Di Giandomenico (eds.) — Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings

Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier (eds.) — Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings

Най-често използвани термини