Development of Safety-Critical Systems - Karmakar Gopinath, Wakankar Amol -
Libro Development of Safety-Critical Systems - Karmakar Gopinath, Wakankar Amol - Springer
This book provides professionals and students with practical guidance for the development of safety-critical computer-based systems. It covers important aspects ranging from complying with standards and guidelines to the necessary software development process and tools, and also techniques pertaining to model-based application development platforms as well as qualified programmable controllers.
After a general introduction to the book’s topic in chapter 1, chapter 2 discusses dependability aspects of safety systems and how architectural design at the system level helps deal with failures and yet achieves the targeted dependability attributes. Chapter 3 presents the software development process which includes verification and validation at every stage, essential to the development of software for systems performing safety functions. It also explains how the process helps in developing a safety case that can be independently verified and validated. The subsequent chapter 4 presents some important standards and guidelines, which apply to different industries and in different countries. Chapter 5 then discusses the steps towards complying with the standards at every phase of development. It offers a guided tour traversing the path of software qualification by exploring the necessary steps towards achieving the goal with the help of case studies. Chapter 6 highlights the application of formal methods for the development of safety systems software and introduces some available notations and tools which assist the process. Finally, chapter 7 presents a detailed discussion on the importance and the advantages of qualified platforms for safety systems application development, including programmable controller (PLC) and formal model-based development platforms. Each chapter includes case studies illustrating the subject matter.
The book is aimed at both practitioners and students interested in the art and science of developing computer-based systems for safety-critical applications. Both audiences will get insights into the tools and techniques along with the latest developments in the design, analysis and qualification, which are constrained by the regulatory and compliance requirements mandated by the applicable guides and standards. It also addresses the needs of professionals and young graduates who specialize in the development of necessary tools and qualified platforms.
Politiche di vendita
Le tariffe di spedizione dipendono dal servizio selezionato e dal peso e dalla dimensione degli articoli: tali tariffe sono sempre indicate nella scheda del prodotto.
Le consegne e le spedizioni avvengono esclusivamente nei giorni lavorativi. Normalmente la consegna avviene in un tempo compreso tra 1 e 3 giorni lavorativi dalla data della spedizione. I tempi per la spedizione dall’Italia verso l’estero dipendono dalla modalità di spedizione scelta al momento dell’acquisto.
Per garantire il miglior servizio in tutta Italia utilizziamo due corrieri, GLS e SDA: a seconda delle statistiche di consegna nelle varie zone in nostro possesso possiamo utilizzare l'uno o l'altro corriere.
Per le spedizioni dirette dall’Italia verso l’estero utilizziamo i corrieri San Marino Mail e DHL.
Sarà possibile monitorare tutte le spedizioni da noi effettuate attraverso il servizio di tracking online del corriere, utilizzando il numero di lettera di vettura che forniremo.
È possibile contattare il corriere che ha in gestione la spedizione del proprio ordine o il nostro servizio clienti.
È importante avere sotto mano il numero di lettera di vettura del pacco (chiamato anche codice spedizione).
Tutti i metodi di pagamento forniti da HOEPLI S.p.A. sono soggetti a controlli e autorizzazioni da parte degli enti che emettono il metodo di pagamento (emittenti di carte e / o emittenti di conti di pagamento).
L'utente può pagare in modo rapido e sicuro, senza condividere informazioni finanziarie, attraverso il gateway di pagamento PayPal, sia tramite il proprio account che con carta di credito senza doversi registrare con PayPal.
Il Cliente privato (non le aziende e i professionisti con partita IVA) ha il diritto di recedere dal contratto e di restituire i Volumi ordinati e/o l'eventuale materiale audiovisivo e software informatico allegati, purché siano nel medesimo stato in cui li ha ricevuti, o, in caso di materiale audiovisivo o software informatico, ancora nella confezione originale sigillata. Tale restituzione potrà essere effettuata senza alcuna penalità e senza specificarne il motivo. Il diritto di recesso dovrà essere esercitato dal Cliente mediante l'invio di un messaggio tramite il modulo eBay entro il termine di 14 (quattordici) giorni lavorativi dal ricevimento dei Prodotti.
Tutti i resi dovranno essere autorizzati dal Servizio Clienti Hoepli. Una volta ricevuta l'autorizzazione, il Cliente potrà rispedire il Volume al seguente indirizzo: Hoepli S.p.A., alla C.a. dell'Ufficio Internet, Via Hoepli 5, 20121 Milano, indicando il numero dell'ordine. La restituzione del Volume dovrà avvenire entro 10 (dieci) giorni dal ricevimento della comunicazione contenente il numero di autorizzazione alla resa. Le spese della spedizione saranno interamente a carico del Cliente, e non verranno accettati pacchi in contrassegno.
Una volta ricevuti i Volumi e verificata la loro integrità, se i Volumi non risultano danneggiati e, nel caso di materiale audiovisivo o software informatico, se gli stessi non sono stati aperti, Hoepli provvederà, nel più breve tempo possibile ad accreditare al Cliente il costo dei Volumi restituiti, trattenendo, ove necessario, l'importo delle spese di spedizione eventualmente non corrisposte dal Cliente, che resteranno definitivamente a carico del Cliente. Il diritto di recesso non può essere esercitato dal Cliente nel caso in cui i Volumi acquistati consistano in materiale audiovisivo o software informatico sigillato, che siano stati aperti dal Cliente stesso ovvero qualora i Volumi risultino danneggiati. Eventuali allegati al Volume (quali audiocassette, CD-ROM, ecc.) dovranno essere restituiti congiuntamente e ancora sigillati.
Se i prodotti che hai acquistato sono difettosi o hanno subito danni nel trasporto, o se sono diversi da quelli che avevi ordinato, per favore contatta la nostra assistenza online utilizzando l’apposito modulo. Cercheremo di risolvere il problema nel minor tempo possibile.
