Computer automated multi-paradigm modeling in control system design

被引:15
|
作者
Mosterman, PJ [1 ]
Vangheluwe, H [1 ]
机构
[1] DLR Oberpfaffenhofen, Inst Robot & Mechatron, D-82230 Wessling, Germany
关键词
D O I
10.1109/CACSD.2000.900188
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The complete control system design effort involves many stages during which partial design tasks are completed. Each of these tasks requires different modeling paradigms and different tools. Furthermore, the designed embedded control system entails a wide variety of implementation technologies that all require different specification formalisms. To handle such a multitude of modeling paradigms and different support tools: (i) a unifying generic standard language can be applied, and (ii) the required modeling paradigms can be modeled by a meta model using a shared meta language. An overview of the required parts and structure of a modeling environment and of the two approaches is given. The advantages with respect to multi-paradigm modeling are discussed.
引用
收藏
页码:65 / 70
页数:6
相关论文
共 50 条
  • [31] Design of multi-paradigm integrating modelling tools for ecological research
    Villa, F
    Costanza, R
    ENVIRONMENTAL MODELLING & SOFTWARE, 2000, 15 (02) : 169 - 177
  • [32] Multi-paradigm declarative programming
    Hanus, M
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 43 - 45
  • [33] The Janus System: Multi-paradigm Programming in Prolog and Python']Python
    Swift, Theresa
    Andersen, Carl
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 385 : 241 - 255
  • [34] Maya: a multi-paradigm network modeling framework for emulating distributed applications
    Zhou, JL
    Ji, ZG
    Takai, M
    Bagrodia, R
    SEVENTEENTH WORKSHOP ON PARALLEL AND DISTRIBUTED SIMULATION (PADS 2003), PROCEEDINGS, 2003, : 163 - 170
  • [35] Some techniques for automated, resource-aware distributed and mobile computing in a multi-paradigm programming system
    Hermenegildo, M
    Albert, E
    López-García, P
    Puebla, G
    EURO-PAR 2004 PARALLEL PROCESSING, PROCEEDINGS, 2004, 3149 : 21 - 36
  • [36] A multi-paradigm decision modeling framework for combat system effectiveness measurement based on domain-specific modeling
    Li, Xiao-bo
    Lei, Yong-lin
    Vangheluwe, Hans
    Wang, Wei-ping
    Li, Qun
    JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE C-COMPUTERS & ELECTRONICS, 2013, 14 (05): : 311 - 331
  • [37] Practical Automated Partial Verification of Multi-paradigm Real-Time Models
    Furia, Carlo A.
    Pradella, Matteo
    Rossi, Matteo
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 298 - +
  • [38] Evaluation of Multi-Center PET/CT Quality Assurance: Multi-Paradigm Software Enables Automated PET Quality Control
    Weitzel, T. K.
    Prenosil, G. A.
    Hentschel, M.
    Furstner, M.
    Krause, T.
    Rominger, A.
    Klaeser, B.
    EUROPEAN JOURNAL OF NUCLEAR MEDICINE AND MOLECULAR IMAGING, 2018, 45 : S310 - S311
  • [39] A multi-paradigm decision modeling framework for combat system effectiveness measurement based on domain-specific modeling
    Xiao-bo Li
    Yong-lin Lei
    Hans Vangheluwe
    Wei-ping Wang
    Qun Li
    Journal of Zhejiang University SCIENCE C, 2013, 14 : 311 - 331
  • [40] A multi-paradigm language for reactive synthesis
    Filippidis, Ioannis
    Murray, Richard M.
    Holzmann, Gerard J.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (202): : 73 - 97