Loading…

QR Code

Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach /

This book introduces the concept of holistic design and development of cyber physical systems to achieve their safe and secure operation. It shows that by following the standards for embedded system's safety and using appropriate hardware and software components inherently safe system's ar...

Full description

Bibliographic Details
Main Author:	Gumzej, Roman (Author)
Corporate Author:	SpringerLink (Online service)
Format:	e-Book
Language:	English
Published:	Cham : Springer International Publishing : 2016. Imprint: Springer,
Edition:	1st ed. 2016.
Series:	Studies in Computational Intelligence, 632
Subjects:	Computational intelligence. Artificial intelligence. Electronic circuits. Security systems. Computational Intelligence. Artificial Intelligence. Electronic Circuits and Systems. Security Science and Technology.
Online Access:	Full-text access

Similar Items

Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA
by: Ponce-Cruz, Pedro, et al.
Published: (Springer International Publishing : Imprint: Springer, 2016.)

An Introduction to Machine Learning
by: Rebala, Gopinath, et al.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Security-Aware Design for Cyber-Physical Systems A Platform-Based Approach /
by: Lin, Chung-Wei, et al.
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Cyber Security for Cyber Physical Systems
by: Ali, Saqib, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Recent Advances in Computational Intelligence in Defense and Security
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Reliability Physics and Engineering Time-To-Failure Modeling /
by: McPherson, J. W.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

FPGA-BASED Hardware Accelerators
by: Skliarova, Iouliia, et al.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Logic Synthesis for Finite State Machines Based on Linear Chains of States Foundations, Recent Developments and Challenges /
by: Barkalov, Alexander, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Advances in Electronics, Communication and Computing ETAEERE-2016 /
Published: (Springer Nature Singapore : Imprint: Springer, 2018.)

Contemporary Advances in Innovative and Applicable Information Technology Proceedings of ICCAIAIT 2018 /
Published: (Springer Nature Singapore : Imprint: Springer, 2019.)

Multimedia Forensics and Security Foundations, Innovations, and Applications /
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Smart Technologies and Innovations in Design for Control of Technological Processes and Objects: Economy and Production Proceeding of the International Science and Technology Conference "FarEastСon-2018" Volume 2 /
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Foundations of Embedded Systems
by: Barkalov, Alexander, et al.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Proceedings of the International Conference on Microelectronics, Computing & Communication Systems MCCS 2015 /
Published: (Springer Nature Singapore : Imprint: Springer, 2018.)

On the Physical Security of Physically Unclonable Functions
by: Tajik, Shahin
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Fault Tolerant Architectures for Cryptography and Hardware Security
Published: (Springer Nature Singapore : Imprint: Springer, 2018.)

Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System
by: Ahmed, Jameel, et al.
Published: (Springer Nature Singapore : Imprint: Springer, 2017.)

Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3 2015 /
Published: (Springer Nature Singapore : Imprint: Springer, 2016.)

Design of Reconfigurable Logic Controllers
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Domain Specific High-Level Synthesis for Cryptographic Workloads
by: Khalid, Ayesha, et al.
Published: (Springer Nature Singapore : Imprint: Springer, 2019.)

Security with Intelligent Computing and Big-data Services
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Emerging Trends in Expert Applications and Security Proceedings of ICETEAS 2018 /
Published: (Springer Nature Singapore : Imprint: Springer, 2019.)

Secure System Design and Trustable Computing
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Advances in Reliability and System Engineering
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Emerging Technologies in Data Mining and Information Security Proceedings of IEMIS 2018, Volume 1 /
Published: (Springer Nature Singapore : Imprint: Springer, 2019.)

Emerging Technologies in Data Mining and Information Security Proceedings of IEMIS 2018, Volume 2 /
Published: (Springer Nature Singapore : Imprint: Springer, 2019.)

Emerging Technologies in Data Mining and Information Security Proceedings of IEMIS 2018, Volume 3 /
Published: (Springer Nature Singapore : Imprint: Springer, 2019.)

International Conference on Applications and Techniques in Cyber Security and Intelligence Applications and Techniques in Cyber Security and Intelligence /
Published: (Springer International Publishing : Imprint: Edizioni della Normale, 2018.)

Frontier Computing Theory, Technologies and Applications (FC 2017) /
Published: (Springer Nature Singapore : Imprint: Springer, 2018.)

Frontier Computing Theory, Technologies and Applications FC 2016 /
Published: (Springer Nature Singapore : Imprint: Springer, 2018.)

Frontier Computing Theory, Technologies and Applications (FC 2018) /
Published: (Springer Nature Singapore : Imprint: Springer, 2019.)

On the Learnability of Physically Unclonable Functions
by: Ganji, Fatemeh
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Model-Implementation Fidelity in Cyber Physical System Design
Published: (Springer International Publishing : Imprint: Springer, 2017.)

International Conference on Applications and Techniques in Cyber Security and Intelligence ATCI 2018 Applications and Techniques in Cyber Security and Intelligence /
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Information Fusion for Cyber-Security Analytics
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Advances in Memristors, Memristive Devices and Systems
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Ubiquitous Computing and Computing Security of IoT
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Real Time Control Engineering Systems And Automation /
by: Ng, Tian Seng
Published: (Springer Nature Singapore : Imprint: Springer, 2016.)

Flight Systems and Control A Practical Approach /
by: Ng, Tian Seng
Published: (Springer Nature Singapore : Imprint: Springer, 2018.)