A model-based approach for executable specifications on reconfigurable hardware

被引：5

作者：

Schattkowsky, T ^{[1
]}

Mueller, W ^{[1
]}

Rettberg, A ^{[1
]}

机构：

[1] Univ Gesamthsch Paderborn, C LAB, Paderborn, Germany

来源：

DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS | 2005年

关键词：

D O I：

10.1109/DATE.2005.20

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mainly in the area of software systems. Considering the area of electronic design automation, however, we currently see only very few approaches, which investigate UML for hardware design and hardware/software co-design. In this article, we present an approach for executable UML closing the gap from system specification to its model-based execution on reconfigurable hardware. For this purpose, we present our Abstract Execution Platform (AEP), which is based on a Virtual Machine running an executable UML subset for embedded software and reconfigurable hardware. This subset combines UML 2.0 Class, StateMachine and Sequence Diagrams for complete system specification. We describe how these binary encoded UML specifications can be directly executed and give the implementation of such a virtual machine on a Virtex II FPGA. Finally, we present evaluation results comparing the AEP implementation with C code on a C167 nzicrocontroller.

引用

页码：692 / 697

页数：6

共 50 条

[21] Generation and Verification of Executable Assurance Case by Model-based Engineering
Yan, Fang
2021 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2021), 2021, : 323 - 326
[22] Model-based diagnosis of hardware designs
Friedrich, G
Stumptner, M
Wotawa, F
ARTIFICIAL INTELLIGENCE, 1999, 111 (1-2) : 3 - 39
[23] From Subject-Phase Model Based Process Specifications to an Executable Workflow
Fleischmann, Albert
S-BPM ONE - SCIENTIFIC RESEARCH, 2012, 104 : 77 - 90
[24] Analysis and design of model-based user interfaces -: An approach to refining specifications towards implementation
Molina, PJ
Trætteberg, H
Computer-Aided Design of User Interfaces IV, 2005, : 211 - 222
[25] A Model-Based Approach for Integrating Executable Architectural Design Patterns in Space Flight Software Product Lines
Fant, Julie Street
Gomaa, Hassan
Pettit, Robert G.
SOFTWARE TECHNOLOGIES (ICSOFT 2015), 2016, 586 : 287 - 306
[26] Model-based Approach for Automated Test Case Generation from Visual Requirement Specifications
Singi, Kapil
Era, Dipin
Kaulgud, Vikrant
2015 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2015,
[27] Model-based performance analysis for reconfigurable coprocessors
Charlwood, SM
Mangnall, JP
Quigley, SF
RECONFIGURABLE TECHNOLOGY: FPGAS AND RECONFIGURABLE PROCESSORS FOR COMPUTING AND COMMUNICATIONS III, 2001, 4525 : 36 - 47
[28] Model-based control for reconfigurable manufacturing systems
Ohashi, K
Shin, KG
2001 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2001, : 553 - 558
[29] Toward a better integration of requirements and model-based specifications
Lebeaupin, Benoit
Rauzy, Antoine
SYSTEMS ENGINEERING, 2020, 23 (06) : 751 - 769
[30] A Model-Based Methodology to Formalize Specifications of Railway Systems
Issad, Melissa
Kloul, Leila
Rauzy, Antoine
MODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2014, 2014, 8822 : 28 - 42

← 1 2 3 4 5 →