Search results: Found 20

Listing 1 - 10 of 20 << page
of 2
>>
Sort by
The Informatics of Time and Events

Author:
ISBN: 9782722604292 Year: Language: English
Publisher: Collège de France
Added to DOAB on : 2016-11-14 17:16:04
License: OpenEdition licence for Books

Loading...
Export citation

Choose an application

Abstract

The management of time and events is central to various domains of informatics, from embedded circuits and software programs in all sorts of objects to musical creation, or the simulation of physical phenomena. Yet this subject receives little attention in classical informatics. This lecture presents different types of time and event modelling associated with new programming languages. It discusses the notions of density of the moment and of hierarchical and multiform times created by the rep...

Real-Time Embedded Systems

Authors: ---
ISBN: 9783038975090 9783038975106 Year: Pages: 188 DOI: 10.3390/books978-3-03897-510-6 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Electrical and Nuclear Engineering
Added to DOAB on : 2019-01-10 12:20:27
License:

Loading...
Export citation

Choose an application

Abstract

Real-time and networked embedded systems are important bidirectional bridges between the physical and the information worlds. Embedded intelligence is increasingly pervading industry, infrastructure, and public and private spaces, being identified as an emerging societal and economic “neural system” that supports both societal changes and economic growth. As cost/performance improves, objects connected in everyday life increasingly rely on embedded intelligence in an ever-growing array of application fields, specialized technologies, and engineering disciplines.While this process gradually builds the IoT, it exposes a series of specific non-trivial timing and other extra-functional requirements and system properties that are less common in other computing areas. The ten articles in this book propose solutions to the specific open problems of cyber–physical and real-time embedded systems applicable to both traditional application domains, such as industrial automation and control, energy management, automotive, aerospace and defense systems, as well as emerging domains, such as medical devices, household appliances, mobile multimedia, gaming, and entertainment systems.]

A Journey of Embedded and Cyber-Physical Systems

Author:
ISBN: 9783030474874 Year: Pages: 176 DOI: 10.1007/978-3-030-47487-4 Language: English
Publisher: Springer Nature
Subject: Agriculture (General)
Added to DOAB on : 2020-09-01 00:02:28
License:

Loading...
Export citation

Choose an application

Abstract

This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.

QoS in Wireless Sensor/Actuator Networks and Systems

Author:
ISBN: 9783038973621 9783038973638 Year: Pages: 200 DOI: 10.3390/books978-3-03897-363-8 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Computer Science --- Electrical and Nuclear Engineering
Added to DOAB on : 2018-11-26 10:59:38
License:

Loading...
Export citation

Choose an application

Abstract

Wireless sensor/actuators networks (WSANs) are being increasingly used in a panoply of applications, such as industrial automation, process control, ambient assisted living, structural health monitoring, and homeland security. Most of these applications require specific quality-of-service (QoS) guarantees from their underlying communication infrastructures (regardless of their wireless, wired, or hybrid nature).This book gathers together an extremely rich set of contributions, addressing several WSAN domains and sharing QoS as a common denominator. Eight papers have made it through a rigorous and iterative peer review process (three reviews per paper, at least two review rounds), involving 38 authors from all over the world (North and South America, Europe, Asia, and Australia) from academia, industry, and the military. Each paper features at least one reference author which is highly reputed in this scientific domain, totaling over 100,000 citations altogether.

Dependable Embedded Systems

Authors: --- --- ---
Book Series: Embedded Systems ISBN: 9783030520175 Year: Pages: 608 DOI: 10.1007/978-3-030-52017-5 Language: English
Publisher: Springer Nature
Subject: Agriculture (General) --- Computer Science
Added to DOAB on : 2020-12-16 00:03:02
License:

Loading...
Export citation

Choose an application

Abstract

This Open Access book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have emerged particularly within the last five years. This book introduces the most prominent reliability concerns from today’s points of view and roughly recapitulates the progress in the community so far. Unlike other books that focus on a single abstraction level such circuit level or system level alone, the focus of this book is to deal with the different reliability challenges across different levels starting from the physical level all the way to the system level (cross-layer approaches). The book aims at demonstrating how new hardware/software co-design solution can be proposed to ef-fectively mitigate reliability degradation such as transistor aging, processor variation, temperature effects, soft errors, etc. Provides readers with latest insights into novel, cross-layer methods and models with respect to dependability of embedded systems; Describes cross-layer approaches that can leverage reliability through techniques that are pro-actively designed with respect to techniques at other layers; Explains run-time adaptation and concepts/means of self-organization, in order to achieve error resiliency in complex, future many core systems.

Model-Based Engineering of Collaborative Embedded Systems

Authors: --- --- --- --- et al.
ISBN: 9783030621360 Year: Pages: 404 DOI: 10.1007/978-3-030-62136-0 Language: English
Publisher: Springer Nature
Subject: Computer Science --- Business and Management --- Agriculture (General)
Added to DOAB on : 2021-01-15 00:50:00
License:

Loading...
Export citation

Choose an application

Abstract

This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany’s economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years.

Fundamental Approaches to Software Engineering

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030452346 Year: Pages: 552 DOI: 10.1007/978-3-030-45234-6 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:29:57
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030532918 Year: Pages: 683 DOI: 10.1007/978-3-030-53291-8 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-09-01 00:03:38
License:

Loading...
Export citation

Choose an application

Abstract

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.

Computational Intelligence in Photovoltaic Systems

Authors: ---
ISBN: 9783039210985 9783039210992 Year: Pages: 180 DOI: 10.3390/books978-3-03921-099-2 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering
Added to DOAB on : 2019-12-09 16:10:12
License:

Loading...
Export citation

Choose an application

Abstract

Photovoltaics, among the different renewable energy sources (RES), has become more popular. In recent years, however, many research topics have arisen as a result of the problems that are constantly faced in smart-grid and microgrid operations, such as forecasting of the output of power plant production, storage sizing, modeling, and control optimization of photovoltaic systems. Computational intelligence algorithms (evolutionary optimization, neural networks, fuzzy logic, etc.) have become more and more popular as alternative approaches to conventional techniques for solving problems such as modeling, identification, optimization, availability prediction, forecasting, sizing, and control of stand-alone, grid-connected, and hybrid photovoltaic systems. This Special Issue will investigate the most recent developments and research on solar power systems. This Special Issue “Computational Intelligence in Photovoltaic Systems” is highly recommended for readers with an interest in the various aspects of solar power systems, and includes 10 original research papers covering relevant progress in the following (non-exhaustive) fields: Forecasting techniques (deterministic, stochastic, etc.); DC/AC converter control and maximum power point tracking techniques; Sizing and optimization of photovoltaic system components; Photovoltaics modeling and parameter estimation; Maintenance and reliability modeling; Decision processes for grid operators.

Tools and Algorithms for the Construction and Analysis of Systems

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030451905 Year: Pages: 501 DOI: 10.1007/978-3-030-45190-5 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:00
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

Listing 1 - 10 of 20 << page
of 2
>>
Sort by