中文
相关论文

相关论文: Architecture Models Refinements for Software Devel…

200 篇论文

Cyber-physical systems (CPS) can be found everywhere: smart homes, autonomous vehicles, aircrafts, healthcare, agriculture and industrial production lines. CPSs are often critical, as system failure can cause serious damage to property and…

分布式、并行与集群计算 · 计算机科学 2021-08-31 Richárd Szabó , András Vörös

An appropriate system model gives developers a better overview, and the ability to fix more inconsistencies more effectively and earlier in system development, reducing overall effort and cost. However, modelling assumes abstraction of…

软件工程 · 计算机科学 2014-05-01 Maria Spichkova , Heinrich Schmidt , Ian Peake

Modern cyber-physical systems (CPS) have a close inter-dependence between software and physical components. Automotive embedded systems are typical CPS, as physical chips, sensors and actuators are physical components and software embedded…

软件工程 · 计算机科学 2016-03-17 Yuchen Zhou , John Baras , Shige Wang

Cyber-Physical Systems (CPS) revolutionize various application domains with integration and interoperability of networking, computing systems, and mechanical devices. Due to its scale and variety, CPS faces a number of challenges and opens…

网络与互联网体系结构 · 计算机科学 2017-01-09 Pradeeban Kathiravelu , Luís Veiga

Cyber Physical Systems solve complex problems through their tight integration between the physical and computational components. Therefore, the reliability of a complex system is the most critical requirement for the cyber physical system…

软件工程 · 计算机科学 2020-10-13 Nazakat Ali , Manzoor Hussain , Youngjae Kim , Jang-Eui Hong

Cyber-Physical Production Systems (CPPS) are long-living and mechatronic systems, which include mechanics, electrics/electronics and software. The interdisciplinary nature combined with challenges and trends in the context of Industry 4.0…

软件工程 · 计算机科学 2022-12-20 Birgit Vogel-Heuser , Juliane Fischer , Dieter Hess , Eva-Maria Neumann , Marcus Wuerr

The development of cyber-physical system (CPS) is a big challenge because of its complexity and its complex requirements. Especially in Requirements Engineering (RE), there exist many redundant and conflict requirements. Eliminating…

软件工程 · 计算机科学 2017-05-10 Md. Masudur Rahman , Naushin Nower

Cyber-Physical Systems (CPS) allow us to manipulate objects in the physical world by providing a communication bridge between computation and actuation elements. In the current scheme of things, this sought-after control is marred by…

Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever-increasing demands for improved performance, reduced cost, and more system autonomy. Each engineering…

软件工程 · 计算机科学 2020-04-14 Charles Hartsell , Nagabhushan Mahadevan , Harmon Nine , Ted Bapty , Abhishek Dubey , Gabor Karsai

The adoption of cyber-physical systems (CPS) is on the rise in complex physical environments, encompassing domains such as autonomous vehicles, the Internet of Things (IoT), and smart cities. A critical attribute of CPS is robustness,…

系统与控制 · 电气工程与系统科学 2024-03-27 Changjian Zhang , Parv Kapoor , Romulo Meira-Goes , David Garlan , Eunsuk Kang , Akila Ganlath , Shatadal Mishra , Nejib Ammar

Agile development processes and especially Scrum are changing the state of the practice in software development. Many companies in the classical IT sector have adopted them to successfully tackle various challenges from the rapidly changing…

软件工程 · 计算机科学 2017-11-15 Stefan Wagner

Cyber-Physical Systems (CPS) are systems composed by a physical component that is controlled or monitored by a cyber-component, a computer-based algorithm. Advances in CPS technologies and science are enabling capability, adaptability,…

计算机科学中的逻辑 · 计算机科学 2018-10-17 Mario Lezoche , Hervé Panetto

Due to major breakthroughs in software and engineering technologies, embedded systems are increasingly being utilized in areas ranging from aerospace and next-generation transportation systems, to smart grid and smart cities, to health care…

计算机科学中的逻辑 · 计算机科学 2020-03-10 Adnan Rashid , Umair Siddique , Sofiene Tahar

Cyber-Physical Systems (CPS) are systems controlled by one or more computer-based components tightly integrated with a set of physical components, typically described as sensors and actuators, that can either be directly attached to the…

计算机科学中的逻辑 · 计算机科学 2018-03-09 Andre Metelo , Christiano Braga , Diego Brandão

Cyber Physical Systems (CPS) enable new kinds of applications as well as significant improvements of existing ones in numerous different application domains. A major trait of upcoming CPS is an increasing degree of automation up to the…

软件工程 · 计算机科学 2024-05-07 Daniel Schneider , Jan Reich , Rasmus Adler , Peter Liggesmeyer

Cyber-physical systems (CPSs) embed software into the physical world. They appear in a wide range of applications such as smart grids, robotics, intelligent manufacture and medical monitoring. CPSs have proved resistant to modeling due to…

系统与控制 · 计算机科学 2019-10-28 Ye Yuan , Xiuchuan Tang , Wei Pan , Xiuting Li , Wei Zhou , Hai-Tao Zhang , Han Ding , Jorge Goncalves

Cyber-Physical Systems (CPS) integrate digital technologies with physical processes and are common in different domains and industries, such as robotic systems, autonomous vehicles or satellites. Debugging and verification of CPS software…

软件工程 · 计算机科学 2025-01-30 Pablo Valle

The aim of this study is to present an overview of current research on modelling, evaluation, and optimization methods for improving the reliability of Cyber-Physical System (CPS). Three major modelling approaches, namely analytical,…

系统与控制 · 电气工程与系统科学 2025-03-17 Moslem Uddin , Huadong Mo , Daoyi Dong

Cyber-Physical Systems (CPS) produce behavior through execution on substrates coupling computation with physical processes. However, usual engineering approaches do not treat execution semantics as first-class engineering entities. Formal…

软件工程 · 计算机科学 2026-04-16 Alexandre Muzy

The ability to capture different levels of abstraction in a system model is especially important for remote integration, testing/verification, and manufacturing of cyber-physical systems (CPSs). However, the complexity of modelling and…

软件工程 · 计算机科学 2016-01-26 Maria Spichkova , Anna Zamansky , Eitan Farchi
‹ 上一页 1 2 3 10 下一页 ›