System Analysis And Modeling Languages Methods And Tools For Industry 4 0
DOWNLOAD
Download System Analysis And Modeling Languages Methods And Tools For Industry 4 0 PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get System Analysis And Modeling Languages Methods And Tools For Industry 4 0 book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
System Analysis And Modeling Languages Methods And Tools For Industry 4 0
DOWNLOAD
Author : Pau Fonseca i Casas
language : en
Publisher: Springer Nature
Release Date : 2019-09-09
System Analysis And Modeling Languages Methods And Tools For Industry 4 0 written by Pau Fonseca i Casas and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2019-09-09 with Computers categories.
This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019. The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML, and the User Requirements Notation (URN). SAM 2019’s theme was “Languages, Methods, and Tools for Industry 4.0.”
System Analysis And Modeling Languages Methods And Tools For Systems Engineering
DOWNLOAD
Author : Ferhat Khendek
language : en
Publisher: Springer
Release Date : 2018-10-03
System Analysis And Modeling Languages Methods And Tools For Systems Engineering written by Ferhat Khendek and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018-10-03 with Computers categories.
This book constitutes the refereed proceedings of the 10th International Conference on System Analysis and Modeling, SAM 2018, held in Copenhagen Denmark, in October 2018. The 12 full papers and 2 short papers presented were carefully reviewed and selected from 24 submissions. The papers describe innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML and the User Requirements Notation (URN). This year’s edition of SAM will be under the theme “Languages, Methods, and Tools for Systems Engineering”, including languages and methods standardized by the ITU-T, and domain-specific languages. Also included are software engineering technologies, such as for requirements engineering, software verification and validation, and automated code generation.
Disruptive Technology Concepts Methodologies Tools And Applications
DOWNLOAD
Author : Management Association, Information Resources
language : en
Publisher: IGI Global
Release Date : 2019-07-05
Disruptive Technology Concepts Methodologies Tools And Applications written by Management Association, Information Resources and has been published by IGI Global this book supported file pdf, txt, epub, kindle and other format this book has been release on 2019-07-05 with Business & Economics categories.
The proliferation of entrepreneurship, technological and business innovations, emerging social trends and lifestyles, employment patterns, and other developments in the global context involve creative destruction that transcends geographic and political boundaries and economic sectors and industries. This creates a need for an interdisciplinary exploration of disruptive technologies, their impacts, and their implications for various stakeholders widely ranging from government agencies to major corporations to consumer groups and individuals. Disruptive Technology: Concepts, Methodologies, Tools, and Applications is a vital reference source that examines innovation, imitation, and creative destruction as critical factors and agents of socio-economic growth and progress in the context of emerging challenges and opportunities for business development and strategic advantage. Highlighting a range of topics such as IT innovation, business strategy, and sustainability, this multi-volume book is ideally designed for entrepreneurs, business executives, business professionals, academicians, and researchers interested in strategic decision making using innovations and competitiveness.
General Catalog
DOWNLOAD
Author : Iowa State University
language : en
Publisher:
Release Date : 1995
General Catalog written by Iowa State University and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1995 with Universities and colleges categories.
Companion Robots For Older Adults
DOWNLOAD
Author : Sofia Thunberg
language : en
Publisher: Linköping University Electronic Press
Release Date : 2024-05-06
Companion Robots For Older Adults written by Sofia Thunberg and has been published by Linköping University Electronic Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 2024-05-06 with categories.
This thesis explores, through a mixed-methods approach, what happens when companion robots are deployed in care homes for older adults by looking at different perspectives from key stakeholders. Nine studies are presented with decision makers in municipalities, care staff and older adults, as participants, and the studies have primarily been carried out in the field in care homes and activity centres, where both qualitative (e.g., observations and workshops) and quantitative data (surveys) have been collected. The thesis shows that companion robots seem to be here to stay and that they can contribute to a higher quality of life for some older adults. It further presents some challenges with a certain discrepancy between what decision makers want and what staff might be able to facilitate. For future research and use of companion robots, it is key to evaluate each robot model and potential use case separately and develop clear routines for how they should be used, and most importantly, let all stakeholders be part of the process. The knowledge contribution is the holistic view of how different actors affect each other when emerging robot technology is introduced in a care environment. Den här avhandlingen utforskar vad som händer när sällskapsrobotar införs på omsorgsboenden för äldre genom att titta på perspektiv från olika intressenter. Nio studier presenteras med kommunala beslutsfattare, vårdpersonal och äldre som deltagare. Studierna har i huvudsak genomförts i fält på särskilda boenden och aktivitetscenter där både kvalitativa- (exempelvis observationer och workshops) och kvantitativa data (enkäter) har samlats in. Avhandlingen visar att sällskapsrobotar verkar vara här för att stanna och att de kan bidra till en högre livskvalitet för vissa äldre. Den visar även på en del utmaningar med en viss diskrepans mellan vad beslutsfattare vill införa och vad personalen har möjlighet att utföra i sitt arbete. För framtida forskning och användning av sällskapsrobotar är det viktigt att utvärdera varje robotmodell och varje användningsområde var för sig och ta fram tydliga rutiner för hur de ska användas, och viktigast av allt, låta alla intressenter vara en del av processen. Kunskapsbidraget med avhandlingen är en helhetssyn på hur olika aktörer påverkar varandra när ny robotteknik introduceras i en vårdmiljö
Emergency Vehicle Approaching
DOWNLOAD
Author : Kajsa Weibull
language : en
Publisher: Linköping University Electronic Press
Release Date : 2024-10-17
Emergency Vehicle Approaching written by Kajsa Weibull and has been published by Linköping University Electronic Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 2024-10-17 with categories.
Driving an emergency vehicle can be difficult. The driver of the emergency vehicle must navigate, communicate with emergency services, often drive at high speeds, and take surrounding traffic into account. Civilian drivers are required by law to give way to emergency vehicles with lights and sirens activated. Despite this, they sometimes fail to move over. One reason is not noticing the emergency vehicle in time. This dissertation aims to understand how technology can support civilian drivers in their interactions with emergency vehicles. One form of technology used to make drivers move over is emergency vehicle lighting. The results of this dissertation show that alternative designs of emergency vehicle lighting can affect driver behavior and that the current designs are not always suited to promote the most desirable driver behavior. Another technological approach to supporting drivers in their interactions with emergency vehicles is the use of Cooperative Intelligent Transport Systems (C-ITS). One C-ITS service is the Emergency Vehicle Approaching (EVA) warning. An EVA warning is an early in-car warning sent out to the driver before being overtaken by an emergency vehicle, providing more time to move over. Three driving simulator studies with EVA warnings were conducted in this dissertation. The results indicate that EVA warnings make drivers move over more quickly and thereby decrease delay time for emergency vehicles. Furthermore, there is a learning effect when receiving multiple EVA warnings, implying that drivers move over more quickly once they are familiar with the system. One of the simulator studies used eye tracking and showed that EVA warnings make drivers scan mirrors earlier, compared to when not receiving an EVA warning. An EVA warning is distributed based on the most probable path of the emergency vehicle. If the driver of the emergency vehicle decides on another route, there is a risk of false EVA warnings. Therefore, this dissertation explored how false alarms, and false expectations of EVA warnings, affect drivers. Receiving false alarms makes drivers move over more slowly in future interactions and negatively affects attitudes toward the EVA system. Furthermore, wrongly expecting an EVA warning makes drivers less attentive to the road ahead. In conclusion, both emergency vehicle lighting and EVA warnings can support civilian drivers in their interactions with emergency vehicles. It can decrease the risks of both collisions and delays. However, to implement a large-scale deployment of C-ITS, Sweden needs digital infrastructure to support secure data exchange Att framföra ett utryckningsfordon är utmanande. Utryckningsföraren förväntas navigera, kommunicera med larmcentralen, framföra utryckningsfordonet i inte sällan höga hastigheter och samtidigt ta hänsyn till omgivande trafik. Bilister är enligt lag tvungna att lämna fri väg för utryckningsfordon med blåljus och sirener. Trots det misslyckas ibland förare med att lämna fri väg. En anledning är att de inte hinner uppfatta utryckningsfordonet i tid. Syftet med denna avhandling är att förstå hur teknik kan stödja förare vid interaktioner med utryckningsfordon. En form av teknik som används för att få förare att lämna fri väg är blåljus. Resultaten av denna avhandling visar att alternativa designlösningar för blåljus kan påverka förarnas beteende och att de nu-varande utformningarna inte alltid är optimala för att främja det mest önskvärda förarbeteendet. En annan metod för att stötta förare i deras interaktion med utryckningsfordon är uppkopplad fordonsteknik, så kallat Cooperative Intelligent Transport Systems (C-ITS). En typ av C-ITS-tjänst är Emergency Vehicle Approaching (EVA)-varningar. En EVA-varning är en tidig varning som skickas ut till bilisten innan utryckningsfordonet kör ikapp, vilket ger föraren mer tid att lämna fri väg. Tre förarsimulatorstudier med EVA-varningar genomfördes inom ramen för avhandlingen. Resultaten visar på att EVA-varningar kan få förare att lämna fri väg snabbare och därmed minska förseningar för utryckningsfordon. Dessutom finns det en inlärningseffekt med EVA varningar som innebär att förare lämnar fri väg snabbare när de är bekanta med EVA systemet. I en av simulatorstudierna användes ögonrörelsemätning som visade att EVA-varningar får förare att skanna av speglarna i bilen tidigare, jämfört med när de inte får någon EVA-varning. En EVA-varning distribueras baserat på den mest sannolika vägen för utryckningsfordonet. Om föraren av utryckningsfordonet väljer en annan väg finns det risk för falska EVA-varningar. I den här avhandlingen undersöktes därför hur falska larm och en falsk förväntan om EVA-varningar påverkar förare. Att ta emot falska larm påverkade förarnas framtida interaktioner och inställning till EVA-systemet. Dessutom gjorde en felaktig förväntan på en EVA-varning till att förarna var mindre uppmärksamma på vägen framför dem. Sammanfattningsvis kan både blåljus och EVA-varningar stödja civila förare i interaktionen med utryckningsfordon. Varningssystemen kan minska riskerna för både kollisioner och förseningar. För att genomföra en storskalig utbyggnad av C-ITS behöver Sverige dock en digital infrastruktur för att stödja säkert datautbyte.
Designing For Resilience
DOWNLOAD
Author : Vanessa Rodrigues
language : en
Publisher: Linköping University Electronic Press
Release Date : 2020-05-05
Designing For Resilience written by Vanessa Rodrigues and has been published by Linköping University Electronic Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 2020-05-05 with categories.
Services are prone to change in the form of expected and unexpected variations and disruptions, more so given the increasing interconnectedness and complexity of service systems today. These changes require service systems to be resilient and designed to adapt, to ensure that services continue to work smoothly. This thesis problematises the prevailing view and assumptions underpinning the current understanding of resilience in services. Drawing on literature from service management, service design, systems thinking and social-ecological resilience theory, this work investigates how service design can foster resilience in service systems. Supported by empirical input from three research projects in healthcare, the findings show service design can contribute to the adaptability and transformability of service systems through its holistic, human-centred, participatory and experimental approaches. Through the analysis, this research identifies key intervention points for cultivating service systems resilience through service design, including the design of service interactions, processes, enabling structures and multi-level governance. The study makes two important contributions. First, it extends the understanding of service systems resilience as the collective capacity for intentional action in responding to ongoing change, coordinated across scales in order to create value. This is supported by offering alternative assumptions about resilience in service. Second, it positions service design as an enabler of service resilience by explicitly linking design practice(s) to processes that contribute to resilience. By extending the understanding of service systems resilience, this thesis lays the groundwork for future research at the intersection of service design, systemic change and resilience.
Parameterized Verification Of Synchronized Concurrent Programs
DOWNLOAD
Author : Zeinab Ganjei
language : en
Publisher: Linköping University Electronic Press
Release Date : 2021-03-19
Parameterized Verification Of Synchronized Concurrent Programs written by Zeinab Ganjei and has been published by Linköping University Electronic Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 2021-03-19 with categories.
There is currently an increasing demand for concurrent programs. Checking the correctness of concurrent programs is a complex task due to the interleavings of processes. Sometimes, violation of the correctness properties in such systems causes human or resource losses; therefore, it is crucial to check the correctness of such systems. Two main approaches to software analysis are testing and formal verification. Testing can help discover many bugs at a low cost. However, it cannot prove the correctness of a program. Formal verification, on the other hand, is the approach for proving program correctness. Model checking is a formal verification technique that is suitable for concurrent programs. It aims to automatically establish the correctness (expressed in terms of temporal properties) of a program through an exhaustive search of the behavior of the system. Model checking was initially introduced for the purpose of verifying finite‐state concurrent programs, and extending it to infinite‐state systems is an active research area. In this thesis, we focus on the formal verification of parameterized systems. That is, systems in which the number of executing processes is not bounded a priori. We provide fully-automatic and parameterized model checking techniques for establishing the correctness of safety properties for certain classes of concurrent programs. We provide an open‐source prototype for every technique and present our experimental results on several benchmarks. First, we address the problem of automatically checking safety properties for bounded as well as parameterized phaser programs. Phaser programs are concurrent programs that make use of the complex synchronization construct of Habanero Java phasers. For the bounded case, we establish the decidability of checking the violation of program assertions and the undecidability of checking deadlock‐freedom. For the parameterized case, we study different formulations of the verification problem and propose an exact procedure that is guaranteed to terminate for some reachability problems even in the presence of unbounded phases and arbitrarily many spawned processes. Second, we propose an approach for automatic verification of parameterized concurrent programs in which shared variables are manipulated by atomic transitions to count and synchronize the spawned processes. For this purpose, we introduce counting predicates that related counters that refer to the number of processes satisfying some given properties to the variables that are directly manipulated by the concurrent processes. We then combine existing works on the counter, predicate, and constrained monotonic abstraction and build a nested counterexample‐based refinement scheme to establish correctness. Third, we introduce Lazy Constrained Monotonic Abstraction for more efficient exploration of well‐structured abstractions of infinite‐state non‐monotonic systems. We propose several heuristics and assess the efficiency of the proposed technique by extensive experiments using our open‐source prototype. Lastly, we propose a sound but (in general) incomplete procedure for automatic verification of safety properties for a class of fault‐tolerant distributed protocols described in the Heard‐Of (HO for short) model. The HO model is a popular model for describing distributed protocols. We propose a verification procedure that is guaranteed to terminate even for unbounded number of the processes that execute the distributed protocol.
Orchestrating A Resource Aware Edge
DOWNLOAD
Author : Klervie Toczé
language : en
Publisher: Linköping University Electronic Press
Release Date : 2024-09-02
Orchestrating A Resource Aware Edge written by Klervie Toczé and has been published by Linköping University Electronic Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 2024-09-02 with Electronic books categories.
More and more services are moving to the cloud, attracted by the promise of unlimited resources that are accessible anytime, and are managed by someone else. However, hosting every type of service in large cloud datacenters is not possible or suitable, as some emerging applications have stringent latency or privacy requirements, while also handling huge amounts of data. Therefore, in recent years, a new paradigm has been proposed to address the needs of these applications: the edge computing paradigm. Resources provided at the edge (e.g., for computation and communication) are constrained, hence resource management is of crucial importance. The incoming load to the edge infrastructure varies both in time and space. Managing the edge infrastructure so that the appropriate resources are available at the required time and location is called orchestrating. This is especially challenging in case of sudden load spikes and when the orchestration impact itself has to be limited. This thesis enables edge computing orchestration with increased resource-awareness by contributing with methods, techniques, and concepts for edge resource management. First, it proposes methods to better understand the edge resource demand. Second, it provides solutions on the supply side for orchestrating edge resources with different characteristics in order to serve edge applications with satisfactory quality of service. Finally, the thesis includes a critical perspective on the paradigm, by considering sustainability challenges. To understand the demand patterns, the thesis presents a methodology for categorizing the large variety of use cases that are proposed in the literature as potential applications for edge computing. The thesis also proposes methods for characterizing and modeling applications, as well as for gathering traces from real applications and analyzing them. These different approaches are applied to a prototype from a typical edge application domain: Mixed Reality. The important insight here is that application descriptions or models that are not based on a real application may not be giving an accurate picture of the load. This can drive incorrect decisions about what should be done on the supply side and thus waste resources. Regarding resource supply, the thesis proposes two orchestration frameworks for managing edge resources and successfully dealing with load spikes while avoiding over-provisioning. The first one utilizes mobile edge devices while the second leverages the concept of spare devices. Then, focusing on the request placement part of orchestration, the thesis formalizes it in the case of applications structured as chains of functions (so-called microservices) as an instance of the Traveling Purchaser Problem and solves it using Integer Linear Programming. Two different energy metrics influencing request placement decisions are proposed and evaluated. Finally, the thesis explores further resource awareness. Sustainability challenges that should be highlighted more within edge computing are collected. Among those related to resource use, the strategy of sufficiency is promoted as a way forward. It involves aiming at only using the needed resources (no more, no less) with a goal of reducing resource usage. Different tools to adopt it are proposed and their use demonstrated through a case study.
Beyond Recognition
DOWNLOAD
Author : Le Minh-Ha
language : en
Publisher: Linköping University Electronic Press
Release Date : 2024-05-06
Beyond Recognition written by Le Minh-Ha and has been published by Linköping University Electronic Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 2024-05-06 with categories.
This thesis addresses the need to balance the use of facial recognition systems with the need to protect personal privacy in machine learning and biometric identification. As advances in deep learning accelerate their evolution, facial recognition systems enhance security capabilities, but also risk invading personal privacy. Our research identifies and addresses critical vulnerabilities inherent in facial recognition systems, and proposes innovative privacy-enhancing technologies that anonymize facial data while maintaining its utility for legitimate applications. Our investigation centers on the development of methodologies and frameworks that achieve k-anonymity in facial datasets; leverage identity disentanglement to facilitate anonymization; exploit the vulnerabilities of facial recognition systems to underscore their limitations; and implement practical defenses against unauthorized recognition systems. We introduce novel contributions such as AnonFACES, StyleID, IdDecoder, StyleAdv, and DiffPrivate, each designed to protect facial privacy through advanced adversarial machine learning techniques and generative models. These solutions not only demonstrate the feasibility of protecting facial privacy in an increasingly surveilled world, but also highlight the ongoing need for robust countermeasures against the ever-evolving capabilities of facial recognition technology. Continuous innovation in privacy-enhancing technologies is required to safeguard individuals from the pervasive reach of digital surveillance and protect their fundamental right to privacy. By providing open-source, publicly available tools, and frameworks, this thesis contributes to the collective effort to ensure that advancements in facial recognition serve the public good without compromising individual rights. Our multi-disciplinary approach bridges the gap between biometric systems, adversarial machine learning, and generative modeling to pave the way for future research in the domain and support AI innovation where technological advancement and privacy are balanced.