Tool-supported hierarchical design of distributed real-time systems

被引：8
|
作者：
Dierks, H [1 ]
Tapken, J [1 ]
机构：
[1] Univ Oldenburg, Dept Comp Sci, D-26111 Oldenburg, Germany
来源：
10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS | 1998年
关键词：
D O I：
10.1109/EMWRTS.1998.685088
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLC-Automaton [4] by applying this method to a real-world case study. To this end we use the tool which was built for PLC-Automata. This tool called MOBY/PLC provides simulation and verification methods to validate a design. Furthermore, the design carl be translated into executable source code for real machines.
引用
收藏
页码：222 / 229
页数：8
相关论文
共 50 条
  • [1] Hierarchical design method for real-time distributed systems
    Yamane, S
    [J]. FIFTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 1998, : 189 - 192
  • [2] A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications
    Gunawan, Linda Ariani
    Kraemer, Frank Alexander
    Herrmann, Peter
    [J]. ENGINEERING SECURE SOFTWARE AND SYSTEMS, 2011, 6542 : 142 - 155
  • [3] Simulation and verification tool for hierarchical real-time systems
    Sebestyénovà, J
    [J]. 11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 255 - 261
  • [4] Tool-Supported Mechatronic System Design
    Hyde, R. A.
    Wendlandt, J.
    [J]. IECON 2008: 34TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-5, PROCEEDINGS, 2008, : 1615 - 1620
  • [5] A tool-supported design framework for safety critical interactive systems
    Bastide, R
    Navarre, D
    Palanque, P
    [J]. INTERACTING WITH COMPUTERS, 2003, 15 (03) : 309 - 328
  • [6] DESIGN OF REAL-TIME SYSTEMS - A METHOD AND A TOOL
    PEDERSEN, BG
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 379 - 385
  • [7] MOBY/PLC - A design tool for hierarchical real-time automata
    Tapken, J
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 326 - 329
  • [8] Tool-supported verification of contingency software design in evolving, autonomous systems
    Lutz, Robyn
    Patterson-Hine, Ann
    Bajwa, Anupa
    [J]. ISSRE 2006:17TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2006, : 213 - +
  • [9] Tool-supported design of data aggregation processes in cloud monitoring systems
    Cai, Simin
    Gallina, Barbara
    Nystrom, Dag
    Seceleanu, Cristina
    Larsson, Alf
    [J]. JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2019, 10 (07) : 2519 - 2535
  • [10] Network conscious design of distributed real-time systems
    Park, JW
    Kim, YS
    Hong, SS
    Saksena, M
    Noh, SH
    Kwon, WH
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 1998, 45 (02) : 131 - 156
12345