Matlab extensions for the development, testing and verification of real-time DSP software

被引：0
|
作者：
Magee, DP [1 ]
机构：
[1] Texas Instruments Inc, Dallas, TX 75243 USA
来源：
42nd Design Automation Conference, Proceedings 2005 | 2005年
关键词：
C intrinsics; Matlab; DSP software; optimization; verification;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept that can be combined with the MATLAB executable interface to develop, evaluate and test DSP software within a single environment. Programming guidelines and optimization results are also provided to demonstrate the effectiveness of the intrinsics software development approach.
引用
收藏
页码：603 / 606
页数：4
相关论文
共 50 条
  • [1] A Software Toolchain for Real-Time Testing of Synchrophasor Algorithms in MATLAB
    Kumar, Lalit
    Ahmed, Shehab
    Vanfretti, Luigi
    Kishor, Nand
    [J]. 2022 INTERNATIONAL CONFERENCE ON SMART GRID SYNCHRONIZED MEASUREMENTS AND ANALYTICS - SGSMA 2022, 2022,
  • [2] On development of testing software for a special Chinese real-time concurrent software
    Li, Weihua
    Zhou, Xingshe
    [J]. Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University, 1995, 13 (03): : 449 - 452
  • [3] The Real-Time Simulator for Protective Relays Testing Using MATLAB/Simulink Software
    Smolarczyk, Adam
    Kowalik, Ryszard
    Bartosiewicz, Emil
    [J]. 2014 POWER SYSTEMS COMPUTATION CONFERENCE (PSCC), 2014,
  • [4] Formal verification of UML statecharts with real-time extensions
    David, A
    Möller, MO
    Yi, W
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2306 : 218 - 232
  • [5] Verification and integration of real-time control software
    Alur, Rajeev
    [J]. NEXT GENERATION DESIGN AND VERIFICATION METHODOLOGIES FOR DISTRIBUTED EMBEDDED CONTROL SYSTEMS, 2007, : 47 - +
  • [6] Concurrent embedded real-time software verification
    Hsiung, PA
    [J]. 24TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COSPSAC 2000), 2000, 24 : 516 - 521
  • [7] Decision problems for the verification of real-time software
    Emmi, Michael
    Majumdar, Rupak
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 200 - 211
  • [8] Complexity Bounds for the Verification of Real-Time Software
    Chadha, Rohit
    Legay, Axel
    Prabhakar, Pavithra
    Viswanathan, Mahesh
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2010, 5944 : 95 - +
  • [9] DEVELOPMENT OF A MATLAB SOFTWARE FOR REAL-TIME MAPPING OF ELECTRIC FIELDS ON TRANSMISSION POWER LINE
    Junior, Jovanio
    Marcos, Rogerio
    Tenorio, Carlos
    Mateus, Alexandre
    Egoavil, Ciro
    [J]. INTERNATIONAL JOURNAL OF TECHNOLOGY, 2011, 2 (02): : 164 - 170
  • [10] Formal design and verification of real-time embedded software
    Hsiung, PA
    Lin, SW
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2004, 3302 : 382 - 397
12345