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 条
  • [1] A unified logical framework for explanations in classifier systems
    Liu, Xinghan
    Lorini, Emiliano
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2023, 33 (02) : 485 - 515
  • [2] Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis
    Hayden, Richard A.
    Bradley, Jeremy T.
    Clark, Allan
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (01) : 97 - 118
  • [3] A unified framework for design and performance analysis of distributed systems
    Jonkers, H
    Janssen, W
    Verschut, A
    Wierstra, E
    [J]. IEEE INTERNATIONAL COMPUTER PERFORMANCE AND DEPENDABILITY SYMPOSIUM -PROCEEDINGS, 1998, : 109 - 118
  • [4] DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems
    Hong, KJ
    Kim, TG
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2006, 48 (04) : 221 - 234
  • [5] DEVS framework for modelling, simulation, analysis, and design of hybrid systems
    Zeigler, BP
    Song, HS
    Kim, TG
    Praehofer, H
    [J]. HYBRID SYSTEMS II, 1995, 999 : 529 - 551
  • [6] A Specification Analysis Framework for Aircraft Systems
    Deppen, Timothy
    Raczkowski, Brian
    Amrhein, Marco
    Wells, Jason
    Walters, Eric
    Bodie, Mark
    Patnaik, Soumya
    [J]. SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2016, 9 (01): : 82 - 90
  • [7] A logical framework to model software development by multiple agents following a common specification
    Pitsiladis, Georgios, V
    Stefaneas, Petros S.
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2023, 34 (05) : 977 - 1000
  • [8] Unified specification and performance evaluation using stochastic process algebras
    Gorrieri, R
    Herzog, U
    Hillston, J
    [J]. PERFORMANCE EVALUATION, 2002, 50 (2-3) : 79 - 82
  • [9] A Unified Diagnosability Evaluation Framework for Complex Systems
    Liu, Ying
    Song, Lijun
    Zhang, Shigang
    Hu, Zheng
    [J]. 2013 PROGNOSTICS AND HEALTH MANAGEMENT CONFERENCE (PHM), 2013, 33 : 1069 - 1074
  • [10] Development of Discrete Event System Specification (DEVS) Building Performance Models for Building Energy Design
    Gunay, Huseyin Burak
    O'Brien, Liam
    Goldstein, Rhys
    Breslav, Simon
    Khan, Azam
    [J]. SYMPOSIUM ON SIMULATION FOR ARCHITECTURE AND URBAN DESIGN (SIMAUD 2013) - 2013 SPRING SIMULATION MULTI-CONFERENCE (SPRINGSIM' 13), 2013, 45 (08): : 162 - 169
12345