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 条
  • [1] Model-Based Implementation of Parallel Real-Time Systems
    Triki, Ahlem
    Combaz, Jacques
    Bensalem, Saddek
    Sifakis, Joseph
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, 2013, 7793 : 235 - 249
  • [2] Model-Based Design of Real-Time Systems
    Thiele, Lothar
    [J]. 2014 26TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2014), 2014, : XVI - XVI
  • [3] Model-based Synthesis for Real-time Embedded Systems
    Zhu, Qi
    [J]. 2014 IEEE 57TH INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2014, : 366 - 369
  • [4] Model-Based Testing of Real-Time Distributed Systems
    Vain, Jueri
    Halling, Evelin
    Kanter, Gert
    Anier, Aivo
    Pal, Deepak
    [J]. DATABASES AND INFORMATION SYSTEMS, DB&IS 2016, 2016, 615 : 272 - 286
  • [5] Model transformations in the model-based development of real-time systems
    Szemethy, Tivadar
    Karsai, Gabor
    Balasubramanian, Daniel
    [J]. 13TH ANNUAL IEEE INTERNATIONAL SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS: MASTERING THE COMPLEXITY OF COMPUTER-BASED SYSTEMS, 2006, : 177 - +
  • [6] Model-Based Development of Systems-of-Systems with Real-Time Requirements
    Sanduka, Imad
    Obermaisser, Roman
    [J]. 2014 12TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2014, : 188 - +
  • [7] The real-time implementation of a model-based measurement technique on a multiprocessor instrument
    Bucci, G
    Germano, A
    Landi, C
    [J]. IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, 1996, 45 (01) : 238 - 243
  • [8] Model-Based Real-Time Testing of Embedded Automotive Systems
    Skruch, Pawel
    Buchala, Gabriel
    [J]. SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2014, 7 (02): : 337 - 344
  • [9] Model-based specification and execution of embedded real-time systems
    Schattkowsky, T
    Mueller, W
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 1392 - 1393
  • [10] Model-based, real-time control of electrical power systems
    Gonzalez, AJ
    Morris, RA
    McKenzie, FD
    Carreira, DJ
    Gann, BK
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1996, 26 (04): : 470 - 482
12345