中文
相关论文

相关论文: Architecture and Behavior Modeling of Cyber-Physic…

200 篇论文

This report presents MontiArc, a modeling language for the description of Component & Connector architectures. A component is a unit executing computations and/or storing data. Information flow between components is modeled via…

软件工程 · 计算机科学 2014-09-24 Arne Haber , Jan Oliver Ringert , Bernhard Rumpe

Robotics poses a challenge for software engineering as the vast numbers of different robot platforms impose different requirements on robot control architectures. The platform dependent development of robotic applications impedes…

软件工程 · 计算机科学 2014-09-09 Jan Oliver Ringert , Bernhard Rumpe , Andreas Wortmann

Software development for robotics applications is a sophisticated endeavor as robots are inherently complex. Explicit modeling of the architecture and behavior of robotics application yields many advantages to cope with this complexity by…

软件工程 · 计算机科学 2014-09-02 Jan Oliver Ringert , Bernhard Rumpe , Andreas Wortmann

Robots belong to a class of Cyber-Physical Systems where complex software as a mobile device has to full tasks in a complex environment. Modeling robotics applications for analysis and code generation requires modeling languages for the…

软件工程 · 计算机科学 2014-09-10 Markus Look , Antonio Navarro Perez , Jan Oliver Ringert , Bernhard Rumpe , Andreas Wortmann

Component&connector (C&C) architecture description languages (ADLs) combine component-based software engineering and model-driven engineering to increase reuse and to abstract from implementation details. Applied to robotics application…

软件工程 · 计算机科学 2015-11-18 Jan O. Ringert , Bernhard Rumpe , Andreas Wortmann

Software development for Cyber-Physical Systems (CPS) is a sophisticated activity as these systems are inherently complex. The engineering of CPS requires composition and interaction of diverse distributed software modules. Describing both,…

软件工程 · 计算机科学 2014-08-26 Jan Oliver Ringert , Bernhard Rumpe , Andreas Wortmann

Software development for service robotics is inherently complex. Even a single robot requires the composition of several sensors, actuators, and software modules. The systems are usually developed by groups of domain experts, rarely…

软件工程 · 计算机科学 2014-08-26 Jan Oliver Ringert , Bernhard Rumpe , Andreas Wortmann

Architectural modeling is an integral part of modern software development. In particular, diverse systems benefit from precise architectural models since similar components can often be reused between different system variants. However,…

软件工程 · 计算机科学 2014-09-09 Arne Haber , Holger Rendel , Bernhard Rumpe , Ina Schaefer

Engineering software for robotics applications requires multidomain and application-specific solutions. Model-driven engineering and modeling language integration provide means for developing specialized, yet reusable models of robotics…

软件工程 · 计算机科学 2015-05-06 Jan Oliver Ringert , Alexander Roth , Bernhard Rumpe , Andreas Wortmann

The development process of web information systems is often tedious, error prone and usually involves redundant steps of work. Therefore, it is rather e_x000E_fficient to employ a modeldriven approach for the systematic aspects that…

软件工程 · 计算机科学 2014-09-09 Michael Dukaczewski , Dirk Reiss , Mark Stein , Bernhard Rumpe

A formal description of a Cyber-Physical system should include a rigorous specification of the computational and physical components involved, as well as their interaction. Such a description, thus, lends itself to a compositional model…

计算机科学中的逻辑 · 计算机科学 2016-12-16 Tobias Kappé , Farhad Arbab , Carolyn Talcott

The analysis of cyber-physical systems (CPS) is challenging due to the large state space and the continuous changes occurring in their constituent parts. Design practices favor modularity to help reducing this complexity. In a previous…

计算机科学中的逻辑 · 计算机科学 2022-08-03 Benjamin Lion , Farhad Arbab , Carolyn Talcott

A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation is a well known challenge. A key element of this mapping is…

编程语言 · 计算机科学 2011-09-14 Damien Cassou , Emilie Balland , Charles Consel , Julia Lawall

We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally…

软件工程 · 计算机科学 2021-10-06 Benjamin Lion , Farhad Arbab , Carolyn Talcott

We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally…

系统与控制 · 电气工程与系统科学 2022-03-28 Benjamin Lion , Farhad Arbab , Carolyn Talcott

Assuring the correct behavior of cyber-physical systems requires significant modeling effort, particularly during early stages of the engineering and design process when a system is not yet available for testing or verification of proper…

系统与控制 · 电气工程与系统科学 2021-01-27 Georgios Bakirtzis , Christina Vasilakopoulou , Cody H. Fleming

Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduction of development costs and increases software quality.…

软件工程 · 计算机科学 2014-09-09 Arne Haber , Thomas Kutz , Holger Rendel , Bernhard Rumpe , Ina Schaefer

Combining component & connector architecture descriptionlanguageswithcomponentbehaviormodelinglanguages enables modeling great parts of software architectures platformindependently. Nontrivial systems typically contain components with…

软件工程 · 计算机科学 2015-11-18 Jan O. Ringert , Bernhard Rumpe , Andreas Wortmann

Enhancing AI systems with efficient communication skills for effective human assistance necessitates proactive initiatives from the system side to discern specific circumstances and interact aptly. This research focuses on a collective…

计算与语言 · 计算机科学 2024-02-09 Jack Zhang

We present an architecture for integrating real-time, multimodal input into a computational agent's contextual model. Using a human-avatar interaction in a virtual world, we treat aligned gesture and speech as an ensemble where content may…

人机交互 · 计算机科学 2019-09-19 Nikhil Krishnaswamy , James Pustejovsky
‹ 上一页 1 2 3 10 下一页 ›