ERTSAL: a prototype of a domain-specific aspect language for analysis of embedded real-time systems

  • Authors:
  • William Sousan;Victor Winter;Mansour Zand;Harvey Siy

  • Affiliations:
  • Technical Support Inc.;University of Nebraska at Omaha;University of Nebraska at Omaha;University of Nebraska at Omaha

  • Venue:
  • Proceedings of the 2nd workshop on Domain specific aspect languages
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

A primary characteristic of Embedded Real-Time Systems (ERTS) is the fact that they are resource constrained. Such constraints present unique challenges to the embedded systems programmer who must develop software satisfying a given set of functional requirements while simultaneously addressing the limitations of available resources and dependability concerns. This paper describes ERTSAL -- a domain-specific aspect language suitable for use by embedded systems software developers that is comprised of domain specific instructions for use in the monitoring, evaluating, and debugging of ERTS. ERTSAL abstractions shield developers from the intricacies of AspectC++ and the idiosyncrasies of an underlying RTOS. The semantics of ERTSAL is defined in terms of AspectC++. ERTSAL aspects are automatically transformed to corresponding AspectC++ aspects using the transformation system HATS.