Model-based development of embedded systems

被引：0
|
作者：
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII
机构：
[1] Huhn, Michaela
[2] Philipps, Jan
[3] Schätz, Bernhard
[4] Koß, Dagmar
来源：
Huhn, M. | 1600年 / TU Clausthal, Adolph-Roemer-StraBe 2A, 38678 Clausthal-Zellerfeld, Germany卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [11] Integrating Safety Analysis into the Model-based Development Toolchain of Automotive Embedded Systems
    Biehl, Matthias
    Chen DeJiu
    Torngren, Martin
    ACM SIGPLAN NOTICES, 2010, 45 (04) : 125 - 131
  • [12] Incorporating resource safety verification to executable model-based development for embedded systems
    Yi, Jianliang
    Woo, Honguk
    Browne, James C.
    Mok, Aloysius K.
    Xie, Fei
    Atkins, Ella
    Lee, Chan-Gun
    PROCEEDINGS OF THE 14TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, 2008, : 137 - +
  • [13] MODEL-BASED DEVELOPMENT FRAMEWORK FOR DISTRIBUTED EMBEDDED CONTROL OF AIRCRAFT FUEL SYSTEMS
    Insaurralde, Carlos C.
    Seminario, Miguel A.
    Jimenez, Juan F.
    Giron-Sierra, Jose M.
    29TH DIGITAL AVIONICS SYSTEMS CONFERENCE: IMPROVING OUR ENVIRONMENT THROUGH GREEN AVIONICS AND ATM SOLUTIONS, 2010,
  • [14] Integrating Safety Analysis into the Model-based Development Toolchain of Automotive Embedded Systems
    Biehl, Matthias
    Chen DeJiu
    Torngren, Martin
    LCTES 10-PROCEEDINGS OF THE ACM SIGPLAN/SIGBED 2010 CONFERENCE ON LANGUAGES, COMPILERS, & TOOLS FOR EMBEDDED SYSTEMS, 2010, : 125 - 131
  • [15] An Automated Software Verification Tool for Model-based Development of Embedded Systems with Simulink®
    Boercsoek, Josef
    Chaaban, Walid
    Schwarz, Michael
    Sheng, Huiyun
    Sheleh, Oleksandr
    Batchuluun, Batsuren
    2009 XXII INTERNATIONAL SYMPOSIUM ON INFORMATION, COMMUNICATION AND AUTOMATION TECHNOLOGIES, 2009, : 45 - 50
  • [16] Model-based software development - A Process for safety-critical embedded Systems
    Kuschnerus, Dirk
    Gerding, Michael
    Bilgic, Attila
    Musch, Thomas
    ATP EDITION, 2012, (7-8): : 60 - 66
  • [17] Model-based approaches and frameworks for embedded software systems
    Fernandes, Joao M.
    Dori, Dov
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2012, 8 (01) : 1 - 2
  • [18] Towards a Workflow for Model-Based Testing of Embedded Systems
    Zafar, Muhammad Nouman
    Afzal, Wasif
    Enoiu, Eduard
    A-TEST '21: PROCEEDINGS OF THE 12TH INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION, 2021, : 33 - 40
  • [19] A Model-Based Testing Framework for Automotive Embedded Systems
    Marinescu, Raluca
    Saadatmand, Mehrdad
    Bucaioni, Alessio
    Seceleanu, Cristina
    Pettersson, Paul
    2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 38 - 47
  • [20] Model-based approaches and frameworks for embedded software systems
    João M. Fernandes
    Dov Dori
    Innovations in Systems and Software Engineering, 2012, 8 (1) : 1 - 2
12345