Embedded Software Development for Safety-critical Systems
Hobbs, Chris
Venduto da GreatBookPrices, Columbia, MD, U.S.A.
Venditore AbeBooks dal 6 aprile 2009
Nuovi - Brossura
Condizione: Nuovo
Quantità: Più di 20 disponibili
Aggiungere al carrelloVenduto da GreatBookPrices, Columbia, MD, U.S.A.
Venditore AbeBooks dal 6 aprile 2009
Condizione: Nuovo
Quantità: Più di 20 disponibili
Aggiungere al carrelloSafety-critical devices, whether medical, rail, automotive or industrial are dependent on the correct operation of sophisticated software. Many standards describe how such systems should be designed, built and verified. Developers who previously had to know only how to program devices for their industry must now understand and deploy additional development practices and be prepared to justify their work to external assessors.
The third edition of Embedded Software Development for Safety-Critical Systems is about the creation of dependable embedded software. It is written for system designers, implementers and verifiers who are experienced in general embedded software development, but who are now facing the prospect of developing a software-based system for safety-critical applications. In particular, it is aimed at those creating a product that must satisfy one or more of the international standards relating to safety critical applications, including IEC 61508, ISO 26262, EN 50716, UL 4600, ISO 21448, ISO/PAS 8800 or IEC 62304.
This book has evolved from a course text used by QNX for a three-day training module on building embedded software for safety-critical systems. Although it describes open source tools for most applications, it also provides enough information for you to seek out commercial vendors if that’s the route you decide to pursue. All of the techniques described in this book may be further explored through several hundred references to articles that the author has personally found helpful as a professional software developer. Almost all of these references are available for free download.
Until February 2024 Chris was a full-time employee of QNX, working on the development, verification and certification of complex software systems. Since February Chris has continued this work as a consultant and as a Visiting Researcher at the University of Waterloo (Ontario). Chris has been a member of two safety working groups, producing guidance documents for Assurance Cases and for the safety analysis of Complex Systems: Chris is the editor of the documents being created for both groups. He has published papers at various conferences on safety topics, most recently two papers delivered at the Safety Critical Systems Symposium in York, UK, in February 2025. He has two distinct sets of books. CRC Press has published his technical books and Aviation Publishers (https://www.aviationpublishers.com/) has published his aviation books. Since edition 2 of Embedded Software Development for Safety-Critical Systems appeared, several of the aviation books have been republished to keep up with changes in aviation regulations and practices. No other technical book has appeared.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Visita la pagina della libreria
Company Name: GreatBookPrices
Legal Entity: Expert Trading, LLC
Address: 6310 Stevens Forest, suite 200, Columbia MD 21046
Email address: CustomerService@SuperBookDeals.com
Phone number: 410-964-0026
consumer complaints can be addressed to address above
Registration #: 52-1713923
Authorized representative: Danielle Hainsey
Se sei un consumatore, puoi esercitare il tuo diritto di recesso seguendo le istruzioni riportate di seguito. Per "consumatore" si intende qualsiasi persona fisica che agisca per fini che non rientrano nel quadro della sua attività commerciale, industriale, artigianale o professionale.
Informazioni relative al diritto di recesso
Diritto di recesso
Hai il diritto di recedere dal presente contratto, senza indicarne le ragioni, entro 14 giorni.
Il periodo di recesso scade dopo 14 giorni dal giorno in cui
tu acquisisci, o un terzo designato diverso dal vettore e da te acquisisce, il possesso fisico dell'ultimo bene o l'ultimo lotto o pezzo.
Per esercitare il diritto di recesso, sei tenuto a informare GreatBookPrices, 6310 Stevens Forest Rd, Suite 200, 21046, Columbia, Maryland, U.S.A., 1 410-964-0026, della tua decisione di recedere dal presente contratto tramite una dichiarazione esplicita (ad esempio lettera inviata per posta, fax o posta elettronica). A tal fine puoi utilizzare il modulo tipo di recesso, ma non e' obbligatorio. Puoi anche compilare e inviare elettronicamente il modulo tipo di recesso o qualsiasi altra esplicita dichiarazione sul nostro sito web, dalla sezione "Ordini" nel "Mio Account". Nel caso scegliessi questa opzione, ti trasmetteremo senza indugio una conferma di ricevimento su un supporto durevole (ad esempio per posta elettronica).
Per rispettare il termine di recesso, é sufficiente inviare la comunicazione relativa all'esercizio del diritto di recesso prima della scadenza del periodo di recesso.
Effetti del recesso
Se recedi dal presente contratto, ti saranno rimborsati tutti i pagamenti che hai effettuato a nostro favore, compresi i costi di consegna (ad eccezione dei costi supplementari derivanti dalla tua eventuale scelta di un tipo di consegna diverso dal tipo meno costoso di consegna standard da noi offerto). Potremo trattenere dal rimborso le somme derivanti da una diminuzione del valore del prodotto risultante da una tua non necessaria manipolazione.
I rimborsi verranno effettuati senza indebito ritardo e in ogni caso non oltre 14 giorni dal giorno in cui siamo stati informati della tua decisione di recedere dal presente contratto.
Detti rimborsi saranno effettuati utilizzando lo stesso mezzo di pagamento da te usato per la transazione iniziale, salvo che tu non abbia espressamente convenuto altrimenti; in ogni caso, non dovrai sostenere alcun costo quale conseguenza di tale rimborso. Il rimborso può essere sospeso fino al ricevimento dei beni oppure fino all'avvenuta dimostrazione da parte tua di aver rispedito i beni, se precedente.
Ti preghiamo di rispedire i beni o di consegnarli a GreatBookPrices, 902B Paramount Pkwy, Ref: [transaction or order number], 60510, Batavia, Illinois, U.S.A., 1 410-964-0026, senza indebiti ritardi e in ogni caso entro 14 giorni dal giorno in cui hai comunicato il tuo recesso dal presente contratto. Il termine è rispettato se rispedisci i beni prima della scadenza del periodo di 14 giorni. I costi diretti della restituzione dei beni saranno a tuo carico. Sei responsabile solo della diminuzione del valore dei beni risultante da una manipolazione del bene diversa da quella necessaria per stabilire la natura, le caratteristiche e il funzionamento dei beni.
Eccezioni al diritto di recesso
Il diritto di recesso non si applica in caso di:
Modulo di recesso tipo
(Compilare e restituire il presente modulo solo se si desidera recedere dal contratto)
Destinatario: (GreatBookPrices, 6310 Stevens Forest Rd, Suite 200, 21046, Columbia, Maryland, U.S.A., 1 410-964-0026)
Con la presente io/noi (*) notifichiamo il recesso dal mio/nostro (*) contratto di vendita dei seguenti beni/servizi (*)
Ordinato il (*) /ricevuto il (*)
Nome del/dei consumatore(i)
Indirizzo del/dei consumatore(i)
Firma del/dei consumatore(i) (solo se il presente modulo è notificato in versione cartacea)
Data
(*) Cancellare la dicitura inutile.
Our warehouses across the globe are fully operational without substantial delays. We are working hard and continue to overcome the daily challenges presented by COVID-19. We appreciate your understanding.
Internal processing of your order will take about 1-2 business days. Please allow an additional 4-14 business days for Media Mail delivery. We have multiple ship-from locations - MD,IL,NJ,UK,IN,NV,TN & GA
| Quantità dell?ordine | Da 8 a 14 giorni lavorativi | Da 5 a 14 giorni lavorativi |
|---|---|---|
| Primo articolo | EUR 2.28 | EUR 2.28 |
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.