Article

Exploiting prescriptive aspects: a design time capability

Authors:

John A. Stankovic,

Prashant Nagaraddi,

Brian EllisAuthors Info & Claims

EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software

Pages 165 - 174

https://doi.org/10.1145/1017753.1017782

Published: 27 September 2004 Publication History

Abstract

Aspect oriented programming (AOP), when used well, has many advantages. Aspects are however, programming-time constructs, i.e., they relate to source code. Previously, we developed a tool called VEST that extended aspects to design time for embedded systems. Two types of design time aspects were identified which we labeled aspect checks and prescriptive aspects. In the original VEST tool several keys aspect checks and a simple form of prescriptive aspects were implemented. Prescriptive aspects are extremely powerful and result in many design time advantages and uses. This paper enhances and exploits the concept of prescriptive aspects well beyond its original purpose and results. A new prescriptive language is developed and implemented in the VEST tool. We also use prescriptive aspects in a case study for an avionics application and evaluate its benefits. The result is a tool with significant and new features for building distributed real-time embedded systems. It is shown in the case study that design time is shortened by 69%.

References

[1]

Audsley, N. C. (1991) Optimal Priority Assignment and Feasibility of Static Priority Tasks with Arbitrary Start Times, Tech. Report YCS 164, University of York, York, England.

[2]

Bettati, R., (1994) End-to-End Scheduling to Meet Deadlines in Distributed Systems, PhD Thesis, Department of Computer Science, University of Illinois at Urbana-Champaign.

Digital Library

[3]

Booch G. (1987) Software Components with Ada: Structures, Tools and Subsystems. Benjamin-Cummings, Redwood City, CA.

Digital Library

[4]

De Niz D., Rajkumar R., (2003) Time weaver: a software-through-models framework for embedded real-time systems, Proceedings of the 2003 ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems, San Diego, California, USA.

Digital Library

[5]

Gill, C., Levine, D. and Schmidt, D. (2000) The Design and Performance of a Real-Time CORBA Scheduling Service, Real-Time Systems, 20(2), Kluwer.

Digital Library

[6]

Gray, J., Bapty, T., Neema, S., and Tuck, J. (2001), Handling Crosscutting Constraints In Domain Specific Modeling, CACM, Vol. 44, No. 10.

Digital Library

[7]

Gu Z., and Shin K., (2003) An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Nets, International Conference on Distributed Computing Systems, Providence, RI.

Digital Library

[8]

Harrison T., Levine, D. and Schmidt, D. (1997), The Design and Performance of a Real-time CORBA Event Service, Proceedings of OOPSLA '97, ACM, Atlanta, GA.

Digital Library

[9]

Hatcliff, J., et. al. (2003) Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems, ICSE 2003, Portland, Oregon.

Digital Library

[10]

Humphrey, M. and Stankovic, J., (1996) CAISARTS: A Tool for Real-Time Scheduling Assistance, IEEE Real-Time Technology and Applications Symposium.

Digital Library

[11]

Kao, B., and Garcia-Molina, H., (1994) Subtask Deadline Assignment for Complex Distributed Soft Real-time Tasks, IEEE International Conference on Distributed Computing Systems.

[12]

Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., and Griswold, W. (2001) Getting Started With AspectJ, CACM, 44(10).

Digital Library

[13]

Klein, M., Ralya, T., Pollak, B., Obenza, R., Harbour, M. G. (1993) A Practitioner's Handbook for Real-Time Analysis -- Guide to Rate Monotonic Analysis for Real-Time Systems, Kluwer Academic Publishers.

Digital Library

[14]

Ledeczi A., Maroti M., Bakay A., Karsai G., Garrett J., Thomason IV C., Nordstrom G., Sprinkle J., Volgyesi P. (2001) The Generic Modeling Environment, Workshop on Intelligent Signal Processing, Budapest, Hungary.

[15]

Microsoft Corporation and Digital Equipment Corporation (1995) The Component Object Model Specification. Redmond, Washington.

[16]

Microsoft Corporation (1998) Distributed Component Object Model Protocol, version 1.0. Redmond, Washington.

[17]

Object Management Group (1997) The Common Object Request Broker: Architecture and Specification, Revision 2.0, formal document 97-02-25 (http://www.omg.org).

[18]

Palencia, J. and Gonzlez Harbour, M. (1998) Schedulability Analysis for Tasks with Static and Dynamic Offsets, Real-Time Systems Symposium.

Digital Library

[19]

Rational Software Corporation, Model Driven Development Using UML: Rational Rose http://www.rational.com/media/products/rose/D185F_Rose.pdf.

[20]

Reid, A., M. Flatt, L. Stoller, J. Lepreau, and E. Eide. (2000) Knit: Component Composition for Systems Software. OSDI 2000, San Diego, Calif., pp. 347--360.

Digital Library

[21]

Santarini, M, (2003) Cadence Says Platform Halves Verification Time, EEdesign.

[22]

Short K. (1997) Component Based Development and Object Modeling. Sterling Software (http://www.cool.sterling.com).

[23]

Siegel J. (1998), OMG Overview: Corba and OMA in Enterprise Computing, CACM, Vol. 41, No. 10.

Digital Library

[24]

Schmidt, D., Levine, D., and Mungee, S. (1998) The Design of the TAO Real-Time Object Request Broker, Computer Communications, Special Issue on Building Quality of Service into Distributed Systems, 21(4).

Digital Library

[25]

Sharp, D. (1998) Reducing Avionics Software Cost Through Component Based Product Line Development, Software Technology Conference.

[26]

Stankovic, J., Zhu, R., Poornalingham, R., Lu, C., Yu, Z., Humphrey, M., and Ellis, B., (2003) VEST: An Aspect-Based Composition Tool for Real-Time Systems, Real-Time Applications Symposium.

Digital Library

[27]

Stankovic J., Nagaraddi P., Yu Z., He Z., (2004) VEST User's Manual, UVa Technical Report TR-CS-2004-10.

[28]

Szyperski C. (1998) Component Software Beyond Object-Oriented Programming. Addison-Wesley, ACM Press, New York.

Digital Library

[29]

Tindell, K. (1994) Adding Time-Offsets to Schedulability Analysis, Technical Report YCS 221, Dept. of Computer Science, University of York.

[30]

Vestal, S. (1997) MetaH Support for Real-Time Multi-Processor Avionics, Real-Time Systems Symposium.

Digital Library

Cited By

Dabholkar AGokhale A(2009)An Approach to Middleware Specialization for Cyber Physical SystemsProceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems Workshops10.1109/ICDCSW.2009.70(73-79)Online publication date: 22-Jun-2009
https://dl.acm.org/doi/10.1109/ICDCSW.2009.70

Index Terms

Exploiting prescriptive aspects: a design time capability
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
  2. Software notations and tools
    1. General programming languages
      1. Language features

Recommendations

Are monitoring crosscutting concerns really refactorable into aspects?: an empirical study
IWOR '19: Proceedings of the 3rd International Workshop on Refactoring

Monitoring concerns' implementation crosscuts a software's system core concerns' implementation, leading to difficult to maintain and understand source code. Other paradigms have been proposed for crosscutting concerns implementation that should improve ...
On the relation of aspects and monads
FOAL '07: Proceedings of the 6th workshop on Foundations of aspect-oriented languages

The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences are only superficial, and if not, where they are rooted. The aim of this ...
Incremental analysis of interference among aspects
FOAL '08: Proceedings of the 7th workshop on Foundations of aspect-oriented languages

Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individually woven is correct relative to its specification. In this type of ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software

September 2004

316 pages

ISBN:1581138601

DOI:10.1145/1017753

General Chair:
Giorgio Buttazzo
University of Pavia, Italy

Copyright © 2004 ACM.

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]

Sponsors

SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 September 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

EMSOFT04

Sponsor:

SIGBED

EMSOFT04: Fourth ACM International Conference on Embedded Software 2004

September 27 - 29, 2004

Pisa, Italy

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Upcoming Conference

ESWEEK '24

Sponsor:
sigbed
sigbed
sigbed

Twentieth Embedded Systems Week

September 29 - October 4, 2024

Raleigh , NC , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
370
Total Downloads

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

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Dabholkar AGokhale A(2009)An Approach to Middleware Specialization for Cyber Physical SystemsProceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems Workshops10.1109/ICDCSW.2009.70(73-79)Online publication date: 22-Jun-2009
https://dl.acm.org/doi/10.1109/ICDCSW.2009.70

View Options

Get Access

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.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents