Article

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

Authors:

William Sousan,

Victor Winter,

Mansour Zand,

Harvey SiyAuthors Info & Claims

DSAL '07: Proceedings of the 2nd workshop on Domain specific aspect languages

Pages 1 - es

https://doi.org/10.1145/1255400.1255401

Published: 12 March 2007 Publication History

Get Access

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.

References

[1]

D. N. C. N. A. Tesanovic, J. Hansson and P. Uhlin. Aspect-Level WCET Analyzer: a Tool for Automated WCET Analysis of a Real-Time Software Composed Using Aspects and Components. In 3^rd International Workshop on Worst-Case Execution Time Analysis (WCET 2003) in connection with 16^th IEEE Euromicro Conference on Real-Time Systems (ECRTS04), Porto, July 2003.

Google Scholar

[2]

B. Boehm. Software Engineering Economics. Prentice-Hall, 1981.

Digital Library

Google Scholar

[3]

M. Bruntink, A. van Deursen, and T. Tourwé. Isolating idiomatic crosscutting concerns. In Proceedings International Conference on Software Maintenance (ICSM 2005), pages 37--46. IEEE Computer Society, 2005.

Digital Library

Google Scholar

[4]

Y. Coady, G. Kiczales, M. Feeley, and G. Smolyn. Using AspectC to Improve the Modularity of Path-Specific Customization in Operating System Code. In Joint European Software Engineering Conference (ESEC) and 9^th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-9), pages 88--98. ACM Press, 2001.

Digital Library

Google Scholar

[5]

T. Elrad, R. E. Filman, and A. Bader. Aspect-oriented programming: Introduction. Commun. ACM, 44(10):29--32, 2001.

Digital Library

Google Scholar

[6]

P. Fradet and M. Suedholt. An Aspect Language for Robust Programming. In AOP Workshop at ECOOP '99, 1999.

Digital Library

Google Scholar

[7]

R. P. C. Z. Y. M. H. J. Stankovic, R. Zhu and B. Ellis. Vest: An aspect-based composition tool for real-time systems. In IEEE Real Time Technology and Applications Symposium, pages 58--69, May 2003.

Digital Library

Google Scholar

[8]

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold. Getting Started with ASPECT J. Commun. ACM, 44(10):59--65, 2001.

Digital Library

Google Scholar

[9]

D. Lohmann, W. Schröder-Preikschat, and O. Spinczyk. On the Design and Development of a Customizable Embedded Operating System. In Proceedings of the International Workshop on Dependable Embedded Systems, 23^rd Symposium on Reliable Distributed Systems (SRDS 2004), October 2004.

Google Scholar

[10]

K. Mehner and A. Wagner. An Assessment of Aspect Language Design. In Position Paper Young Researcher Workshop, GCSE '99., 1999.

Google Scholar

[11]

O. Spinczyk, D. Lohmann, and M. Urban. AspectC++: an AOP Extension for C++. Software Developer's Journal, pages 68--76, May 2005.

Google Scholar

[12]

A. Tesanovic, K. Sheng, and J. Hansson. Application-Tailored Database Systems: a Case of Aspects in an Embedded Database. In Proceedings of the 8^th IEEE International Database Engineering and Applications Symposium (IDEAS'04), IEEE Computer Society, July 2004.

Digital Library

Google Scholar

[13]

Y. Usui and S. Chiba. Bugdel: An Aspect-Oriented Debugging System. In Software Engineering Conference, 2005. APSEC '05. 12^th , pages 790--795, Dec 2005.

Digital Library

Google Scholar

[14]

V. Winter and J. Beranek. Program Transformation Using HATS 1.84. In Generative and Transformational Techniques in Software Engineering (GTTSE), volume 4143 of LNCS, 2006.

Digital Library

Google Scholar

Cited By

View all

Fabry JDinkelaker TNoyé JTanter É(2015)A Taxonomy of Domain-Specific Aspect LanguagesACM Computing Surveys10.1145/268502847:3(1-44)Online publication date: 17-Feb-2015
https://dl.acm.org/doi/10.1145/2685028
Driver CReilly SLinehan ÉCahill VClarke S(2011)Managing embedded systems complexity with aspect-oriented model-driven engineeringACM Transactions on Embedded Computing Systems (TECS)10.1145/1880050.188005710:2(1-26)Online publication date: 7-Jan-2011
https://dl.acm.org/doi/10.1145/1880050.1880057
Soule PSoule P(2010)An Aspect-Oriented ApproachAutonomics Development: A Domain-Specific Aspect Language Approach10.1007/978-3-0346-0540-3_3(41-66)Online publication date: 25-Jun-2010
https://doi.org/10.1007/978-3-0346-0540-3_3
Show More Cited By

Index Terms

ERTSAL: a prototype of a domain-specific aspect language for analysis of embedded real-time systems
1. Software and its engineering
  1. Software notations and tools

Recommendations

Pluggable AOP: designing aspect mechanisms for third-party composition
Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications

Studies of Aspect-Oriented Programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. Languages specified in this manner have a fixed, non-extensible AOP functionality. This paper argues the ...
Pluggable AOP: designing aspect mechanisms for third-party composition
OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Studies of Aspect-Oriented Programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. Languages specified in this manner have a fixed, non-extensible AOP functionality. This paper argues the ...
Towards a DSAL for object layout in virtual machines
DSAL '08: Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages

High-level language virtual machine implementations offer a challenging domain for modularization, not only because they are inherently complex, but also because efficiency is not likely to be traded for modularity. The central data structure used ...

Comments

Information & Contributors

Information

Published In

DSAL '07: Proceedings of the 2nd workshop on Domain specific aspect languages

March 2007

29 pages

ISBN:9781595936592

DOI:10.1145/1255400

Conference Chairs:
Johan Fabry
INRIA Futurs - LIFL, Villeneuve d'Ascq, France
,
Damijan Rebernak
University of Maribor, Maribor, Slovenia
,
Thomas Cleenewerck
Vrije Universiteit Brussel, Brussel, Belgium
,
Anne-Francoise Lemeur
LIFL, ADAM Team, Villeneuve d'Ascq, France
,
Jacques Noyé
Ecole des Mines de Nantes, NANTES Cedex, France
,
Éric Tanter
DCC - University of Chile, Santiago, Chile

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 March 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

AOSD07

AOSD07: 6th International Conference on Aspect-Oriented Software Development

March 12, 2007

British Columbia, Vancouver, Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
205
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Fabry JDinkelaker TNoyé JTanter É(2015)A Taxonomy of Domain-Specific Aspect LanguagesACM Computing Surveys10.1145/268502847:3(1-44)Online publication date: 17-Feb-2015
https://dl.acm.org/doi/10.1145/2685028
Driver CReilly SLinehan ÉCahill VClarke S(2011)Managing embedded systems complexity with aspect-oriented model-driven engineeringACM Transactions on Embedded Computing Systems (TECS)10.1145/1880050.188005710:2(1-26)Online publication date: 7-Jan-2011
https://dl.acm.org/doi/10.1145/1880050.1880057
Soule PSoule P(2010)An Aspect-Oriented ApproachAutonomics Development: A Domain-Specific Aspect Language Approach10.1007/978-3-0346-0540-3_3(41-66)Online publication date: 25-Jun-2010
https://doi.org/10.1007/978-3-0346-0540-3_3
Nusayr ACook JCleenewerck TFabry JLe Meur ANoyé JTanter É(2009)AOP for the domain of runtime monitoringProceedings of the 4th workshop on Domain-specific aspect languages10.1145/1509307.1509310(7-10)Online publication date: 3-Mar-2009
https://dl.acm.org/doi/10.1145/1509307.1509310
Munnelly JClarke SWohlstadter ELohman DGibbs C(2008)Infrastructure for ubiquitous computingProceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software10.1145/1404891.1404898(1-7)Online publication date: 31-Mar-2008
https://dl.acm.org/doi/10.1145/1404891.1404898

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Pluggable AOP: designing aspect mechanisms for third-party composition

Pluggable AOP: designing aspect mechanisms for third-party composition

Towards a DSAL for object layout in virtual machines

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations