Model-Based Implementation of Real-Time Systems

被引：0
|
作者：
Sacha, Krzysztof [1 ]
机构：
[1] Warsaw Univ Technol, PL-00665 Warsaw, Poland
来源：
COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS | 2008年 / 5219卷
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
A method is presented for modeling, verification and automatic programming of PLC controllers. The method offers a formal model of requirements, the means for defining and verifying safe behavior, and a technique for generating program code. The modeling language is UML state machine, which provides a widely accepted means for writing a specification in a suitable high level of abstraction. Such an abstract specification can be validated by the user, verified by means of a model-checker and translated automatically into a program code, which preserves the correctness and safety of the specification. The program code is written in one of the standardized IEC 61131 languages.
引用
收藏
页码：332 / 345
页数：14
相关论文
共 50 条
  • [21] A real-time model-based virtual phone
    Huang, CF
    Hung, CS
    Lin, IC
    Yang, TJ
    Ouhyoung, M
    [J]. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN & COMPUTER GRAPHICS, 1999, : 921 - 925
  • [22] Model-Based Real-Time Head Tracking
    Jacob Ström
    [J]. EURASIP Journal on Advances in Signal Processing, 2002
  • [23] Model-based real-time head tracking
    Ström, J
    [J]. EURASIP JOURNAL ON APPLIED SIGNAL PROCESSING, 2002, 2002 (10) : 1039 - 1052
  • [24] Model-based Design for Real-time Software
    Li, Yan
    Zhang Hong-Jun
    [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2008, 8 (08): : 91 - 95
  • [25] Model-based adaptivity in real-time scheduling
    Bakay, A
    [J]. SELF-ADAPTIVE SOFTWARE: APPLICATIONS, 2001, 2614 : 52 - 65
  • [26] Distributed real-time model-based diagnosis
    Chung, SH
    Barrett, A
    [J]. 2003 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-8, 2003, : 349 - 355
  • [27] Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time Systems
    Homm, Daniel
    Eckert, Juergen
    German, Reinhard
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015), 2015, 9509 : 22 - 31
  • [28] A Model-Based Testing Technique for Component-Based Real-Time Embedded Systems
    Guan, Jing
    Offutt, Jeff
    [J]. 2015 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2015,
  • [29] Model-based requirements specification of real-time systems with UML, SysML and MARTE
    Ribeiro, Fabiola Goncalves C.
    Pereira, Carlos E.
    Rettberg, Achim
    Soares, Michel S.
    [J]. SOFTWARE AND SYSTEMS MODELING, 2018, 17 (01): : 343 - 361
  • [30] Real-time Model-based Estimation of SOC and SOH for Energy Storage Systems
    Cacciato, M.
    Nobile, G.
    Scarcella, G.
    Scelba, G.
    [J]. 2015 IEEE 6TH INTERNATIONAL SYMPOSIUM ON POWER ELECTRONICS FOR DISTRIBUTED GENERATION SYSTEMS (PEDG), 2015, : 65 - 72
12345