Jetzt sichern: 40% Rabatt auf Ratgeber und Sachbücher oder einen 30€ Gutschein für eBooks in Mathematik und Statistik!

Programming and Software Engineering

Computer Safety, Reliability, and Security

SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Herausgeber: Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann (Eds.)

Vorschau

Dieses Buch kaufen

eBook 59,49 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-66284-8
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF, EPUB
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 74,89 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-66283-1
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Über dieses Buch

This book constitutes the refereed proceedings of five workshops

co-located with SAFECOMP 2017, the 36th International Conference on

Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017.

The 38 revised full papers presented together with 5 introductory papers to each workshop,

and three invited papers, were carefully reviewed and selected from 49 submissions.

This year's workshops are: ASSURE 2017 – Assurance Cases for Software-Intensive Systems;

DECSoS 2017 – ERCIM/EWICS/ARTEMIS Dependable Embedded and Cyber-Physical

Systems and Systems-of-Systems; SASSUR 2017 – Next Generation of System Assurance

 Approaches for Safety-Critical Systems; TIPS 2017 – Timing Performance in Safety Engineering;

TELERISE 2017 Technical and legal Aspects of Data Privacy and Security.

Inhaltsverzeichnis (39 Kapitel)

  • Making the Case for Safety of Machine Learning in Highly Automated Driving

    Burton, Simon (et al.)

    Seiten 5-16

  • A Thought Experiment on Evolution of Assurance Cases

    Kinoshita, Shuji (et al.)

    Seiten 17-26

  • Using an Assurance Case Framework to Develop Security Strategy and Policies

    Bloomfield, Robin (et al.)

    Seiten 27-38

  • Uniform Model Interface for Assurance Case Integration with System Models

    Wardziński, Andrzej (et al.)

    Seiten 39-51

  • ExplicitCase: Integrated Model-Based Development of System and Safety Cases

    Cârlan, Carmen (et al.)

    Seiten 52-63

Dieses Buch kaufen

eBook 59,49 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-66284-8
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF, EPUB
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 74,89 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-66283-1
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Loading...

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Computer Safety, Reliability, and Security
Buchuntertitel
SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Herausgeber
  • Stefano Tonetta
  • Erwin Schoitsch
  • Friedemann Bitsch
Titel der Buchreihe
Programming and Software Engineering
Buchreihen Band
10489
Copyright
2017
Verlag
Springer International Publishing
Copyright Inhaber
Springer International Publishing AG
eBook ISBN
978-3-319-66284-8
DOI
10.1007/978-3-319-66284-8
Softcover ISBN
978-3-319-66283-1
Auflage
1
Seitenzahl
XIV, 478
Anzahl der Bilder
138 schwarz-weiß Abbildungen
Themen