skip to main content
10.1145/1029997.1030014acmconferencesArticle/Chapter ViewAbstractPublication PagesfseConference Proceedingsconference-collections
Article

Hardware/software co-design for power system test development

Published: 05 November 2004 Publication History

Abstract

Many hardware/software co-design models have been proposed [7,2,5,6 ]that attempt to address problems in the hardware/software interface,in partitioning the system between hardware and software, and in finding a uniform method of verifying the system 's correctness. This paper describes the High Order Object-oriented Modeling Technique [4,3 ]and its use in specifying and designing a hardware-in-the-loop test environment or the non-trivial application of bulk power systems control.A HOOMT model o the system for the real system and the test system is given. The paper also presents our solution to the mapping of requirements from the real system to the test system.

References

[1]
E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns, Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.
[2]
T.-Y. Lee, P.-A. Hsiung, and S.-J. Chen. Desc: A hardware-software codesign methodology for distributed embedded systems. IEICE Transactions, March 2001.
[3]
X. F. Liu, H. Lin, and L. Dong. A systematic approach to the integration of object modeling with structured analysis based on high order object model. International Journal of Computer and Information Science (IJCIS), 2(2):74--96, June 2001.
[4]
X. F. Liu and H. W. Lin. High-order object model based software analysis. In Proc. of the 1997 IEEE International Conference on Computer Software and Application(COMPSAC97), August 1997.
[5]
D. Morris, D. G. Evans, and S. Schofield. Simulating the behavior of computer systems: Co-simulation of hardware/software. The Computer Journal, 40(10), 1997.
[6]
E. Nasr, J. McDermid, and B. Bernat. Eliciting and spedifying requirements with use cases for embedded systems. In Proceedings of the Seventh International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS), 2002.
[7]
B. Tabbara, E. Filippi, L. Lavagno, M. Sgroi, and A. Sangiovanni-Vincentelli. Fast hardware-software co-simulation using VHDL models. In Design Automation and Test in Europe (DATE), March 1999.

Cited By

View all
  • (2010)UPBOTProceedings of the 3rd international conference on Cyber security experimentation and test10.5555/1924551.1924552(1-8)Online publication date: 9-Aug-2010
  • (2007)Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power GridSeventh International Conference on Quality Software (QSIC 2007)10.1109/QSIC.2007.4385521(363-369)Online publication date: Oct-2007
  • (2006)A Methodology for Structured Object-Oriented Elicitation and Analysis of Temporal Constraints in Hardware/Software Co-analysis and Co-design of Real-Time SystemsProceedings of the 30th Annual International Computer Software and Applications Conference - Volume 0110.1109/COMPSAC.2006.11(281-290)Online publication date: 17-Sep-2006

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
WISER '04: Proceedings of the 2004 ACM workshop on Interdisciplinary software engineering research
November 2004
96 pages
ISBN:1581139888
DOI:10.1145/1029997
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 November 2004

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. HOOMT
  2. hardware/software co-design
  3. system test
  4. test development

Qualifiers

  • Article

Conference

WISER04
Sponsor:

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 30 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2010)UPBOTProceedings of the 3rd international conference on Cyber security experimentation and test10.5555/1924551.1924552(1-8)Online publication date: 9-Aug-2010
  • (2007)Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power GridSeventh International Conference on Quality Software (QSIC 2007)10.1109/QSIC.2007.4385521(363-369)Online publication date: Oct-2007
  • (2006)A Methodology for Structured Object-Oriented Elicitation and Analysis of Temporal Constraints in Hardware/Software Co-analysis and Co-design of Real-Time SystemsProceedings of the 30th Annual International Computer Software and Applications Conference - Volume 0110.1109/COMPSAC.2006.11(281-290)Online publication date: 17-Sep-2006

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media