Development of Safety-Critical Systems : Architecture and Software
Lingua: inglese
Editore: Springer, 2023
- Brossura
- Nuovo
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Venditore AbeBooks dal 14 agosto 2006
Condizione: Nuovo
EUR 94,18
Quantità: 1 disponibile
Aggiungi al carrelloDescrizione dell’articolo da parte del venditore
Druck auf Anfrage Neuware - Printed after ordering - 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 alsotechniques 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.…
Codice articolo 9783031279003
- Titolo
- Development of Safety-Critical Systems : Architecture and Software
- Autore
- Gopinath Karmakar
- Editore
- Springer
- Anno di pubblicazione
- 2023
- Condizione
- Neu
- Rilegatura
- Taschenbuch
- Lingua
- inglese
- ISBN 10
- 303127900X
- ISBN 13
- 9783031279003
- Peso dell'articolo
- 581 grammi
- Dimensioni
- 235x155x21 mm
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.
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Informazioni sull’autore
Gopinath Karmakar is a Scientific Officer-H in the Bhabha Atomic Research Centre (BARC) in Mumbai, India. He has nearly 35 years of experience in the field of instrumentation and control for safety-critical systems in nuclear power plants and nuclear research reactors, which includes the development of hard real-time systems, operating systems for safety-critical applications, software engineering for Class IA and IB systems, programmable controllers and systems engineering. He is also an adjunct faculty in BARC Training School.
Amol Wakankar has been working with BARC as a Scientific Officer since 2006. Amol has been focusing on safety critical systems development for nuclear power plants for more than 15 years. His field of expertise include analysis and compilation of synchronous dataflow programs and the application of formal methods in safety critical domains. His current research interests include the application of formal methods for architecture-centric dependability analysis and automated synthesis from formal requirements. Together with Paritosh Pandya, he has developed the DCSYNTH tool, which offers automatic synthesis of robust controllers and runtime enforcement shields.
Ashutosh Kabra has been working as a Scientific Officer at Bhabha Atomic Research Centre (BARC) since 2007. He has over a decade of experience in the development of computer based I&C systems for nuclear power plants and research reactors. His expertise includes embedded software development, formalization of PLC programming languages, system dependability analysis and software qualification. His current research activities are targeted at reliability analysis using systems architecture, distributed systems in safety-critical applications and formal verification of software.
Paritosh Pandya is an adjunct professor at IIT Bombay and former Dean of the School of Technology and Computer Science at the Tata Institute of Fundamental Research (TIFR). He is known for his work on Duration Calculus and the tools he developed, which include DCVALID, a validity and model checker, and DCSYNTH for automatic synthesis of robust controllers. Paritosh is the recipient of the prestigious IEEE RTS 2020 "Test of Time award" for his pioneering contributions to the theory of schedulability in hard real-time systems.
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.
AHA-BUCH GmbH
Einbeck, Germania
Venditore AbeBooks dal 14 agosto 2006
Tariffe di spedizione da Germania a U.S.A.
| Articolo | Da 7 a 10 giorni lavorativi | Da 5 a 7 giorni lavorativi |
|---|---|---|
| Primo articolo | EUR 35,00 | EUR 45,00 |
Metodi di pagamento
- Assegno
- Bonifico bancario
- PayPal
Descrizione dello Store
Das Unternehmen AHA-BUCH GmbH: Seit der Gründung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisgünstig wie möglich ihren Bücherwunsch zu erfüllen. Unsere Firma beschäftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine Wünsche! Auf über 3700 m2 Fläche haben wir über 100.000 Bücher, Modernes Antiquariat und Spiele auf Lager.
Specializzazione
Kinderbücher & Kinderhör Casetten, German Books, Software, Natur & Tiere, Ratgeber, Sachbücher, Englische Bücher, Medizin & Gesundheit, Universität & StudiumInformazioni sull’azienda del venditore
AHA-BUCH GmbH
Garlebsen 48
Einbeck, Germania 37574
Imprimere
Informazioni sul venditore:
AHA-BUCH GmbH
rappresentata dall'amministratore delegato Christel Glass
Garlebsen 48
37574 Einbeck
Germania
Telefono: 055639996039
Fax: 055639995974
E-Mail: abebooks@aha-buch.de
USt-IdNr.: DE261904229
registrato presso Registro delle imprese Amtsgerichtes Göttingen
Handelsregisternummer HRB 200691
Risoluzione alternativa delle controversie:
La Commissione europea fornisce una piattaforma per la risoluzione extragiudiziale delle controversie online (piattaforma ODR), accessibile nell'ambito di https://ec.europa.eu/odr.
Siamo membri dell'iniziativa "FairCommerce" dal 25.05.2018.
Per ulteriori informazioni, vedere www.fair-commerce.de.
Condizioni di vendita
Termini e condizioni generali e informazioni sul cliente / Informativa sulla privacy
I. Condizioni generali di contratto
§ 1 Disposizioni di base
(1) I seguenti termini e condizioni si applicano a tutti i contratti che l'utente conclude con noi in qualità di fornitore (AHA-BUCH GmbH) tramite le piattaforme Internet AbeBooks e/o ZVAB. Se non diversamente concordato, l'inclusione di uno qualsiasi dei tuoi termini e condizioni da te utilizzati sarà contestata.
(2) Un consumatore ai sensi delle seguenti norme è qualsiasi persona fisica che conclude un negozio giuridico per scopi che non possono essere prevalentemente attribuiti né alla sua attività commerciale né alla sua attività professionale indipendente. Un imprenditore è qualsiasi persona fisica o giuridica o una società di persone con capacità giuridica che, al momento della conclusione di un negozio giuridico, agisce nell'esercizio della sua attività professionale o commerciale indipendente.
§ 2 Conclusione del contratto
(1) L'oggetto del contratto è la vendita di beni.
(2) Se un articolo è elencato da noi su AbeBooks o ZVAB, l'attivazione della pagina di offerta su AbeBooks o ZVAB costituisce l'offerta vincolante per concludere un contratto alle condizioni contenute nella pagina dell'articolo.
(3) Il contratto è concluso tramite il sistema di carrello online come segue:
La merce destinata all'acquisto viene stoccata nel "carrello". Tramite il pulsante corrispondente nella barra di navigazione è possibile richiamare il "carrello" e apportare modifiche in qualsiasi momento.
Dopo aver richiamato la pagina "Checkout" e inserito i dati personali e le condizioni di pagamento e spedizione, tutti i dati dell'ordine verranno nuovamente visualizzati nella pagina di panoramica dell'ordine.
Prima di inviare l'ordine, hai la possibilità di controllare nuovamente tutte le informazioni, modificarle (anche tramite la funzione "indietro" del browser Internet) o annullare l'acquisto.
Inviando l'ordine tramite il pulsante "Acquista ora", dichiari l'accettazione dell'offerta in modo legalmente vincolante, con la quale il contratto è concluso.
(4) L'elaborazione dell'ordine e la trasmissione di tutte le informazioni necessarie in relazione alla conclusione del contratto sono parzialmente automatizzate via e-mail. È quindi necessario assicurarsi che l'indirizzo e-mail che hai memorizzato con noi sia corretto, che la ricezione delle e-mail sia tecnicamente garantita e, in particolare, che i filtri antispam non lo impediscano.
§ 3 Diritto di ritenzione, riserva di proprietà
(1) È possibile esercitare un diritto di ritenzione solo se si tratta di reclami derivanti dallo stesso rapporto contrattuale.
(2) La merce rimane di nostra proprietà fino al completo pagamento del prezzo di acquisto.
§ 4 Garanzia
(1)I diritti di garanzia legali esistono.
(2)Nel caso di beni usati, il periodo di garanzia è di un anno dalla consegna dell'articolo, in deroga alla normativa di legge. La riduzione del termine non si applica:
- danni causati colpevolmente a noi imputabili da lesioni alla vita, all'incolumità fisica o alla salute e in caso di altri danni causati intenzionalmente o per negligenza grave;
- nella misura in cui abbiamo nascosto fraudolentemente il difetto o abbiamo assunto una garanzia per la qualità dell'articolo.
(3) In qualità di consumatore, sei pregato di controllare l'articolo immediatamente dopo la consegna per verificarne la completezza, i difetti evidenti e i danni di trasporto e di informare noi e lo spedizioniere di eventuali reclami il prima possibile. Se non si rispetta questo, ciò non avrà alcun effetto sulle richieste di garanzia legale.
§ 5 Scelta della legge, luogo di adempimento, foro competente
(1)Si applica il diritto tedesco. Nel caso dei consumatori, questa scelta di legge si applica solo nella misura in cui ciò non revochi la protezione offerta dalle disposizioni imperative della legge dello Stato di residenza abituale del consumatore (principio di favorevolezza).
(2)Il luogo di adempimento per tutti i servizi derivanti dai rapporti commerciali esistenti con noi e il foro competente è la nostra sede legale, nella misura in cui non sei un consumatore, ma un commerciante, una persona giuridica di diritto pubblico o un fondo speciale di diritto pubblico. Lo stesso vale se non si dispone di un foro competente generale in Germania o nell'UE o se il domicilio o la residenza abituale non sono noti al momento della proposizione dell'azione. Il diritto di ricorrere al tribunale di un altro foro competente rimane inalterato.
(3)Le disposizioni della Convenzione delle Nazioni Unite sui contratti di vendita internazionale di merci non si applicano espressamente.
II. Informazioni sul cliente
- Identità del Venditore
AHA-BUCH GmbH
Garlebsen 48 •
D-37574 Einbeck
Germania
Telefono: 055639996039
E-mail: abebooks@aha-buch.de
Risoluzione alternativa delle controversie:
La Commissione europea fornisce una piattaforma per la risoluzione extragiudiziale delle controversie online (piattaforma ODR), accessibile nell'ambito di https://ec.europa.eu/odr.
-
Informazioni sulla conclusione del contratto
Le fasi tecniche per la conclusione del contratto, la conclusione del contratto stesso e le opzioni di correzione sono eseguite in conformità con le disposizioni "Conclusione del contratto" delle nostre Condizioni Generali (Parte I.). -
Lingua del contratto, archiviazione del testo del contratto
3.1. La lingua del contratto è il tedesco.
3.2. Il testo completo del contratto non sarà memorizzato da noi. Prima di inviare l'ordine, i dati del contratto possono essere stampati o salvati elettronicamente tramite la funzione di stampa del browser. Dopo aver ricevuto l'ordine da parte nostra, i dati dell'ordine, le informazioni legalmente prescritte per i contratti a distanza e le Condizioni generali ti verranno nuovamente inviati via e-mail.
-
Caratteristiche essenziali dei beni o servizi
Le caratteristiche essenziali dei beni e/o servizi possono essere trovate nella rispettiva offerta. -
Prezzi e condizioni di pagamento
5.1. I prezzi indicati nelle rispettive offerte e le spese di spedizione rappresentano i prezzi totali. Includono tutte le componenti del prezzo, comprese tutte le tasse applicabili.
5.2. Le spese di spedizione sostenute non sono incluse nel prezzo di acquisto. Possono essere richiamati tramite un pulsante designato sul nostro sito Web o nella rispettiva offerta, sono mostrati separatamente nel corso del processo di ordinazione e devono essere a carico dell'utente in aggiunta, a meno che non sia stata promessa la spedizione gratuita.
5.3. Se la consegna viene effettuata in paesi al di fuori dell'Unione Europea, potremmo incorrere in costi aggiuntivi per i quali non siamo responsabili, come dazi doganali, tasse o commissioni di trasferimento di denaro (commissioni di trasferimento o di cambio degli istituti di credito), che sono a tuo carico. Eventuali costi sostenuti per il trasferimento di denaro saranno sostenuti anche da te nei casi in cui la consegna viene effettuata in uno stato membro dell'UE, ma il pagamento è stato avviato al di fuori dell'Unione Europea.
5.4. I metodi di pagamento a tua disposizione sono indicati sotto un pulsante corrispondente sul nostro sito web o nella rispettiva offerta.
5.5. Salvo diversa indicazione per i singoli metodi di pagamento, i diritti di pagamento derivanti dal contratto concluso sono immediatamente dovuti per il pagamento.
- Termini di consegna
6.1. I termini di consegna, la data di consegna e, se applicabile, le restrizioni di consegna esistenti sono disponibili sotto un pulsante designato sul nostro sito Web o nella rispettiva offerta. Nella misura in cui nessun altro termine è specificato nella rispettiva offerta o sotto il pulsante corrispondente designato, la consegna della merce avverrà entro 3-5 giorni dalla conclusione del contratto (in caso di pagamento anticipato concordato, tuttavia, solo dopo il tempo dell'istruzione di pagamento).
6.2. Nella misura in cui sei un consumatore, è regolato dalla legge che il rischio di perdita accidentale e deterioramento accidentale dell'articolo venduto durante la spedizione passerà a te solo al momento della consegna della merce, indipendentemente dal fatto che la spedizione sia assicurata o non assicurata. Ciò non si applica se hai commissionato in modo indipendente una società di trasporti non nominata dall'imprenditore o da una persona altrimenti designata per effettuare la spedizione.
- Responsabilità legale per difetti
La responsabilità per i difetti è regolata dalla disposizione "Garanzia" nei nostri Termini e condizioni generali (Parte I).
ultimo aggiornamento: 07/12/2017
Diritto di recesso
Se sei un consumatore puoi recedere dal contratto in conformità con quanto segue. Per Consumatore si intende qualsiasi persona fisica che agisce per scopi estranei alla propria attività commerciale, imprenditoriale, artigianale o professionale.
Informazioni sul diritto di recesso
Diritto legale di recesso
Hai il diritto di recedere dal presente contratto entro 14 giorni senza fornire alcuna motivazione.
Il periodo di recesso scade dopo 14 giorni dal giorno in cui tu o una terza parte, diversa dal vettore e da te indicata, acquisisce il possesso fisico dell'ultimo bene o dell'ultimo lotto o pezzo.
Per esercitare il diritto di recesso, compila e invia elettronicamente una dichiarazione esplicita sul nostro sito Web, alla voce “I miei acquisti” nella sezione “Mio account”. Ti comunicheremo senza indugio una conferma di ricezione di tale recesso su un supporto durevole (ad es. via e-mail).
Per rispettare il termine di recesso, è sufficiente inviare la comunicazione relativa all'esercizio del diritto di recesso prima della scadenza del periodo di recesso stesso.
Effetti del recesso
In caso di recesso dal presente contratto, ti rimborseremo tutti i pagamenti ricevuti, compresi i costi di spedizione (ad eccezione dei costi supplementari derivanti dalla tua eventuale scelta di un tipo di spedizione diverso dal tipo meno costoso di consegna standard da noi offerto).
Potremo effettuare una detrazione dal rimborso per la perdita di valore dei beni forniti, qualora tale perdita sia il risultato di una manipolazione non necessaria da parte tua.
Eseguiremo il rimborso senza indebito ritardo e non oltre 14 giorni dal giorno in cui saremo informati della tua decisione di recedere dal presente contratto.
Il rimborso sarà effettuato utilizzando lo stesso mezzo di pagamento da te usato per la transazione iniziale, salvo che tu non abbia espressamente concordato altrimenti; in ogni caso, non dovrai sostenere alcun costo quale conseguenza di tale rimborso.
Possiamo trattenere il rimborso finché non avremo ricevuto i beni oppure finché non avrai fornito la prova di averli rispediti, a seconda di quale condizione si verifichi per prima.
Dovrai rispedire i beni o consegnarli a AHA-BUCH GmbH, Einbeck, Germany, senza indebito ritardo e, in ogni caso, entro 14 giorni dal giorno in cui ci hai comunicato la tua volontà di recedere 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 diversa da quella necessaria per stabilire la natura, le caratteristiche e il funzionamento dei beni stessi.
Eccezioni al diritto di recesso
Il diritto di recesso non si applica a:
- La fornitura di giornali, periodici o riviste ad eccezione dei contratti di abbonamento; e
- La fornitura di contenuto digitale non fornito su un supporto materiale (ad es. su un CD o DVD), se al momento dell'invio dell'ordine hai accettato l'inizio dell'esecuzione e hai riconosciuto che non avresti potuto recedere una volta iniziata l'esecuzione.
Condizioni di spedizione
Spediamo il tuo ordine dopo averlo ricevuto
per articoli a portata di mano entro 24 ore,
per articoli con fornitura notturna entro 48 ore.
Nel caso in cui abbiamo bisogno di ordinare un articolo dal nostro fornitore, il nostro tempo di spedizione dipende dalla data di ricezione degli articoli, ma gli articoli verranno spediti lo stesso giorno.
Il nostro obiettivo è quello di inviare gli articoli ordinati nel modo più veloce, ma anche più efficiente e sicuro ai nostri clienti.
Privacy e sicurezza
Informativa sulla privacy
Salvo diversa indicazione di seguito, la fornitura dei tuoi dati personali non è richiesta dalla legge o dal contratto, né è necessaria per la conclusione di un contratto. Non sei obbligato a fornire i dati. Il mancato conferimento non avrà alcuna conseguenza. Ciò vale solo se non vengono fornite altre informazioni nelle successive operazioni di trattamento.
Per "dati personali" si intende qualsiasi informazione relativa a una persona fisica identificata o identificabile.
Raccolta, elaborazione e utilizzo dei dati personali per gli ordini
Al momento dell'ordine, raccogliamo e utilizziamo i tuoi dati personali solo nella misura necessaria per soddisfare ed elaborare il tuo ordine e per elaborare le tue richieste. Il conferimento dei dati è necessario per la conclusione del contratto. Il trattamento viene effettuato sulla base dell'articolo 6 (1) lit. b GDPR ed è necessario per l'esecuzione di un contratto con voi. I tuoi dati non saranno trasmessi a terzi senza il tuo esplicito consenso. Sono esclusi da ciò solo i nostri partner di servizio, di cui abbiamo bisogno per elaborare il rapporto contrattuale o i fornitori di servizi che utilizziamo nel contesto dell'elaborazione degli ordini. Oltre ai destinatari nominati nelle rispettive clausole della presente dichiarazione sulla protezione dei dati, questi sono, ad esempio, destinatari delle seguenti categorie: fornitori di servizi di spedizione, fornitori di servizi di pagamento, fornitori di servizi di gestione delle merci, fornitori di servizi per l'elaborazione degli ordini, host web, fornitori di servizi IT e commercianti dropshipping. In tutti i casi, osserviamo rigorosamente i requisiti legali. L'ambito della trasmissione dei dati è limitato al minimo.
Durata della conservazione
Dopo il completamento del contratto, i dati saranno prima conservati per la durata del periodo di garanzia, quindi tenendo conto dei periodi di conservazione legali, in particolare fiscali e commerciali e quindi cancellati dopo la scadenza del periodo, a meno che tu non abbia acconsentito a ulteriori elaborazioni e utilizzo.
Diritti dell'interessato
Se i requisiti legali sono soddisfatti, hai i seguenti diritti ai sensi degli articoli da 15 a 20 GDPR: diritto all'informazione, alla correzione, alla cancellazione, alla limitazione del trattamento, alla portabilità dei dati. Inoltre, ai sensi dell'articolo 21 (1) GDPR, hai il diritto di opporti al trattamento basato sull'articolo 6 (1) f GDPR e al trattamento per scopi di marketing diretto.
Contattaci su richiesta. I dettagli di contatto possono essere trovati nella nostra impronta.
Diritto di proporre reclamo all'autorità di controllo
Ai sensi dell'articolo 77 del GDPR, hai il diritto di presentare un reclamo all'autorità di controllo se ritieni che il trattamento dei tuoi dati personali non sia lecito.
ultimo aggiornamento: 25/04/2018