Choose an application

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

The electrical energy on electrified bicycles offers new functional possibilities such as an active safety system to assist the rider during the braking process. This work shows the technical feasibility of such a system by presenting a rideable prototype. The so-called braking dynamics assistance system prevents the cyclist from both front wheel lockup and rollover (along the vehicle’s transverse axis).

Elektrofahrrad --- safety system --- Fahrdynamik --- Electric bicycle --- vehicle dynamics --- model-based design --- Verkehrssicherheit --- road safety --- Modellbasierte Entwicklung --- Sicherheitssystem

Choose an application

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

A key aspect of cyber-physical systems (CPS) is their potential for integrating information technologies with embedded control systems and physical systems to form new or improved functionalities. CPS thus draws upon advances in many areas. This positioning provides unprecedented opportunities for innovation, both within and across existing domains. However, at the same time, it is commonly understood that we are already stretching the limits of existing methodologies. In embarking towards CPS with such unprecedented capabilities, it becomes essential to improve our understanding of CPS complexity and how we can deal with it. Complexity has many facets, including complexity of the CPS itself, of the environments in which the CPS acts, and in terms of the organizations and supporting tools that develop, operate, and maintain CPS. This book is a result of a journal Special Issue, with the objective of providing a forum for researchers and practitioners to exchange their latest achievements and to identify critical issues, challenges, opportunities, and future directions for how to deal with the complexity of future CPS. The contributions include 10 papers on the following topics: (I) Systems and Societal Aspects Related to CPS and Their Complexity; (II) Model-Based Development Methods for CPS; (III) CPS Resource Management and Evolving Computing Platforms; and (IV) Architectures for CPS.

History of engineering & technology --- component-based software engineering --- mode --- mode-switch --- complexity --- cyber-physical systems --- systems engineering --- uncertainty --- microgrid --- distributed design --- self-similar architecture --- plug-n-play --- distributed control --- distribution network --- field test --- autonomous cyber-physical systems --- resilience --- ethics --- nano-bio-info-cogno technologies --- smart cyber-physical systems --- self-generated intelligence --- ampliative reasoning mechanism --- procedural abduction --- data-driven system control --- run-time acquired data --- computational functions --- self-adaptation capability --- human/socially-centered applications --- embedded systems --- software component --- component-based development --- CBD --- GPU --- GPU component --- allocation --- component allocation --- architecture layer --- time-triggered system --- real-time --- adaptation --- scheduling --- multi-core --- real-time systems --- Fixed-Priority Preemptive Scheduling (FPPS) --- mixed-criticality systems --- n/a --- Cyber Physical Systems --- Reactive Systems --- Model-Based Design --- Embedded Systems --- Automatic Code Generation --- IDE --- Internet of Things --- model testing --- mutation testing --- energy consumption --- EAST-ADL

Choose an application

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

A key aspect of cyber-physical systems (CPS) is their potential for integrating information technologies with embedded control systems and physical systems to form new or improved functionalities. CPS thus draws upon advances in many areas. This positioning provides unprecedented opportunities for innovation, both within and across existing domains. However, at the same time, it is commonly understood that we are already stretching the limits of existing methodologies. In embarking towards CPS with such unprecedented capabilities, it becomes essential to improve our understanding of CPS complexity and how we can deal with it. Complexity has many facets, including complexity of the CPS itself, of the environments in which the CPS acts, and in terms of the organizations and supporting tools that develop, operate, and maintain CPS. This book is a result of a journal Special Issue, with the objective of providing a forum for researchers and practitioners to exchange their latest achievements and to identify critical issues, challenges, opportunities, and future directions for how to deal with the complexity of future CPS. The contributions include 10 papers on the following topics: (I) Systems and Societal Aspects Related to CPS and Their Complexity; (II) Model-Based Development Methods for CPS; (III) CPS Resource Management and Evolving Computing Platforms; and (IV) Architectures for CPS.

component-based software engineering --- mode --- mode-switch --- complexity --- cyber-physical systems --- systems engineering --- uncertainty --- microgrid --- distributed design --- self-similar architecture --- plug-n-play --- distributed control --- distribution network --- field test --- autonomous cyber-physical systems --- resilience --- ethics --- nano-bio-info-cogno technologies --- smart cyber-physical systems --- self-generated intelligence --- ampliative reasoning mechanism --- procedural abduction --- data-driven system control --- run-time acquired data --- computational functions --- self-adaptation capability --- human/socially-centered applications --- embedded systems --- software component --- component-based development --- CBD --- GPU --- GPU component --- allocation --- component allocation --- architecture layer --- time-triggered system --- real-time --- adaptation --- scheduling --- multi-core --- real-time systems --- Fixed-Priority Preemptive Scheduling (FPPS) --- mixed-criticality systems --- n/a --- Cyber Physical Systems --- Reactive Systems --- Model-Based Design --- Embedded Systems --- Automatic Code Generation --- IDE --- Internet of Things --- model testing --- mutation testing --- energy consumption --- EAST-ADL

Choose an application

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

A key aspect of cyber-physical systems (CPS) is their potential for integrating information technologies with embedded control systems and physical systems to form new or improved functionalities. CPS thus draws upon advances in many areas. This positioning provides unprecedented opportunities for innovation, both within and across existing domains. However, at the same time, it is commonly understood that we are already stretching the limits of existing methodologies. In embarking towards CPS with such unprecedented capabilities, it becomes essential to improve our understanding of CPS complexity and how we can deal with it. Complexity has many facets, including complexity of the CPS itself, of the environments in which the CPS acts, and in terms of the organizations and supporting tools that develop, operate, and maintain CPS. This book is a result of a journal Special Issue, with the objective of providing a forum for researchers and practitioners to exchange their latest achievements and to identify critical issues, challenges, opportunities, and future directions for how to deal with the complexity of future CPS. The contributions include 10 papers on the following topics: (I) Systems and Societal Aspects Related to CPS and Their Complexity; (II) Model-Based Development Methods for CPS; (III) CPS Resource Management and Evolving Computing Platforms; and (IV) Architectures for CPS.

History of engineering & technology --- component-based software engineering --- mode --- mode-switch --- complexity --- cyber-physical systems --- systems engineering --- uncertainty --- microgrid --- distributed design --- self-similar architecture --- plug-n-play --- distributed control --- distribution network --- field test --- autonomous cyber-physical systems --- resilience --- ethics --- nano-bio-info-cogno technologies --- smart cyber-physical systems --- self-generated intelligence --- ampliative reasoning mechanism --- procedural abduction --- data-driven system control --- run-time acquired data --- computational functions --- self-adaptation capability --- human/socially-centered applications --- embedded systems --- software component --- component-based development --- CBD --- GPU --- GPU component --- allocation --- component allocation --- architecture layer --- time-triggered system --- real-time --- adaptation --- scheduling --- multi-core --- real-time systems --- Fixed-Priority Preemptive Scheduling (FPPS) --- mixed-criticality systems --- Cyber Physical Systems --- Reactive Systems --- Model-Based Design --- Embedded Systems --- Automatic Code Generation --- IDE --- Internet of Things --- model testing --- mutation testing --- energy consumption --- EAST-ADL

Choose an application

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

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 computers. --- Microprogramming . --- Architecture, Computer. --- Computers. --- Artificial intelligence. --- Software Engineering. --- Special Purpose and Application-Based Systems. --- Control Structures and Microprogramming. --- Computer System Implementation. --- Information Systems and Communication Service. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Architecture, Computer --- Computer programming --- Special purpose computers --- Computers --- Computer software engineering --- Engineering --- 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 --- Computers, Special purpose. --- Microprogramming. --- Computer systems. --- Computer networks. --- Computer Communication Networks. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Distributed processing