Search results:
Found 20
Listing 1 - 10 of 20 | << page >> |
Sort by
|
Choose an application
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...
Choose an application
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.]
Embedded Systems --- Real-Time Systems --- Cyber-Physical Systems --- Internet of Things (IoT)
Choose an application
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.
Circuits and Systems --- Cyber-physical systems, IoT --- Electronics and Microelectronics, Instrumentation --- Electronic Circuits and Systems --- Cyber-Physical Systems --- cyber-physical systems --- embedded systems --- model verification --- software runtime systems --- real-time computing --- open-access embedded systems --- Electronics: circuits & components --- Electrical engineering --- Cybernetics & systems theory --- Electronics engineering
Choose an application
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.
quality-of-service --- QoS --- reliability --- timeliness --- real-time --- mobility --- scalability --- wireless sensor networks --- sensor/actuator networks --- networked embedded systems --- low-power wireless networks --- energy-aware protocols --- cyber-physical systems --- routing --- MAC --- IEEE 802.15.4e --- network calculus --- LoRa --- SigFox --- battery-powered devices --- unmanned aerial vehicles, UAVs --- swarms communication --- RSSI localization --- scheduling --- decision-centric resource management
Choose an application
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.
Circuits and Systems --- Cyber-physical systems, IoT --- Processor Architectures --- Electronic Circuits and Systems --- Cyber-Physical Systems --- Fault-Tolerant Computing --- Reliability Enhancers in Embedded Systems --- SoCs based on cross-layer-reliability --- System-Level Reliability Analysis --- Dependable Software Execution --- Open access --- Electronics: circuits & components --- Electrical engineering --- Cybernetics & systems theory --- Computer architecture & logic design
Choose an application
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.
Software Engineering --- Software Management --- Automotive Engineering --- Special Purpose and Application-Based Systems --- IT in Business --- Model-Driven Software Development --- Requirements Engineering --- Automotive Software Engineering --- Embedded Systems --- Open Access --- SPES Methodology --- Simulation --- Co-Design of Systems --- Business mathematics & systems --- Business applications --- Automotive technology & trades --- Automotive (motor mechanic) skills --- Expert systems / knowledge-based systems
Choose an application
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.
Software Engineering --- Special Purpose and Application-Based Systems --- Control Structures and Microprogramming --- Computer System Implementation --- Information Systems and Communication Service --- Artificial Intelligence --- open access --- software engineering --- requirements engineering --- model-based design --- software analysis --- testing --- software architectures --- security --- model transformations --- software evolution --- software product lines --- architecting --- artificial intelligence --- computer programming --- computer systems --- embedded systems --- mathematics --- software architecture --- software design --- Expert systems / knowledge-based systems --- Algorithms & data structures --- Systems analysis & design --- Computer networking & communications --- Artificial intelligence
Choose an application
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.
Software Engineering --- Theory of Computation --- Artificial Intelligence --- Computer Systems Organization and Communication Networks --- Computer Hardware --- Simulation and Modeling --- Computer Engineering and Networks --- Computer Science --- architecture verification and validation --- artificial intelligence --- automata theory --- computer systems --- correlation analysis --- distributed computer systems --- embedded systems --- formal languages --- formal logic --- linguistics --- model checking --- programming languages --- semantics --- software architecture --- software design --- software quality --- verification and validation --- Open Access --- Computer science --- Mathematical theory of computation --- Artificial intelligence --- Computer networking & communications --- Computer hardware --- Computer modelling & simulation
Choose an application
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.
demand response --- genetic algorithm --- renewable energy --- unit commitment --- uncertainty --- artificial neural network --- day-ahead forecast --- ensemble methods --- harmony search meta-heuristic algorithm --- solar radiation --- photovoltaic --- tilt angle --- orientation --- smart photovoltaic system blind --- prototype model --- photovoltaic panel --- tracking system --- monitoring system --- photovoltaic --- battery --- integrated storage --- PV cell temperature --- thermal model --- thermal image --- single-diode photovoltaic model --- online diagnosis --- genetic algorithm --- embedded systems --- photovoltaics --- power forecasting --- artificial neural networks --- solar cell --- metaheuristic algorithm --- electrical parameters --- analytical methods --- firefly algorithm --- statistical errors --- photovoltaics --- MPPT algorithm --- evolutionary algorithms --- particle swarm optimization --- solar photovoltaic --- parameter extraction --- symbiotic organisms search --- metaheuristic --- computational intelligence --- day-ahead forecast --- photovoltaics
Choose an application
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.
Theory of Computation --- Special Purpose and Application-Based Systems --- Computer System Implementation --- Control Structures and Microprogramming --- Mathematics of Computing --- open access --- specification and verification techniques --- software and hardware verification --- SAT and SMT solving --- theorem proving --- model checking --- static and dynamic program analysis --- testing --- system construction and transformation techniques --- tool environments and tool architectures --- abstraction techniques for modeling and verification --- compositional and refinement-based methodologies --- mathematics --- software engineering --- software design --- architecting --- software architecture --- embedded systems --- automata theory --- linguistics --- Computer science --- Mathematical theory of computation --- Expert systems / knowledge-based systems --- Systems analysis & design --- Algorithms & data structures --- Maths for computer scientists
Listing 1 - 10 of 20 | << page >> |
Sort by
|