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 Citations (Scopus)

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 - Oct 30 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
CountryCanada
CityVancouver, BC
Period3/12/073/12/07

Fingerprint

Real time systems
Embedded systems
Computer debugging
Semantics
Monitoring

Keywords

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

ASJC Scopus subject areas

  • Software

Cite this

Sousan, W., Winter, V., Zand, M., & Siy, H. (2007). ERTSAL: A prototype of a domain-specific aspect language for analysis of embedded real-time systems. In DSAL'07: Second Workshop on Domain-Specific Aspect Languages [1] (DSAL'07: Second Workshop on Domain-Specific Aspect Languages). https://doi.org/10.1145/1255400.1255401

ERTSAL : A prototype of a domain-specific aspect language for analysis of embedded real-time systems. / Sousan, William; Winter, Victor; Zand, Mansour; Siy, Harvey.

DSAL'07: Second Workshop on Domain-Specific Aspect Languages. 2007. 1 (DSAL'07: Second Workshop on Domain-Specific Aspect Languages).

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

Sousan, W, Winter, V, Zand, M & Siy, H 2007, ERTSAL: A prototype of a domain-specific aspect language for analysis of embedded real-time systems. in DSAL'07: Second Workshop on Domain-Specific Aspect Languages., 1, DSAL'07: Second Workshop on Domain-Specific Aspect Languages, DSAL'07: 2nd Workshop on Domain-Specific Aspect Languages, Vancouver, BC, Canada, 3/12/07. https://doi.org/10.1145/1255400.1255401
Sousan W, Winter V, Zand M, Siy H. ERTSAL: A prototype of a domain-specific aspect language for analysis of embedded real-time systems. In DSAL'07: Second Workshop on Domain-Specific Aspect Languages. 2007. 1. (DSAL'07: Second Workshop on Domain-Specific Aspect Languages). https://doi.org/10.1145/1255400.1255401
Sousan, William ; Winter, Victor ; Zand, Mansour ; Siy, Harvey. / ERTSAL : A prototype of a domain-specific aspect language for analysis of embedded real-time systems. DSAL'07: Second Workshop on Domain-Specific Aspect Languages. 2007. (DSAL'07: Second Workshop on Domain-Specific Aspect Languages).
@inproceedings{cf05b12f70ed42459510ede468760b71,
title = "ERTSAL: A prototype of a domain-specific aspect language for analysis of embedded real-time systems",
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.",
keywords = "Domain-specific aspect language, ERTSAL, Embedded real-time systems, HATS, Program transformation",
author = "William Sousan and Victor Winter and Mansour Zand and Harvey Siy",
year = "2007",
month = "10",
day = "30",
doi = "10.1145/1255400.1255401",
language = "English (US)",
isbn = "9781595936592",
series = "DSAL'07: Second Workshop on Domain-Specific Aspect Languages",
booktitle = "DSAL'07",

}

TY - GEN

T1 - ERTSAL

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

AU - Sousan, William

AU - Winter, Victor

AU - Zand, Mansour

AU - Siy, Harvey

PY - 2007/10/30

Y1 - 2007/10/30

N2 - 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.

AB - 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.

KW - Domain-specific aspect language

KW - ERTSAL

KW - Embedded real-time systems

KW - HATS

KW - Program transformation

UR - http://www.scopus.com/inward/record.url?scp=35448989423&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=35448989423&partnerID=8YFLogxK

U2 - 10.1145/1255400.1255401

DO - 10.1145/1255400.1255401

M3 - Conference contribution

AN - SCOPUS:35448989423

SN - 9781595936592

T3 - DSAL'07: Second Workshop on Domain-Specific Aspect Languages

BT - DSAL'07

ER -