Loading...
Please wait, while we are loading the content...
Similar Documents
ERTSAL: a prototype of a domain-specific aspect language for analysis of embedded real-time systems
| Content Provider | ACM Digital Library |
|---|---|
| Author | Winter, Victor Zand, Mansour Siy, Harvey Sousan, William |
| 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. |
| File Format | |
| ISBN | 9781595936592 |
| DOI | 10.1145/1255400.1255401 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2007-03-12 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Program transformation Hats Ertsal Domain-specific aspect language Embedded real-time systems |
| Content Type | Text |
| Resource Type | Article |
