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

William Sousan, Victor Winter, Mansour Zand, Harvey Siy

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationDSAL'07
Subtitle of host publicationSecond Workshop on Domain-Specific Aspect Languages
DOIs
StatePublished - 2007
EventDSAL'07: 2nd Workshop on Domain-Specific Aspect Languages - Vancouver, BC, Canada
Duration: Mar 12 2007Mar 12 2007

Publication series

NameDSAL'07: Second Workshop on Domain-Specific Aspect Languages

Conference

ConferenceDSAL'07: 2nd Workshop on Domain-Specific Aspect Languages
Country/TerritoryCanada
CityVancouver, BC
Period3/12/073/12/07

Keywords

  • Domain-specific aspect language
  • ERTSAL
  • Embedded real-time systems
  • HATS
  • Program transformation

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'ERTSAL: A prototype of a domain-specific aspect language for analysis of embedded real-time systems'. Together they form a unique fingerprint.

Cite this