DEVS framework for systems development: Unified specification for logical analysis, performance evaluation and implementation

被引：0
|
作者：
Kim, TG
Cho, SM
Lee, WB
机构：
来源：
DISCRETE EVENT MODELING AND SIMULATION TECHNOLOGIES: A TAPESTRY OF SYSTEMS AND AI-BASED THEORIES AND METHODOLOGIES | 2001年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper presents a DEVS-based methodology for systems development. The methodology is a unified framework for developing real-time software systems in which logical analysis, performance evaluation, and implementation can be performed, all based on the DEVS formalism. Extended DEVS formalisms, namely Communicating DEVS for logical analysis and Real-time DEVS for implementation are given. Interpretation means associated with the formalisms are also given. An example of development of alternating bit protocol within the framework demonstrates effectiveness of the methodology.
引用
收藏
页码：131 / 166
页数：36
相关论文
共 50 条
  • [41] A Unified Framework for lp Analysis and Synthesis of Linear Switched Systems
    Naghnaeian, Mohammad
    Voulgaris, Petros G.
    Dullerud, Geir E.
    [J]. 2016 AMERICAN CONTROL CONFERENCE (ACC), 2016, : 715 - 720
  • [42] Evaluating the 'logical framework approach' towards learning-oriented development evaluation
    Gasper, D
    [J]. PUBLIC ADMINISTRATION AND DEVELOPMENT, 2000, 20 (01) : 17 - 28
  • [43] Stock car racing driver restraint - development and implementation of seat performance specification
    Patalak, John P.
    Melvin, John W.
    [J]. SAE International Journal of Passenger Cars - Electronic and Electrical Systems, 2009, 1 (01): : 1349 - 1355
  • [44] Implementation and performance evaluation of Profibus in the automation systems
    Hong, SH
    Kim, KA
    [J]. WFCS '97 - 1997 IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS, 1997, : 187 - 192
  • [45] Stock Car Racing Driver Restraint - Development and Implementation of Seat Performance Specification
    Patalak, John P.
    Melvin, John W.
    [J]. SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-MECHANICAL SYSTEMS, 2009, 1 (01): : 1349 - 1355
  • [46] A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems
    Chadli, Mounir
    Kim, Jin Hyun
    Legay, Axel
    Traonouez, Louis-Marie
    Naujokat, Stefan
    Steffen, Bernhard
    Larsen, Kim Guldstrand
    [J]. CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION, 2016, 9933 : 133 - 141
  • [47] DEVELOPMENT AND IMPLEMENTATION OF FINANCIAL PERFORMANCE MANAGEMENT SYSTEMS
    Bruskin, S. N.
    [J]. BIZNES INFORMATIKA-BUSINESS INFORMATICS, 2010, 12 (02): : 50 - 53
  • [48] Unified Approach to the Analysis and Performance Evaluation of Sampled-Data Control Applied to Nonlinear Systems
    Gabriel, Gabriela W.
    Geromel, Jose C.
    [J]. IFAC PAPERSONLINE, 2018, 51 (25): : 216 - 221
  • [49] MAG: A performance evaluation framework for database systems
    Khattab, AbdAlhamid
    Algergawy, Alsayed
    Sarhan, Amany
    [J]. KNOWLEDGE-BASED SYSTEMS, 2015, 85 : 245 - 255
  • [50] Analysis framework for performance evaluation of reliability management in power systems with increased uncertainty
    Heylen, E.
    Deconinck, G.
    Van Hertem, D.
    [J]. RISK, RELIABILITY AND SAFETY: INNOVATING THEORY AND PRACTICE, 2017, : 2322 - 2329
12345