An approach based on dynamic UML diagrams and on a token player algorithm for the scenario verification of real time systems

被引：0
|
作者：
Julia, S [1 ]
Kanacilo, EM [1 ]
机构：
[1] Univ Fed Uberlandia, Fac Ciencia Comp, BR-38400902 Uberlandia, MG, Brazil
来源：
SIMULATION IN INDUSTRY | 2002年
关键词：
scheduling; model analysis; verification; real time; UML; p-time Petri net;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
The objective of this article is to present an approach based on UML dynamic diagrams and on p-time Petri Nets for scenario verification of Real Time Systems. The main idea consists of translating the sequence diagrams which express the initial specifications of the system in a unique p-time Petri Net model which represents the global behaviour of the entire system. A Token Player algorithm used for the scheduling problem of Real Time Systems and which can be seen as a simulation technique of a formal model is then applied to the obtained p-time Petri Net model for scenario verification. The approach is illustrated through an example of a batch system which can be seen as a particular case of a Real Time System.
引用
收藏
页码：377 / 381
页数：5
相关论文
共 50 条
  • [31] Model-based requirements specification of real-time systems with UML, SysML and MARTE
    Fabíola Gonçalves C. Ribeiro
    Carlos E. Pereira
    Achim Rettberg
    Michel S. Soares
    Software & Systems Modeling, 2018, 17 : 343 - 361
  • [32] An Adaptive PSO-Based Real-Time Workflow Scheduling Algorithm in Cloud Systems
    Guo, Pengze
    Xue, Zhi
    2017 17TH IEEE INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY (ICCT 2017), 2017, : 1932 - 1936
  • [33] A DYNAMIC-PROGRAMMING ALGORITHM FOR CACHE MEMORY PARTITIONING FOR REAL-TIME SYSTEMS
    SASINOWSKI, JE
    STROSNIDER, JK
    IEEE TRANSACTIONS ON COMPUTERS, 1993, 42 (08) : 997 - 1001
  • [34] A review of Petri Net based modeling and verification for embedded real-time systems
    zhang, Haitao
    Wang, Fei-Yue
    DETC 2005: ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, 2005, Vol 4, 2005, : 257 - 264
  • [35] Dynamic Reconfiguration of Real-Time Distributed Systems Based on Agents
    Esquivel-Flores, O.
    Benitez-Perez, H.
    REVISTA IBEROAMERICANA DE AUTOMATICA E INFORMATICA INDUSTRIAL, 2012, 9 (03): : 300 - 313
  • [36] Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems
    Muniz, Andre L. N.
    Andrade, Aline M. S.
    Lima, George
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (1-2) : 29 - 37
  • [37] Feedback control-based dynamic resource management in distributed real-time systems
    He, Tian
    Stankovic, John A.
    Marley, Michael
    Lu, Chenyang
    Lu, Ying
    Abdelzaher, Tarek
    Son, Sang
    Tao, Gang
    JOURNAL OF SYSTEMS AND SOFTWARE, 2007, 80 (07) : 997 - 1004
  • [38] System-level design based on UML/MARTE for FPGA-based embedded real-time systems
    Marcela Leite
    Marco Aurélio Wehrmeister
    Design Automation for Embedded Systems, 2016, 20 : 127 - 153
  • [39] System-level design based on UML/MARTE for FPGA-based embedded real-time systems
    Leite, Marcela
    Wehrmeister, Marco Aurelio
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2016, 20 (02) : 127 - 153
  • [40] Development of hard real time systems based on an object oriented approach
    Kabous, L
    Nebel, W
    PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 62 - 67
12345