Search

This book constitutes the refereed proceedings of the 7th IFIP WG 5.5 International Cross-Domain Conference on Internet of Things, IFIPIoT 2024, in Nice, France, in November 2024.737 The 13 full papers and 4 short papers presented were carefully reviewed and selected from a total of 28 submissions to the main conference. They were organized in topical sections as follows: Hardware/Software Solutions for IoT and CPS; Electronics and Signal Processing for IoT ; Networking and Communications Technology for IoT; Artificial Intelligence and Machine Learning Technologies for IoT; Cyber Security/Privacy/Trust for IoT and CPS and IoT or CPS Applications and Use cases.

This book constitutes the refereed proceedings of the workshops held in conjunction with the 7th IFIP WG 5.5 International Cross-Domain Conference on Internet of Things, IFIPIoT 2024, in Nice, France, in November 2024. For the conference, including the workshops, a total of 33 submissions has been received. This volume includes 5 workshop papers and 3 poster papers. They have been organized in the following topical sections: IFIP IoT'24 Posters Session; GRAAL4IoT'24: First International Workshop on the Design, Verification, and Validation of IoT Systems and STAND4IoT'24: First International Workshop on IoT Standards.

This book constitutes the proceedings of the Workshops held in conjunction with the 43rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2024, which took place in Florence, Italy, during September 2024. The 36 papers included in this book were carefully reviewed and selected from a total of 64 submissions to the following workshops: DECSoS 2024 – 19th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems SASSUR 2024 - 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems TOASTS 2024 – Towards A Safer Systems'Architecture Through Security WAISE 2024 – 7th International Workshop on Artificial Intelligence Safety Engineering

This book provides a comprehensive learning journey aimed at helping you master Ansible and efficiently automate a range of enterprise network devices, such as routers, switches, firewalls, Wireless LAN Controller (WLC), and Linux servers. Introduction to Ansible Network Automation combines the fundamentals of three books into one, covering basics of Linux administration, Ansible concepts, and Ansible network automation. Authors Brendan Choi and Erwin Medina have created a structured learning path that starts with the fundamentals and allows you to progressively enhance your skill sets with each chapter. Part I serves as an Ansible primer, guiding you through Linux basics using WSL on Windows 11 and assisting in the setup of your learning environment. Part II covers essential Ansible concepts through practical lab activities involving four Linux servers. In Part III, you will learn how to apply your Linux skills from Part I and the concepts from Part II to real-world scenarios by creating Ansible automation YAML scripts. What sets this book apart is its unique focus on Ansible and Network Automation, combined with a strong emphasis on understanding Linux. It is specifically designed for novice network automation engineers and students, assuming no prior Linux expertise, and provides first-hand experience starting from scratch. It also offers practical insights by sharing real-life examples of Ansible playbooks derived from production enterprise infrastructure, allowing you to gain an understanding of how Ansible can be effectively applied in real-world enterprise network environments. Upon completion of this book, you will have developed foundational skills in Ansible network automation and general Linux administration, and will understand how to apply this newly acquired knowledge to real-life scenarios. What You Will Learn Develop a comprehensive understanding of Ansible and its essentialconcepts for automating enterprise network devices and applying them to real-world scenariosMaster the basics of Ansible operations within Linux automation and progress to applying Ansible concepts specifically to network device automationExecute Ansible ad-hoc commands and playbooks for a range of network operational tasks, including configuration management, software and system updates, and upgradesWork with real-life examples of Ansible playbooks derived from actual enterprise infrastructure, gaining practical experience in writing Ansible YAML scriptsAcquire the skills to automate network operations using Ansible, streamline network management processes, and replace manual-driven tasks with directives in Ansible playbooks Who is This Book For Network, security, UC and systems engineers, as well as technical leaders, IT managers and network students.

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023.The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions. - - 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023)- - 18th International Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2023)- - 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023)- - Second International Workshop on Security and Safety Interactions (SENSEI 2023)- - First International Workshop on Safety/ Reliability/ Trustworthiness of Intelligent Transportation Systems (SRToITS 2023) - - 6th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2023)

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022.The 23 full papers included in this volume were carefully reviewed and selected from 27 submissions. · 17th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021) · 3rd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2022) · 9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2022) · 1st International Workshop on Security and Safety Interaction (SENSEI 2022) · 3rd International Workshop on Underpinningsfor Safe Distributed Artificial Intelligence (USDAI 2022) · 5th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2022)

Master ARM templates, Bicep, and other Azure Infrastructure-as-Code tools, techniques, and practices to build infrastructure on the Azure cloud.In Azure Infrastructure as Code you will learn how to: Create reusable infrastructure templates using advanced features of the ARM (Azure Resource Manager) syntax Write templates with the Azure Bicep domain-specific language (DSL) Test ARM and Bicep templates Deploy templates using deployment pipelines Guarantee repeated outcomes when you reuse templates to replicate infrastructure Share templates between teams Provision templates to provide standards and Azure Policy to enforce them Orchestrate complex deployments using Azure DevOps and GitHub Actions Pre-provision environments for other teams with deployment stacks Azure Infrastructure as Code teaches you to use Azure's native infrastructure as code (IaC) tools, like ARM and Bicep, to build, manage, and scale infrastructure with just a few lines of code. You'll discover ARM templates, deployment stacks, and the powerful new language Bicep. See how easy they make it to create new environments, safely make infrastructure changes, govern your resources using Azure Policy, and prevent configuration drift. Loaded with in-depth coverage of syntax and lots of illustrative examples, this hands-on guide is a must-read for anyone looking to expand their knowledge of provisioning. About the technology Automating tasks like provisioning servers, operating systems, and storage, saves time and radically increases consistency. The Infrastructure as Code (IaC) approach brings the tools and practices of application deployment, such as Github Actions, automated testing, and pipeline-driven deployments, to infrastructure components. With Azure's native IaC tools, you can create whole new infrastructures with just a few lines of code using declarative specifications and an intuitive domain-specific language. About the book Azure Infrastructure as Code shows you how to manage and automate your infrastructure using Azure's IaC tools. In this practical guide, you'll discover how to set up Azure Resource Manager (ARM) templates and to script infrastructure creation using the Bicep DSL. You'll also explore advanced topics such as testing, reusing templates, and defining policies as code. You'll even build a complete CI/CD pipeline that can orchestrate a complex infrastructure deployment across multiple regions. What's inside Create reusable infrastructure templates Write templates with the Azure Bicep domain-specific language Deploy templates using deployment pipelines Share templates between teams About the reader For operations, infrastructure, or software engineers with some Azure experience. About the author Henry Been is a freelance DevOps and Azure architect and consultant. Erwin Staal is an Azure architect and DevOps consultant. Eduard Keilholz is a cloud solution architect. Table of Contents PART 1 INTRODUCTION 1 Infrastructure as Code 2 Writing your first ARM template PART 2 TAKING IT UP A NOTCH 3 Writing ARM templates 4 Deploying ARM templates 5 Writing advanced ARM templates 6 Simplifying ARM templates using the Bicep DSL 7 Complex deployments using Azure DevOps 8 Complex deployments using GitHub Actions 9 Testing ARM templates PART 3 ADVANCED TOPICS 10 Template specs and Bicep registries: Building a repository of templates 11 Using deployment stacks for grouping resources 12 Governing your subscriptions using Azure Policy 13 Case studies

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2021, the 40th International Conference on Computer Safety, Reliability and Security, which took place in York, UK, in September 2021. The 26 regular papers included in this volume were carefully reviewed and selected from 34 submissions. The workshops included in this volume are: DECSoS 2021: 16th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-SystemsWAISE 2021: Fourth International Workshop on Artificial Intelligence Safety EngineeringDepDevOps 2021: Second International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical SystemsUSDAI 2021: Second International Workshop on Underpinnings for Safe Distributed AI MAPSOD 2021: First International Workshop on Multi-concern Assurance Practices in Software Design

Dit boek is een oproep. Een oproep aan organisaties en instellingen in Nederland die een rol spelen in de zorg. Aan ziekenhuizen, thuis- en mantelzorginstellingen, instellingen voor geestelijke gezondheidszorg, apothekers, huisartsenpraktijken en zorgverzekeraars. Dit boek richt zich op alle soorten van zorgorganisaties, dus ook andere organisatievormen dan instellingen, en zowel de organisaties die rechtstreekse zorg verschaffen (zoals ziekenhuizen en huisartsenpraktijken) als de organisaties die op niet-rechtstreekse wijze met de zorg te maken hebben (zoals zorgverzekeraars en het Ministerie van VWS). Dit boek gaat over informatievoorziening in de Zorg: het geheel van activiteiten dat ertoe dient een organisatie de informatie te verschaffen die nodig is voor besturen, het doen functioneren en het beheersen van de organisatie en de daarover af te leggen verantwoording. Eenvoudiger gezegd: over de manier waarop de juiste informatie op de juiste plaats beschikbaar is zodat de juiste zorg op de juiste wijze verleend kan worden. Omdat tegenwoordig informatie in de meeste gevallen wordt vastgelegd, verstuurd en verzonden door middel van technologie (met name computersystemen en netwerken) gaat dit boek ook over informatietechnologie (IT). Toch is dit geen boek voor technische mensen in de IT, maar juist gericht op de mensen die in hun dagelijkse werk van de informatievoorziening afhankelijk zijn en gericht op degenen die verantwoordelijk zijn voor het besturen van zorginstellingen en daarmee voor het besturen van de informatievoorziening in deze instellingen.

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are: ASSURE 2019: 7th International Workshop on Assurance Cases for Software-Intensive Systems DECSoS 2019: 14th ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems SASSUR 2019: 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems STRIVE 2019: Second International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms WAISE 2019: Second International Workshop on Artificial Intelligence Safety Engineering

This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2018, the 37th International Conference on Computer Safety, Reliability, and Security, held in Västerås, Sweden, in September 2018. The 28 revised full papers and 21 short papers presented together with 5 introductory papers to each workshop were carefully reviewed and selected from 73 submissions. This year's workshops are: ASSURE 2018 – Assurance Cases for Software-Intensive Systems; DECSoS 2018 – ERCIM/EWICS/ARTEMIS Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2018 – Next Generation of System Assurance Approaches for Safety-Critical Systems; STRIVE 2018 – Safety, securiTy, and pRivacy In automotiVe systEms; and WAISE 2018 – Artificial Intelligence Safety Engineering.The chapter'“Boxing Clever”: Practical Techniques for Gaining Insights into Training Data and Monitoring Distribution Shift'is available open access under an Open GovernmentLicense via link.springer.com.

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.

This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewed and selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analysis and testing; safety analysis and assessment; safety and security.

This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016. The 30 revised full papers presented together with 4 short and 5 invited papers were carefully reviewed and selected from numerous submissions. This year's workshop are: ASSURE 2016 - Assurance Cases for Software-intensive Systems; DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems; and TIPS 2016 – Timing Performance in Safety Engineering.

This volume contains the thoroughly refereed post-conference proceedings of the Second International Conference on Exascale Applications and Software, EASC 2014, held in Stockholm, Sweden, in April 2014. The 6 full papers presented together with 6 short papers were carefully reviewed and selected from 17 submissions. They are organized in two topical sections named: toward exascale scientific applications and development environment for exascale applications.

For trainers free additional material of this book is available. This can be found under the'Training Material'tab. Log in with your trainer account to access the material. Voor trainers is er gratis extra materiaal bij dit boek beschikbaar. Dit is te vinden onder het tabblad ‘Training Material’. Log in met uw trainersaccount om het materiaal te raadplegen. Enterprise-architectuur wint steeds meer aan belang. Het is niet alleen de toenemende complexiteit in IT en de alsmaar groeiende behoefte aan informatie, maar ook de complexere manieren van zaken doen die organisaties noopt om op samenhang te sturen. In steeds meer organisaties zijn dan ook architecten werkzaam, niet alleen in de IT, maar ook in de business. Langzamerhand wordt het vakgebied enterprise-architectuur volwassen. Eén van de verschijnselen is het ontstaan van aanpakken, methoden en talen om enterprise-architectuur te classificeren, te beschrijven en te implementeren. De praktijk wijst uit dat het niet gemakkelijk is om de meest geschikte aanpak of methode te kiezen. Aanpakken en methoden zijn niet vergelijkbaar en eerder complementair dan elkaar uitsluitend. Het lijkt alsof je appels en peren vergelijkt. Daarnaast is iedere organisatie weer anders en hangt het van de manier en volwassenheid van het bedrijven van enterprise-architectuur af, welke methode daar het beste bij past. Dit alles maakt het kiezen van dé enterprise-architectuurmethode voor een organisatie tot een hachelijke aangelegenheid.

This book constitutes the proceedings of the 5th International IFIP Working Conference on Enterprise Interoperability (IWEI 2013), held in Enschede, The Netherlands, during March 27–28, 2013. The theme for IWEI 2013 was “Information Services and Processes for the Interoperable Economy and Society.”The 15 full papers presented in this volume were carefully selected from 35 submissions. The selection was based on a thorough review process, in which each paper was reviewed by at least three experts in the field. The papers are representative of the current research activities in the area of enterprise interoperability and are grouped into six sections: enterprise service interoperability, enterprise interoperability in sectors, interoperability methodology, interoperability for specific application types, strategic and tactical aspects of enterprise interoperability, and ontology-based interoperability. Two keynotes and an invited paper complete this volume.

Im Tagungsband zur Informationstagung'Mikroelektronik 87'werden die in Form von Kurzvorträgen und Posters dargebotenen Beiträge in übersichtlicher Form präsentiert und geben einen guten Überblick über den aktuellen Forschungs- und Wissensstand zu den Themenkreisen'Technologie und Zuverlässigkeit von Bauteilen und Systemen','Sensoren in Industrie und Umweltschutz','Elektronik im Verkehr','Nachrichtentechnik und Datenkommunikation','Medizintechnik und Biologie'und'Weltraum und Satellitentechnik'. Die Autoren kommen aus Industrie und Forschung, so daß sowohl theorie- als auch praxisbezogene Erkenntnisse und Produkte vorgestellt werden. Die Tagung'Mikroelektronik'findet seit dem Jahr 1975 im Abstand von zwei Jahren statt und hat seitdem eine kontinuierliche Ausweitung im Vortragsangebot und im Publikumsinteresse erfahren. Der Tagungsband soll dazu beitragen, einer noch größeren Zahl von Interessenten eine Überschau über Stand und Zukunft der Mikroelektronik sowie Berichte über konkrete Applikationen, Methoden und Entwicklungen zu geben.

Pro Spring MVC provides in-depth coverage of Spring MVC and Spring Web Flow, two highly customizable and powerful web frameworks brought to you by the developers and community of the Spring Framework. Spring MVC is a modern web application framework built upon the Spring Framework, and Spring Web Flow is a project that complements Spring MVC for building reusable web controller modules that encapsulate rich page navigation rules. Along with detailed analysis of the code and functionality, plus the first published coverage of Spring Web Flow 2.x, this book includes numerous tips and tricks to help you get the most out of Spring MVC, Spring Web Flow, and web development in general. Spring MVC and Spring Web Flow have been upgraded in the new Spring Framework 3.1 and are engineered with important considerations for design patterns and expert object-oriented programming techniques. This book explains not only the design decisions of the frameworks, but also how you can apply similar designs and techniques to your own code. This book takes great care in covering every inch of Spring MVC and Spring Web Flow to give you the complete picture. Along with all the best known features of these frameworks, you'll discover some new hidden treasures. You'll also learn how to correctly and safely extend the frameworks to create customized solutions. This book is for anyone who wishes to write robust, modern, and useful web applications with the Spring Framework.

SAFECOMP'96 contains papers presented at the 15th International Conference on Computer Safety, Reliability and Security held in Vienna, Austria, 23-25 October 1996. The conference aimed to provide an opportunity for technical developers and users to discuss and review their experiences, to consider the best technologies currently available, and to identify the skills and technologies required for the future. SAFECOMP'96 focuses on critical computer applications and is intended as a platform for technology transfer between academia, industry and research institutions. SAFECOMP'96 will be of interest to all those in universities, research institutions, industry and business who want to be well-informed about the current international state of the art in computer safety, reliability and security.

Computers and microprocessors are indispensable in modern technical systems, their deployment spanning the domains automotive, railway, aerospace, and transportation, security, energy supply, telecommunication, critical infrastructures and process ind- tries. They perform tasks that a few decades ago were very difficult if not impossible. As they perform these tasks with increasing efficiency, more and more tasks are shifted from hardware to software, which means that the dependability of computer systems becomes crucial for the safety, security and reliability of technical systems. With the so-called “embedded systems” (becoming more and more intelligent, networked and co-operating with each other, with humans and the environment) computers have invaded all aspects of daily life. New paradigms have arisen, like ubiquitous computing, systems-of-systems, energy and resource awareness, enormous complexity issues and the like, requiring a more holistic systems view as well. th So, after 31 years of SAFECOMP, the emphasis of the 29 event is on critical - bedded systems, which are almost omnipresent. Their impact on our lives, risks and challenges are often not well understood (underestimated or exaggerated). The p- mary issue is to cope with complexity, new failure modes and resource management, due to shrinking feature size, multi-core systems and management of multiple variants, while maintaining dependability properties and robustness.

Spring Web Flow is an exciting open-source framework for developing Java web applications. The framework improves productivity by addressing three major pain–points facing web application developers: user interface navigation control, state management, and modularity. The Definitive Guide to Spring Web Flow covers Spring Web Flow in detail by explaining its motivation and feature set, as well as providing practical guidance for using the framework to develop web applications successfully in a number of environments.

Om te voorkomen dat de productiebedrijven vertrekken naar de goedkopere landen, moeten de Nederlandse bedrijven alles op alles zetten om efficiënt en effectief te produceren. Standaardiseren, mechaniseren en automatiseren zijn hoogst noodzakelijk. Dit praktische handboek legt stap voor stap uit hoe het automatiseren van productieprocessen succesvol opgezet wordt. De theorie is gebaseerd op de internationale standaard ISA-95. Praktijkvoorbeelden van British American Tobacco, Corus, Friesland Foods, Ovako en andere Nederlandse bedrijven komen uit de persoonlijke ervaringen van de auteurs. Nog nooit eerder kon u op deze manier in de keuken kijken van deze internationale bedrijven. Checklists en werkbladen kunnen direct ingevuld worden. Er is eigenlijk geen reden meer om uw automatiseringsproject nog langer uit te stellen of maar half op te starten. Aan de slag dus.