Formal Methods in Industrial Dependable Systems Design - The TTTech Example

被引：0
|
作者：
Steiner, Wilfried [1 ]
机构：
[1] TTTech, Kingsport, TN 37664 USA
来源：
PROCEEDINGS OF THE 17TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD 2017) | 2017年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：8 / 8
页数：1
相关论文
共 50 条
  • [31] Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems
    Teige, Tino
    Eggers, Andreas
    Scheibler, Karsten
    Stasch, Matthias
    Brockmeyer, Udo
    Holberg, Hans J.
    Bienmueller, Tom
    [J]. FORMAL METHODS, FM 2021, 2021, 13047 : 725 - 729
  • [32] A NEW PARADIGM FOR THE DESIGN OF DEPENDABLE SYSTEMS
    PARHAMI, B
    [J]. 1989 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-3, 1989, : 561 - 564
  • [33] Design validation of embedded dependable systems
    Bondavalli, A
    Fantechi, A
    Latella, D
    Simoncini, L
    [J]. IEEE MICRO, 2001, 21 (05) : 52 - 62
  • [34] Consistent design of dependable control systems
    Blanke, M
    [J]. CONTROL ENGINEERING PRACTICE, 1996, 4 (09) : 1305 - 1312
  • [35] FORMAL METHODS FOR DESIGN
    MUSGRAVE, G
    [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 710 - 710
  • [36] Design and Validation of Cloud Storage Systems Using Formal Methods
    Olveczky, Peter Csaba
    [J]. TOPICS IN THEORETICAL COMPUTER SCIENCE, TTCS 2017, 2017, 10608 : 3 - 8
  • [37] Formal systems, not methods
    Loomes, M
    Christianson, B
    Davey, N
    [J]. TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 47 - 64
  • [38] Evolution of Design Support Methods - from Formal Systems to Environment
    Asanowicz, Aleksander
    [J]. ECAADE 2009: COMPUTATION: THE NEW REALM OF ARCHITECTURAL DESIGN, 2009, : 817 - 824
  • [39] Formal Methods for Industrial Interlocking Verification
    Chadwick, Simon
    James, Phillip
    Roggenbach, Markus
    Werner, Tom
    [J]. 2018 INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2018,
  • [40] Industrial Practice in Formal Methods: A Review
    Bicarregui, J. C.
    Fitzgerald, J. S.
    Larsen, P. G.
    Woodcock, J. C. P.
    [J]. FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 810 - +
12345