Model-based development of embedded systems

被引：0
|
作者：
Conrad, Mirko [1 ]
Giese, Holger [2 ]
Rumpe, Bernhard [3 ]
Schätz, Bernhard [4 ]
机构：
[1] MathWorks, Germany
[2] Univ. Paderborn, Germany
[3] TU Braunschweig, Germany
[4] TU München, Germany
来源：
Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, MBEES 2007 | 2007年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Model-Based Validation of Safety-Critical Embedded Systems
    Feiler, Peter H.
    2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
  • [42] Model-based Synthesis for Real-time Embedded Systems
    Zhu, Qi
    2014 IEEE 57TH INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2014, : 366 - 369
  • [43] Critical Knowledge Representation for Model-Based Testing of Embedded Systems
    Havlice, Z.
    Szaboova, V.
    Vizi, J.
    IEEE 11TH INTERNATIONAL SYMPOSIUM ON APPLIED MACHINE INTELLIGENCE AND INFORMATICS (SAMI 2013), 2013, : 169 - 174
  • [44] Model-based testing of embedded systems in hardware in the loop environment
    Keranen, J. S.
    Raty, T. D.
    IET SOFTWARE, 2012, 6 (04) : 364 - 376
  • [45] ImocaGen: A Model-based Code Generator for Embedded Systems Tuning
    Guillou, Goulven
    Babau, Jean-Philippe
    PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2016), 2016, : 390 - 396
  • [46] Model-based management of embedded service systems -: An applied approach
    Illner, Stefan
    Krumm, Heiko
    Lueck, Ingo
    Pohl, Andre
    Bobek, Andreas
    Bohn, Hendrik
    Golatowski, Frank
    20TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 2, PROCEEDINGS, 2006, : 519 - +
  • [47] Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems
    Schaefer, Ina
    Poetzsch-Heffter, Arnd
    SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 95 - 104
  • [48] Automated Unit Testing in Model-based Embedded Software Development
    Luckeneder, Christoph
    Kaindl, Hermann
    Korinek, Martin
    ICSOFT: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES, 2017, : 427 - 434
  • [49] Model-Based Analysis and Development of Dependable Systems
    Buckl, Christian
    Knoll, Alois
    Schieferdecker, Ina
    Zander, Justyna
    MODEL-BASED ENGINEERING OF EMBEDDED REAL-TIME SYSTEMS, 2010, 6100 : 271 - +
  • [50] Model-based development of robotic control systems
    Fischmeister, S
    Holzmann, M
    Menkhaus, G
    ICCC 2004: SECOND IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL CYBERNETICS, PROCEEDINGS, 2004, : 13 - 13
12345