skip to main content
10.1145/1167999.1168020acmotherconferencesArticle/Chapter ViewAbstractPublication PagesjtresConference Proceedingsconference-collections
Article

ANRTS platforms

Published: 11 October 2006 Publication History

Abstract

HIJA is an undertaking to create the technology conditions that will allow architecture neutrality for real-time systems (ANRTS). This paper makes the point that technology features are needed at both the execution level (platform) and the software engineering level (process). In order to cope with the wide range of real-time and embedded systems, 3 run-time profiles based on RTSJ are identified, the hard real-time Java profile, the soft real-time Java profile and the flexible real-time Java profile. These profiles also provide support for distributed applications based on both synchronous and asynchronous communication methods. In order to ensure that executing applications are functionally correct and satisfy resource constraints, a required tool set is described, including analysis tools for schedule-ability or functional correctness verification. Finally, results from a proof-of-concept implementation of ANRTS platforms and tool set, and their use for three different applications (avionics, automotive telematics, ambient system) are reported, confirming the feasibility of the ANRTS approach.

References

[1]
K. Arnold, J. Gosling. The Java Programming Language -- Addison-Wesley, 1996
[2]
T. Lindholm, F. Yellin. The Java Virtual Machine Specification -- Addison-Wesley, 1997.
[3]
High Integrity Java Applications, IST project. www.hija.info
[4]
RTCA/DO-178B, Software Considerations in Airborne Systems and Equipment Certification - Radio Technical Commission for Aeronautics (RTCA), 1992.
[5]
Common Object Request Broker Architecture, Corba, http://www.omg.org/corba
[6]
Java Platform, Enterprise Edition (J2EE), http://Java.sun.com/Javaee
[7]
A. Kung. J. Hunt, L. G, M. Richard-Foy, Issues in Building ANRTS platform - In these proceedings, 2006.
[8]
Real-Time Specification for Java, RTSJ, www.rtsi.org
[9]
B. J. Dobbing and A. Burns. The Ravenscar Tasking Profile for High Integrity Real-Time Programs. In Reliable Software Technologies - Ada-Europe '98, Lecture Notes in Computer Science 1411, Springer Verlag (June 1998).
[10]
H. Hetcht, M. Hecht, S. Graff et at. Review guidelines for software languages for use in nuclear powerplant systems, U.S. Nuclear regulatory Commission, (NUREG/CR-6463), 1997.
[11]
E. Hu, E. Jenn, N. Valot, A. Alonso. Safety Critical Applications and Hard Real-Time Profile for Java: A Case Study in Avionics, - In these proceedings, 2006.
[12]
A. Alejandro, N. François, E. Yu, M. Bianconi, G. Cortese. Flexible Java Real-Time Profile for Business-Critical Systems, -- In these proceedings, 2006.
[13]
The OSGi Alliance, http://www.osgi.org
[14]
M. Schanne, J. Hunt. Remote event service design, Technical report, FZI Forschungszentrum Informatik, Karlsruhe, Germany, 2004. Deliverable D4.2 describing the HIDOORS remote event service.
[15]
M. Schanne. Real-Time Communication with a Receiver Collective, Activity Manager, and Queues. IADIS International Conference Applied Computing, 2005.
[16]
Model Driven Architecture. Richard Soley ftp://ftp.omg.org/pub/docs/omg/00-11-05.pdf
[17]
G. T. Leavens, Y. Cheon, C. Clifton, C. Ruby, D. R. Cok, J. Kiniry, JML Reference Manual -- Nov. 2004. Draft revision 1.98.
[18]
W. Ahrendt, T. Baar, B. Beckert, R. Bubel, M. Giese, R. Hähnle, W. Menzel, W. Mostowski, A. Roth, S. Schlager, P. H. Schmitt, The KeY tool, Software and System Modeling, 4:32--54, 2005.
[19]
P. Schmitt, I. Tonin, C. Wonnemann, E. Jenn, S. Leriche, J. Hunt, A Case Study of Specification and Verification using JML in an Avionics Application -- In these proceedings, 2006.
[20]
B. Meyer. Applying "Design by Contract", - IEEE Computer, 25(10):40--51, 1992.
[21]
B. J. Dobbing. Building Partitioning Architectures Based on the Ravenscar Profile- SIGADA 2000, Ada Letters, Vol XX, No.4, December 2000.
[22]
Avionics Application Standard Software Interface, ARINC Specification 653, January 1997.
[23]
JamaicaVM Realtime Java Technology. http://www.aicas.com.
[24]
Java Virtual Machine Tool Interface http://Java.sun.com/j2se/1.5.0/docs/guide/jvmti/index.html
[25]
Modeling and Analysis Suite for Real-Time Applications. http://mast.unican.es
[26]
UPPAAL. http://www.uppaal.com

Cited By

View all
  • (2012)Asynchronous event handling and Safety Critical JavaConcurrency and Computation: Practice & Experience10.1002/cpe.175624:8(813-832)Online publication date: 1-Jun-2012
  • (2010)Asynchronous event handling and safety critical JavaProceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems10.1145/1850771.1850778(53-62)Online publication date: 19-Aug-2010
  • (2008)Architecture and Design Patterns for Ambient Intelligence: an Industry PerspectiveDeveloping Ambient Intelligence10.1007/978-2-287-78544-3_6(55-67)Online publication date: 2008
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
October 2006
242 pages
ISBN:1595935444
DOI:10.1145/1167999
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: 11 October 2006

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. architecture neutral platform
  2. business-critical application
  3. distributed systems
  4. functional verification
  5. hard real-time
  6. mission-critical application
  7. real-time java
  8. resource schedule-ability
  9. safety-critical application
  10. soft real-time

Qualifiers

  • Article

Acceptance Rates

Overall Acceptance Rate 50 of 70 submissions, 71%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2012)Asynchronous event handling and Safety Critical JavaConcurrency and Computation: Practice & Experience10.1002/cpe.175624:8(813-832)Online publication date: 1-Jun-2012
  • (2010)Asynchronous event handling and safety critical JavaProceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems10.1145/1850771.1850778(53-62)Online publication date: 19-Aug-2010
  • (2008)Architecture and Design Patterns for Ambient Intelligence: an Industry PerspectiveDeveloping Ambient Intelligence10.1007/978-2-287-78544-3_6(55-67)Online publication date: 2008
  • (2006)Issues in building an ANRTS platformProceedings of the 4th international workshop on Java technologies for real-time and embedded systems10.1145/1167999.1168024(144-151)Online publication date: 11-Oct-2006

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media