检索结果-内蒙古大学图书馆

13th International Conference on Renewable Energy Research and Applications

作者： Nakashima, Yoshiyasu Manabe, Atsushi Tosaka, Masaki Yonezawa, Yu Ota, Yasuyuki Nishioka, Kensuke NXTEC Syst Solut Business Unit Kawasaki Kanagawa Japan Nagoya Univ Inst Mat & Syst Sustainabil Power Elect Lab Nagoya Aichi Japan Univ Miyazaki GX Res Ctr Miyazaki Japan

ISBN: (纸本)9798350375596;9798350375589

We are using model based development (MBD) techniques to design and implement energy management systems such as solar-to-hydrogen conversion (STH) systems. We have applied model-based development to a solar-to-hydrogen (STH) system with a unique power supply configuration of our own design, and achieved a daily STH efficiency of 18.78%. This was the highest efficiency for a sub-kilowatt-scale solar photovoltaic (PV) system in outdoor operation at that time. The concentrating photovoltaic (CPV) module, electrolyzer, and DC-DC converter were precisely modeled based on actual measured component characteristics, simulation verification of control methods, and control software implemented using automatic code generation techniques. The control software was implemented using automatic code generation technology. In addition, the feasibility of applying the software to a mega solar system was verified to confirm its effectiveness in system design.

关键词： concentrator photovoltaic modules hydrogen electrochemical cells model-based development digitally-controlled DC-DC converter

来源：评论

学校读者我要写书评

暂无评论

model-based development for ROS 2-based Autonomous-driving Software 22

Model-based Development for ROS 2-based Autonomous-driving S...

引用

IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) / BigDataSE Conference / CSE Conference / EUC Conference / ISCI Conference

作者： Onozawa, Takumi Fujimoto, Hiroshi Azumi, Takuya Saitama Univ Grad Sch Sci & Engn Saitama Japan ESOL Co Ltd Software Div Tokyo Japan

ISBN: (纸本)9798350381993;9798350382006

Autonomous vehicles have attracted increasing research attention as a solution to various contemporary social problems. Current code-based development methods require time to understand the processing of open-source, complex autonomous-driving systems, and parallelization is performed manually when verifying the operation of such systems. Thus, a method for parallelizing autonomous-driving software using the model-based development (MBD) process was proposed. The parallelized code for autonomous-driving software can be generated semi-automatically. The proposed method realizes the generation of code that assumes operation on real-world hardware and reduces execution time.

关键词： Embedded software Real-time system architecture ROS 2 MATLAB/Simulink autonomous-driving software model-based development model-based Parallelizer

来源：评论

学校读者我要写书评

暂无评论

model-based development for Autonomous Driving Software Considering Parallelization 29

Model-Based Development for Autonomous Driving Software Cons...

引用

29th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2024

作者： Obi, Kenshin Onozawa, Takumi Fujimoto, Hiroshi Azumi, Takuya Graduate School of Science and Engineering Saitama University Japan ESOL Co. Ltd Software Division Japan

ISBN: (纸本)9798350361230

In recent years, autonomous vehicles have attracted attention as one of the solutions to various social problems. However, autonomous driving software requires real-time performance as it considers a variety of functions and complex environments. Therefore, this paper proposes a parallelization method for autonomous driving software using the model-based development (MBD) process. The proposed method extends the existing model-based Parallelizer (MBP) method to facilitate the implementation of complex processing. As a result, execution time was reduced. The evaluation results demonstrate that the proposed method is suitable for the development of autonomous driving software, particularly in achieving real-time performance. © 2024 IEEE.

关键词： autonomous driving software model-based development multi-core processor

来源：评论

学校读者我要写书评

暂无评论

From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component model

引用

SOFTWARE AND SYSTEMS modelING 2023年第4期22卷 1085-1097页

作者： Bucaioni, Alessio Ciccozzi, Federico Di Salle, Amleto Sjodin, Mikael Malardalen Univ Vasteras Sweden European Univ Rome Rome Italy

Developing distributed real-time systems is a complex task that has historically entailed specialized handcraft. In this paper, we propose a retrospective on the (r)evolutionary changes that led to the transition from low-level programming to industrial full-fledged model-based development embodied by the Rubus Component model and its tool-ecosystem. We focus on the needs, challenges, and solutions of a 15-year-long evolution journey of a software development approach that has gone from low-level and manual programming to a highly automated environment offering modeling, analysis, and development of vehicular software systems with multi-criticality for deployment on single- and multi-core platforms.

关键词： Component model model-based development Vehicular embedded systems real-time systems

来源：评论

学校读者我要写书评

暂无评论

Energy Consumption Prediction Framework in model-based development for Edge Devices 3

Energy Consumption Prediction Framework in Model-based Devel...

引用

IEEE 3rd Real-Time and Intelligent Edge Computing Workshop (RAGE)

作者： Hou, Yue Azumi, Takuya Saitama Univ Grad Sch Sci & Engn Saitama Japan

ISBN: (纸本)9798350363357;9798350363340

In the digital era, edge devices are widely used in many fields such as industrial automation, autonomous driving vehicles, and healthcare. model-based development (MBD), as a fast and efficient development method, has been gradually applied to embedded software development for edge devices in recent years. However, energy consumption prediction is often neglected in the traditional MBD process. This study proposes an energy consumption prediction framework that aims to integrate energy consumption prediction into the MBD process. In addition, this paper proposes an energy consumption prediction tool for edge devices. The development of such a prediction tool implies that energy consumption can be evaluated during the design phase so that the design can be optimized to reduce energy consumption, which is particularly important for power-sensitive applications.

关键词： Edge devices embedded software energy consumption prediction model-based development

来源：评论

学校读者我要写书评

暂无评论

Consistency management in industrial continuous model-based development settings: a reality check

引用

SOFTWARE AND SYSTEMS modelING 2022年第4期21卷 1511-1530页

作者： Jongeling, Robbert Ciccozzi, Federico Carlson, Jan Cicchetti, Antonio Malardalen Univ Dept Innovat Design & Engn IDT Vasteras Sweden

This article presents the state of practice of consistency management in thirteen industrial model-based development settings. Our analysis shows a tight coupling between adopting shorter development cycles and increasingly pressing consistency management challenges. We find that practitioners desire to adopt shorter development cycles, but immature modeling practices slow them down. We describe the different patterns that emerge from the various industrial settings. There is an opportunity for researchers to provide practitioners with a migration path toward practices that enable more automated consistency management, and ultimately, continuous model-based development.

关键词： model-based development Consistency management Agile

来源：评论

学校读者我要写书评

暂无评论

Certification Considerations of Software-Defined Radio Using model-based development and Automated Testing 42

Certification Considerations of Software-Defined Radio Using...

引用

IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC)

作者： Bao, Lin Fuhrman, Christopher Landry, Rene, Jr. Ecole Technol Super Eletr Engn Dept Montreal PQ Canada Ecole Technol Super Dept Software & IT Engn Montreal PQ Canada

ISBN: (纸本)9798350333572

In this article, we present a set of methods to accelerate the development process and the verification process of certifiable Software-Defined Radio (SDR) applications, including both model-based development (MBD) methodology and automated testing (unit and integration) technology. We demonstrate the feasibility with a case study, where an Instrument Landing System (ILS) in the domain of SDR avionics applications is presented, in which part of the code (for signal processing) is automatically generated from models and the remaining (for integration) code is not. The proposed methods strive to accelerate the compliance with the DO-178C standard's dynamic testing requirements. We consider the integration of the proposed methods to a system's certification processes in the context of the case study. The main contribution of this paper consists of integrating the MBD and the automated testing methods, and mapping them to the certification processes of SDR by respecting the set of instructions specified in the standard DO-178C.

关键词： Automated software testing certification DO-178C model-based development Safety-critical systems Software-Defined Radio

来源：评论

学校读者我要写书评

暂无评论

XANDAR: Exploiting the X-by-Construction Paradigm in model-based development of Safety-critical Systems

XANDAR: Exploiting the X-by-Construction Paradigm in Model-b...

引用

25th Design, Automation and Test in Europe Conference and Exhibition (DATE)

作者： Masing, Leonard Doerr, Tobias Schade, Florian Becker, Juergen Keramidas, Georgios Antonopoulos, Christos P. Mavropoulos, Michail Tiganourias, Efstratios Kelefouras, Vasilios Antonopoulos, Konstantinos Voros, Nikolaos Durak, Umut Ahlbrecht, Alexander Zaeske, Wanja Panagiotou, Christos Karadimas, Dimitris Adler, Nico Sailer, Andreas Weber, Raphael Wilhelm, Thomas Nemeth, Geza Siddiqui, Fahad Khan, Rafiullah Garousi, Vahid Sezer, Sakir Morales, Victor Karlsruhe Inst Technol Karlsruhe Germany Univ Peloponnese Tripoli Greece German Aerosp Ctr DLR Inst Flight Syst Braunschweig Germany AVN Innovat Technol Solut Ltd Limassol Cyprus Vector Informat GmbH Stuttgart Germany Bayer Motoren Werke Aktiengesell Munich Germany Queens Univ Belfast Antrim North Ireland Fent Innovat Software Solut SL Valencia Spain Aristotle Univ Thessaloniki Thessaloniki Greece

ISBN: (纸本)9783981926361

Realizing desired properties "by construction" is a highly appealing goal in the design of safety-critical embedded systems. As verification and validation tasks in this domain are often both challenging and time-consuming, the by-construction paradigm is a promising solution to increase design productivity and reduce design errors. In the XANDAR project, partners from industry and academia develop a toolchain that will advance current development processes by employing a model-based X-by-Construction (XbC) approach. XANDAR defines a development process, metamodel extensions, a library of safety and security patterns, and investigates many further techniques for design automation, verification, and validation. The developed toolchain will use a hypervisor-based platform, targeting future centralized, AI-capable high-performance embedded processing systems. It is co-developed and validated in both an avionics use case for situation perception and pilot assistance as well as an automotive use case for autonomous driving.

关键词： X-by-Construction model-based development Real-time systems Safety-critical systems Hypervisors

来源：评论

学校读者我要写书评

暂无评论

model-based development of distributable user interfaces

引用

UNIVERSAL ACCESS IN THE INFORMATION SOCIETY 2019年第4期18卷 719-746页

作者： Tesoriero, Ricardo Altalhi, Abdulrahman H. Univ Castilla La Mancha Infante Don Juan Manuel BldgAve Espana S-N Albacete 02071 Spain King Abdulaziz Univ Jeddah Saudi Arabia

The price drop of digital displays during the last decade has promoted the use of coupled-display ecosystems. This paper proposes a model-based approach to develop applications that exploit these ecosystems. It introduces the concept of Distributable User Interface to define applications running on coupled-display ecosystems that enable users to distribute interaction objects (e.g., labels, buttons, panels and frames) across interaction surfaces (e.g., Web documents, frames and panels) using a set of distribution primitives. The Distributable User Interface concept is formalized in the User Interface Distribution meta-model, which is implemented using the Eclipse modeling Framework to ensure the compliance of these models with the OMG standards. This paper also describes the graphical model editor to create, edit and validate User Interface Distribution models conforming to the proposed meta-model. The models created with the model editor are used as input parameters for the model-to-text transformation developed in Acceleo that generates the source code of Web applications supporting Distributable User Interfaces. The generated code runs on the User Interface Distribution Framework which is also presented in this paper. Finally, the On-line Photo Gallery application is the case of study presented to demonstrate the viability of the proposal.

关键词： Distributed User Interfaces Human-computer interaction model-based development

来源：评论

学校读者我要写书评

暂无评论

XANDAR: exploiting the x-by-construction paradigm in model-based development of safety-critical systems 22

XANDAR: exploiting the x-by-construction paradigm in model-b...

引用

Proceedings of the 2022 Conference & Exhibition on Design, Automation & Test in Europe

作者： Leonard Masing Tobias Dörr Florian Schade Juergen Becker Georgios Keramidas Christos P. Antonopoulos Michail Mavropoulos Efstratios Tiganourias Vasilios Kelefouras Konstantinos Antonopoulos Nikolaos Voros Umut Durak Alexander Ahlbrecht Wanja Zaeske Christos Panagiotou Dimitris Karadimas Nico Adler Andreas Sailer Raphael Weber Thomas Wilhelm Geza Nemeth Fahad Siddiqui Rafiullah Khan Vahid Garousi Sakir Sezer Victor Morales Karlsruhe Institute of Technology Germany University of Peloponnese Greece and Aristotle University of Thessaloniki Greece University of Peloponnese Greece Institute of Flight Systems Germany AVN Innovative Technology Solutions Limited Cyprus Vector Informatik GmbH Germany Bayerische Motoren Werke Aktiengesellschaft Germany Queen's University Belfast UK Fent Innovative Software Solutions SL Spain

ISBN: (纸本)9783981926361

关键词： safety-critical systems real-time systems X-by-construction model-based development hypervisors

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：