skip to main content
10.1145/1454474.1454486acmconferencesArticle/Chapter ViewAbstractPublication PagesadaConference Proceedingsconference-collections
research-article

Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model

Published: 26 October 2008 Publication History

Abstract

Military commands must respond to a variety of situations by quickly assembling and organizing coalition forces consisting of different components from several countries. Dependable interoperability of their C4ISR systems is vital to the success of many military applications where pressing new requirements quickly emerge and undergo rapid change.
In order to achieve dependable interoperability, a reliable infrastructure is critical to incorporating operational components into C4ISR systems. Software architectures and related techniques hold the answer to interoperable, reliable and evolvable C4ISR systems. This paper analyzes the major aspects of dependable interoperability for C4ISR, and presents a Quantitative Interoperating Model (QIM) for enabling seamless interconnection, effective intercommunication and dependable interoperation between heterogeneous components over the network. Based on the QIM, an approach is synthesized toward Reliable Ada-based Descriptive Architecture (re-ADA) for C4ISR. As an executable architectural framework, re-ADA can directly be mapped into Ada95 code and constructed on the basis of CORBA to support distributed computing over-the-network. In particular, the well-formalized QIM - through mapping dependability into quantitative attributes that are attached to architectural artifacts - makes it possible to statically verify quantitative attributes during architectural design, and dynamically monitor them at runtime.

References

[1]
John A. Hamilton, Jeanne L. Murtagh, Enabling Interoperability Via Software Architecture, STINET-DTIC (Scientific & Technical Information Network / Defense Technical Information Center) http://stinet.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA458021
[2]
Reibling, L. A., "Background Discussion on Theater Battle Management," Trade Study Report to Boeing DARPA Unmanned Combat Air Vehicle ATD Program, GDE Systems, Inc. Publication No. STS-98-0003C, 8 September 1998.
[3]
DoD Joint Technical Architecture (JTA Version 4.0, 2002), http://www-jta.itsi.disa.mil/
[4]
H. Alexander, et al, C4ISR Architectures: I. Developing a Process for C4ISR Architecture Design. Systems, Systems Engineering, Volume 3, Issue 4, Pages 225--247, Copyright © 2000 John Wiley & Sons, Inc.
[5]
Reibling, L. A., "Background Discussion on Real-Time Targeting," Trade Study Report to Boeing DARPA Unmanned Combat Air Vehicle ATD Program, GDE Systems, Inc. Publication No. STS-98-0003B, 8 September 1998.
[6]
Reibling, L. A., "Background Discussion on Mission Management Systems," Trade Study Report to Boeing DARPA Unmanned Combat Air Vehicle ATD Program, GDE Systems, Inc. Publication No. STS-98-0003A, 8 September 1998.
[7]
Luqi, Berzins, et.: A Prototyping Language for Real-Time Software, IEEE TSE, Vol. 14(10), Oct 1988, pp 1409--1423.
[8]
S. Liang, L. Zhang, Luqi, Automatic Prototype Generating via Optimized Object Model, Ada Letters, Volume XXIII (2) June 2003
[9]
C. Hofmeister, R. Nord, D. Soni. Applied Software Architecture. Addison-Wesley, 2000.
[10]
IEEE Standard Board, Recommended Practice for Architectural Description of Software-Intensive Systems (IEEE-std-1471 2000), September 2000.
[11]
W. Lee, et al, Synthesizing Executable Models of Object Oriented Architectures. Proc. Formal Methods in Software Engineering & Defense Systems. Adelaide, Australia, 2002.
[12]
Avizienis, A., Laprie, J., Randell, B.: Fundamental Concepts of Dependability, Research Report N01145, LAAS-CNRS, April 2001. http://citeseer.nj.nec.com/489854.html
[13]
S. Liang, J. Puett, Luqi, Quantifiable Software Architecture for Dependable Systems of Systems, LNCS: Architecting Dependable Systems II, Springer Verlag, 2004
[14]
Liang, X., Puett, J., Luqi: Synthesizing Approach for Perspective-based Architecture Design, Proc. of 14th IEEE International workshop on Rapid System Prototyping, Jun. 9-11, 2003, San Diego, CA, USA, pp. 218--225.
[15]
X. Liang, V. Berzins, Luqi, Quantifiable Architecting of Dependable Systems of Embedded Systems, ACM SIGSoft, Software Engineering Notes, Vol 28 (6), November, 2003
[16]
P. Young, V. Berzins, J. Ge, Luqi, Use of Object Oriented Model for Interoperability in Wrapper-Based Translator for Resolving Representational Differences between Heterogeneous Systems, Monterey Workshop 2001 - Engineering Automation for Software Intensive System Integration, pp 170--177
[17]
Sheldon X. Liang, Zhenyu Wang, Omega: Uniform Object Model Esay to Gain Ada's Ends, Ada Letters, Vol. 21 (2), 2001
[18]
International Standard ISO/IEC 8652:1995(E), Ada Reference Manual, Intermetrics, Inc
[19]
Digital Set Top Box (STB) - Open Architecture / Interoperability Issue http://www.becil.com/story/2005/8/28/33742/9727
[20]
P. Young, N. Chaki, V. Berzins, Luqi, Evaluation of Middleware Architectures in Achieving System Interoperability, 14th IEEE international Workshop on Rapid System Prototyping (RSP'03), June 9-11, 2003, San Diego, CA, USA, pp 108--113
[21]
Sergio Perez, et al, A CORBA Based Architecture for Distributed Embedded Systems Using the RTLinux-GPL Platform, Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'04), pp. 285--288
[22]
William W. Pritchett, Huet C. Landry, Interoperable Heterogeneous Data Access with CORBA and Ada 95, http://archive.adaic.com/docs/reports/landry/landry.htm
[23]
Defense Information Systems Agency, CORBA/Ada95 Reference Implementation Interface Definition Report, 28 July 1995
[24]
Hoare, C.: Communicating Sequential Process, London: Prentice-Hall International, UK, LTD., 1985
[25]
Lucia Luqi, Real-time constraints in a rapid prototyping language, Computer Languages, Vol.18, Issue 2 (93), pp 77--103
[26]
Case Study: Network Centric Warfare in the U.S. Navy's Fifth Fleet, http://www.kinection.com/ncoic/ncw_navys_5th_fleet.pdf

Cited By

View all
  • (2020)wiseCIO: Web-Based Intelligent Services Engaging Cloud Intelligence OutletIntelligent Computing10.1007/978-3-030-52249-0_12(169-195)Online publication date: 4-Jul-2020
  • (2009)"Automatic Prototype Generating" restated with re-ADAACM SIGAda Ada Letters10.1145/1653616.164743629:3(45-60)Online publication date: 1-Nov-2009
  • (2009)"Automatic Prototype Generating" restated with re-ADAProceedings of the ACM SIGAda annual international conference on Ada and related technologies10.1145/1647420.1647436(45-60)Online publication date: 1-Nov-2009

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SIGAda '08: Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
October 2008
150 pages
ISBN:9781605582740
DOI:10.1145/1454474
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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 October 2008

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. architectural description
  2. dependability
  3. heterogeneity
  4. interoperability

Qualifiers

  • Research-article

Conference

SIGAda '08: ACM SIGAda Annual International Conference
October 26 - 30, 2008
OR, Portland, USA

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 31 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2020)wiseCIO: Web-Based Intelligent Services Engaging Cloud Intelligence OutletIntelligent Computing10.1007/978-3-030-52249-0_12(169-195)Online publication date: 4-Jul-2020
  • (2009)"Automatic Prototype Generating" restated with re-ADAACM SIGAda Ada Letters10.1145/1653616.164743629:3(45-60)Online publication date: 1-Nov-2009
  • (2009)"Automatic Prototype Generating" restated with re-ADAProceedings of the ACM SIGAda annual international conference on Ada and related technologies10.1145/1647420.1647436(45-60)Online publication date: 1-Nov-2009

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