Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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