Search results:
Found 11
Listing 1 - 10 of 11 | << page >> |
Sort by
|
Choose an application
The Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. It will support an ecosystem of smart applications and services bringing hyper-connectivity to our society by using augmented and rich interfaces. Whereas in the beginning IoT referred to the advent of barcodes and Radio Frequency Identification (RFID), which helped to automate inventory, tracking and basic identification, today IoT is characterized by a dynamic trend toward connecting smart sensors, objects, devices, data and applications. The next step will be “cognitive IoT,” facilitating object and data re-use across application domains and leveraging hyper-connectivity, interoperability solutions and semantically enriched information distribution.The Architectural Reference Model (ARM), presented in this book by the members of the IoT-A project team driving this harmonization effort, makes it possible to connect vertically closed systems, architectures and application areas so as to create open interoperable systems and integrated environments and platforms. It constitutes a foundation from which software companies can capitalize on the benefits of developing consumer-oriented platforms including hardware, software and services.The material is structured in two parts. Part A introduces the general concepts developed for and applied in the ARM. It is aimed at end users who want to use IoT technologies, managers interested in understanding the opportunities generated by these novel technologies, and system architects who are interested in an overview of the underlying basic models. It also includes several case studies to illustrate how the ARM has been used in real-life scenarios. Part B then addresses the topic at a more detailed technical level and is targeted at readers with a more scientific or technical background. It provides in-depth guidance on the ARM, including a detailed description of a process for generating concrete architectures, as well as reference manuals with guidelines on how to use the various models and perspectives presented to create a concrete architecture. Furthermore, best practices and tips on how system engineers can use the ARM to develop specific IoT architectures for dedicated IoT solutions are illustrated and exemplified in reverse mapping exercises of existing standards and platforms.
Information Systems Applications (incl. Internet) --- Business IT Infrastructure --- Computer Appl. in Administrative Data Processing --- Operations Management --- Software Engineering --- Special Purpose and Application-Based Systems --- Business Information Systems --- Ubiquitous Computing --- Reference Architecture --- Spatio-Temporal Systems --- Smart Objects --- Supply Chain Management --- IoT --- SCM --- Web Applications --- Internet of Things --- Smart Homes --- RFID
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
This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners.
Software Engineering --- Cyber-physical systems, IoT --- Special Purpose and Application-Based Systems --- Computer Applications --- Computer-Aided Engineering (CAD, CAE) and Design --- Open Access --- Embedded and cyber-physical systems --- Software design engineering --- Model-driven software engineering --- Modelica --- Performance Analysis --- Design Languages --- System Description Languages --- System and Modeling --- DEVS --- Statecharts --- Petri Nets --- Multi-Paradigm Modeling --- AADL --- Concurrency Modeling --- Electrical engineering --- Cybernetics & systems theory --- Expert systems / knowledge-based systems --- Information technology: general issues --- Computer-aided design (CAD)
Choose an application
This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.
Logic Design --- Computer System Implementation --- Computer Communication Networks --- Special Purpose and Application-Based Systems --- Software Engineering --- Operating Systems --- open access --- reversible computation --- semantics of reversible computation --- formal methods --- models of computation --- circuit design --- simulation --- robotics --- debugging --- quantum computing --- wireless communications --- programming languages --- dependability --- modelling of biochemical systems --- computer networks --- engineering --- software engineering --- parallel processing systems --- theoretical computer science --- Computer architecture & logic design --- Systems analysis & design --- Network hardware --- Expert systems / knowledge-based systems --- Operating systems
Choose an application
Engineering Economics, Organization, Logistics, Marketing --- Special Purpose and Application-Based Systems --- Innovation/Technology Management --- Technology and Digital Education --- Industrial Management --- Business and Management --- Education --- Arbeitsgestaltung --- Digitalisierte Arbeit --- Flexible Arbeitsstrukturen --- Digitaler Wandel --- Digital Workplace --- Arbeit 4.0 --- Open Access --- Engineering: general --- Management of specific areas --- Expert systems / knowledge-based systems --- Research & development management --- Industrial applications of scientific research & technological innovation --- Educational equipment & technology, computer-aided learning (CAL)
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
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.
Software Engineering/Programming and Operating Systems --- 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 --- Software Engineering --- Operating systems --- Expert systems / knowledge-based systems --- Systems analysis & design --- Algorithms & data structures --- Mathematical theory of computation --- Maths for computer scientists
Choose an application
This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic.
Computer Communication Networks --- Artificial Intelligence --- Information Systems Applications (incl. Internet) --- Special Purpose and Application-Based Systems --- Computer System Implementation --- User Interfaces and Human Computer Interaction --- Computer and Information Systems Applications --- open access --- artificial intelligence --- communication systems --- computer vision --- databases --- hci --- human-computer interaction --- image processing --- Internet of Things --- IoT --- machine learning --- network protocols --- sensors --- signal processing --- software architecture --- software design --- telecommunication networks --- telecommunication systems --- user interfaces --- wireless telecommunication systems --- Network hardware --- Artificial intelligence --- Information retrieval --- Internet searching --- Expert systems / knowledge-based systems --- Systems analysis & design --- User interface design & usability
Choose an application
This open access book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastructures into a single community. It provides readers with a systematic overview of the common challenges faced by research infrastructures and how a ‘reference model guided’ engineering approach can be used to achieve greater interoperability among such infrastructures in the environmental and earth sciences. The 20 contributions in this book are structured in 5 parts on the design, development, deployment, operation and use of research infrastructures. Part one provides an overview of the state of the art of research infrastructure and relevant e-Infrastructure technologies, part two discusses the reference model guided engineering approach, the third part presents the software and tools developed for common data management challenges, the fourth part demonstrates the software via several use cases, and the last part discusses the sustainability and future directions.
Computer Applications --- Environment, general --- Special Purpose and Application-Based Systems --- Information Systems and Communication Service --- Software Engineering/Programming and Operating Systems --- Geography, general --- Computer and Information Systems Applications --- Environmental Sciences --- Database Management System --- Software Engineering --- Geography --- cloud computing --- cloud providers --- cloud services --- computer networks --- computing resource --- data communication systems --- databases --- distributed computer systems --- distributed systems --- engineering --- grid computing --- internet --- network protocols --- open access --- parallel processing systems --- signal processing --- telecommunication networks --- wireless telecommunication systems --- Information technology: general issues --- The environment --- Expert systems / knowledge-based systems --- Computer networking & communications --- Operating systems
Listing 1 - 10 of 11 | << page >> |
Sort by
|