Dependable Embedded Systems and Formal Methods for Industrial Critical Systems

被引：0
|
作者：
Schoitsch, Erwin [1 ]
机构：
[1] AARIT, ERCIM Working Grp Coordinator ARCS, Salzburg, Austria
来源：
ERCIM NEWS | 2009年 / 78期
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
引用
收藏
页码：9 / 9
页数：1
相关论文
共 50 条
  • [41] FMICS 2006 - 11th International Workshop on Formal Methods for Industrial Critical Systems
    Brim, Lubos
    Leucker, Martin
    [J]. ERCIM NEWS, 2006, (67): : 9 - 9
  • [42] Overview on dependable embedded systems in modern automotive
    Charfi, F
    Sellami, F
    [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 781 - 786
  • [43] Dependable embedded systems research at TU Vienna
    Kopetz, H.
    Obermaisser, R.
    Schmid, U.
    [J]. ELEKTROTECHNIK UND INFORMATIONSTECHNIK, 2005, 122 (1-2): : 33 - 37
  • [44] Abnormal events handling for dependable embedded systems
    Leyva-del-Foyo, Luis E.
    Mejia-Alvarez, Pedro
    de Niz, Dionisio
    [J]. SEVENTH MEXICAN INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE, PROCEEDINGS, 2006, : 81 - +
  • [45] Dependable communication synthesis for distributed embedded systems
    Kandasamy, N
    Hayes, JP
    Murray, BT
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2005, 89 (01) : 81 - 92
  • [46] THE PRACTICE OF FORMAL METHODS IN SAFETY-CRITICAL SYSTEMS
    LIU, SY
    STAVRIDOU, V
    DUTERTRE, B
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1995, 28 (01) : 77 - 87
  • [47] 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
  • [48] Formal methods in designing embedded systems-the SACRES experience
    Winkelmann, K
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2001, 19 (01) : 81 - 110
  • [49] SAFETY-CRITICAL SYSTEMS, FORMAL METHODS AND STANDARDS
    BOWEN, J
    STAVRIDOU, V
    [J]. SOFTWARE ENGINEERING JOURNAL, 1993, 8 (04): : 189 - 209
  • [50] Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
    Gleirscher, Mario
    Marmsoler, Diego
    [J]. EMPIRICAL SOFTWARE ENGINEERING, 2020, 25 (06) : 4473 - 4546
12345