咨询与建议

限定检索结果

文献类型

  • 181 篇 会议
  • 110 篇 期刊文献
  • 4 篇 学位论文

馆藏范围

  • 295 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 264 篇 工学
    • 188 篇 计算机科学与技术...
    • 114 篇 软件工程
    • 77 篇 电气工程
    • 34 篇 控制科学与工程
    • 13 篇 机械工程
    • 12 篇 信息与通信工程
    • 10 篇 交通运输工程
    • 9 篇 电子科学与技术(可...
    • 7 篇 仪器科学与技术
    • 7 篇 航空宇航科学与技...
    • 5 篇 石油与天然气工程
    • 4 篇 动力工程及工程热...
    • 4 篇 化学工程与技术
    • 3 篇 生物工程
    • 2 篇 力学(可授工学、理...
    • 2 篇 土木工程
    • 1 篇 建筑学
  • 21 篇 管理学
    • 20 篇 管理科学与工程(可...
  • 19 篇 理学
    • 7 篇 生物学
    • 5 篇 数学
    • 5 篇 化学
    • 3 篇 物理学
    • 3 篇 天文学
    • 3 篇 系统科学
  • 5 篇 医学
    • 3 篇 临床医学
    • 3 篇 药学(可授医学、理...
  • 2 篇 教育学
    • 2 篇 教育学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 文学
    • 1 篇 新闻传播学

主题

  • 295 篇 model-based deve...
  • 13 篇 real-time system...
  • 12 篇 simulink
  • 11 篇 industry 4.0
  • 11 篇 simulation
  • 11 篇 embedded systems
  • 9 篇 safety-critical ...
  • 9 篇 formal methods
  • 8 篇 safety analysis
  • 8 篇 optimization
  • 8 篇 code generation
  • 7 篇 autosar
  • 7 篇 uml
  • 7 篇 embedded softwar...
  • 7 篇 cyber-physical s...
  • 6 篇 safety
  • 6 篇 model transforma...
  • 6 篇 testing
  • 5 篇 reliability
  • 5 篇 software enginee...

机构

  • 5 篇 malardalen univ ...
  • 4 篇 tu wien austria
  • 4 篇 univ milano bico...
  • 4 篇 saitama univ gra...
  • 4 篇 fortiss res inst...
  • 3 篇 mcmaster univ mc...
  • 3 篇 ait austrian ins...
  • 3 篇 univ nova lisboa...
  • 3 篇 german aerosp ct...
  • 3 篇 fzi res ctr info...
  • 3 篇 malardalen univ ...
  • 3 篇 univ penn dept c...
  • 3 篇 mälardalen unive...
  • 3 篇 univ paderborn s...
  • 2 篇 delft univ techn...
  • 2 篇 graz univ techno...
  • 2 篇 tokyo metropolit...
  • 2 篇 univ florida col...
  • 2 篇 giant magellan t...
  • 2 篇 univ minnesota d...

作者

  • 5 篇 lawford mark
  • 5 篇 jongeling robber...
  • 5 篇 azumi takuya
  • 5 篇 ciccozzi federic...
  • 5 篇 wassyng alan
  • 5 篇 carlson jan
  • 5 篇 pantelic vera
  • 4 篇 sailer andreas
  • 4 篇 nickovic dejan
  • 4 篇 weber raphael
  • 4 篇 yigitbas enes
  • 4 篇 bartocci ezio
  • 4 篇 miyamoto toshiyu...
  • 4 篇 wilhelm thomas
  • 4 篇 chen dejiu
  • 4 篇 becker juergen
  • 4 篇 mariani leonardo
  • 4 篇 fujimoto hiroshi
  • 4 篇 terzimehic tarik
  • 4 篇 bucaioni alessio

语言

  • 277 篇 英文
  • 10 篇 其他
  • 7 篇 德文
  • 1 篇 西班牙文
检索条件"主题词=Model-Based development"
295 条 记 录,以下是1-10 订阅
排序:
model-based development of energy management systems for renewable energy  13
Model-based development of energy management systems for ren...
收藏 引用
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
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-hydroge... 详细信息
来源: 评论
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
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, ... 详细信息
来源: 评论
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
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 functi... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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
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, ha... 详细信息
来源: 评论
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 increa... 详细信息
来源: 评论
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
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) me... 详细信息
来源: 评论
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
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... 详细信息
来源: 评论
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 introd... 详细信息
来源: 评论
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
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... 详细信息
来源: 评论