Formal methods for analysis of heterogeneous models of embedded systems

被引：0
|
作者：
Nadjm-Tehrani, S [1 ]
机构：
[1] Linkoping Univ, Dept Comp & Informat Sci, S-58183 Linkoping, Sweden
来源：
PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN | 2000年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：141 / 146
页数：6
相关论文
共 50 条
  • [1] Programming models and methods for heterogeneous parallel embedded systems
    Casale-Brunet, Simone
    Bezati, Endri
    Mattavelli, Marco
    [J]. 2016 IEEE 10TH INTERNATIONAL SYMPOSIUM ON EMBEDDED MULTICORE/MANY-CORE SYSTEMS-ON-CHIP (MCSOC), 2016, : 289 - 296
  • [2] Formal Methods for Pattern Based Reliability Analysis in Embedded Systems
    Ghosh, Sumana
    Dasgupta, Pallab
    [J]. 2015 28TH INTERNATIONAL CONFERENCE ON VLSI DESIGN (VLSID), 2015, : 192 - 197
  • [3] Invisible formal methods for embedded control systems
    Tiwari, A
    Shankar, N
    Rushby, J
    [J]. PROCEEDINGS OF THE IEEE, 2003, 91 (01) : 29 - 39
  • [4] Dependable Embedded Systems and Formal Methods for Industrial Critical Systems
    Schoitsch, Erwin
    [J]. ERCIM NEWS, 2009, (78): : 9 - 9
  • [5] Formal Methods in Designing Embedded Systems—the SACRES Experience
    Klaus Winkelmann
    [J]. Formal Methods in System Design, 2001, 19 : 81 - 110
  • [6] Design of embedded systems: Formal models, validation, and synthesis
    Edwards, S
    Lavagno, L
    Lee, EA
    SangiovanniVincentelli, A
    [J]. PROCEEDINGS OF THE IEEE, 1997, 85 (03) : 366 - 390
  • [7] Formal Security Analysis of Smart Embedded Systems
    Tabrizi, Farid Molazem
    Pattabiraman, Karthik
    [J]. 32ND ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2016), 2016, : 1 - 15
  • [8] Formal Methods for Systems Engineering Behavior Models
    Seidner, Charlotte
    Roux, Olivier H.
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2008, 4 (04) : 280 - 291
  • [9] Formal methods in designing embedded systems-the SACRES experience
    Winkelmann, K
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2001, 19 (01) : 81 - 110
  • [10] Using formal methods in designing embedded systems for automotive applications
    Damm, W.
    Eckrich, M.
    Brockmeyer, U.
    Wittich, G.
    Holberg, H.J.
    [J]. VDI Berichte, 1997, (1374): : 349 - 366
12345