Abstract State Machines:: a unifying view of models of computation and of system design frameworks

被引：14
|
作者：
Börger, E [1 ]
机构：
[1] Univ Pisa, Dipartimento Informat, I-56125 Pisa, Italy
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2005年 / 133卷 / 1-3期
关键词：
D O I：
10.1016/j.apal.2004.10.007
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We capture the principal models of computation and specification in the literature by a uniform set of transparent mathematical descriptions which-starting from scratch-provide the conceptual basis for a comparative study.(1) (c) 2004 Elsevier B.V. All rights reserved.
引用
收藏
页码：149 / 171
页数：23
相关论文
共 45 条
  • [31] Calibration of abstract performance models for system-level design space exploration
    Pimentel, Andy D.
    Thompson, Mark
    Polstra, Simon
    Erbas, Cagkan
    JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2008, 50 (02): : 99 - 114
  • [32] Calibration of Abstract Performance Models for System-Level Design Space Exploration
    Andy D. Pimentel
    Mark Thompson
    Simon Polstra
    Cagkan Erbas
    Journal of Signal Processing Systems, 2008, 50 : 99 - 114
  • [33] On the calibration of abstract performance models for system-level design space exploration
    Pimentel, Andy D.
    Thompson, Mark
    Polstra, Simon
    Erbas, Cagkan
    2006 INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING AND SIMULATION, PROCEEDINGS, 2006, : 71 - +
  • [34] Extracting High-Level System Specifications from Source Code via Abstract State Machines
    Ferrarotti, Flavio
    Pichler, Josef
    Moser, Michael
    Buchgeher, Georg
    MODEL AND DATA ENGINEERING, MEDI 2019, 2019, 11815 : 267 - 283
  • [35] State Machines Consistency between Model Based System Engineering and Safety Assessment Models
    Vidalie, Julien
    Kendel, Mohamed-Sami
    Mhenni, Faida
    Batteux, Michel
    Choley, Jean-Yves
    7TH IEEE INTERNATIONAL SYMPOSIUM ON SYSTEMS ENGINEERING (IEEE ISSE 2021), 2021,
  • [36] Design and Implementation of a Control System for an Autonomous Reforestation Machine Using Finite State Machines
    Rossander, Morgan
    Lideskog, Hakan
    FORESTS, 2023, 14 (07):
  • [37] Models of computation for specification and design methodology frameworks for parallel and distributed real-time embedded multiprocessor signal processing systems
    Janka, R
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOL VI, PROCEEDINGS, 1999, : 2988 - 2994
  • [38] Design of State Feedback Servo System for Fractional-order Models of Inverters
    Buchade, Pallavi C.
    Vyawahare, Vishwesh A.
    Bhusari, Balu P.
    2014 Annual IEEE India Conference (INDICON), 2014,
  • [39] A Review on Mathematical Models for the Layout Design of the Cell Manufacturing System in Dynamic State
    Khouzani, Mehdi Mollakarimi
    Shahraki, Alireza
    INDUSTRIAL ENGINEERING AND MANAGEMENT SYSTEMS, 2020, 19 (01): : 164 - 173
  • [40] Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design
    Walter, Benedikt
    Martin, Jan
    Schmidt, Jonathan
    Dettki, Hanna
    Rudolph, Stephan
    MODELSWARD: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2019, 2019, : 193 - 200
12345