Sheldon X. Liang
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.
- 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=ADA458021Google Scholar
- 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.Google Scholar
- DoD Joint Technical Architecture (JTA Version 4.0, 2002), http://www-jta.itsi.disa.mil/Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- Luqi, Berzins, et.: A Prototyping Language for Real-Time Software, IEEE TSE, Vol. 14(10), Oct 1988, pp 1409--1423. Google ScholarDigital Library
- S. Liang, L. Zhang, Luqi, Automatic Prototype Generating via Optimized Object Model, Ada Letters, Volume XXIII (2) June 2003 Google ScholarDigital Library
- C. Hofmeister, R. Nord, D. Soni. Applied Software Architecture. Addison-Wesley, 2000. Google ScholarDigital Library
- IEEE Standard Board, Recommended Practice for Architectural Description of Software-Intensive Systems (IEEE-std-1471 2000), September 2000.Google Scholar
- W. Lee, et al, Synthesizing Executable Models of Object Oriented Architectures. Proc. Formal Methods in Software Engineering & Defense Systems. Adelaide, Australia, 2002. Google ScholarDigital Library
- Avizienis, A., Laprie, J., Randell, B.: Fundamental Concepts of Dependability, Research Report N01145, LAAS-CNRS, April 2001. http://citeseer.nj.nec.com/489854.htmlGoogle Scholar
- S. Liang, J. Puett, Luqi, Quantifiable Software Architecture for Dependable Systems of Systems, LNCS: Architecting Dependable Systems II, Springer Verlag, 2004 Google ScholarDigital Library
- 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. Google ScholarDigital Library
- X. Liang, V. Berzins, Luqi, Quantifiable Architecting of Dependable Systems of Embedded Systems, ACM SIGSoft, Software Engineering Notes, Vol 28 (6), November, 2003 Google ScholarDigital Library
- 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--177Google Scholar
- Sheldon X. Liang, Zhenyu Wang, Omega: Uniform Object Model Esay to Gain Ada's Ends, Ada Letters, Vol. 21 (2), 2001 Google ScholarDigital Library
- International Standard ISO/IEC 8652:1995(E), Ada Reference Manual, Intermetrics, IncGoogle Scholar
- Digital Set Top Box (STB) - Open Architecture / Interoperability Issue http://www.becil.com/story/2005/8/28/33742/9727Google Scholar
- 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 Google ScholarDigital Library
- 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--288Google Scholar
- William W. Pritchett, Huet C. Landry, Interoperable Heterogeneous Data Access with CORBA and Ada 95, http://archive.adaic.com/docs/reports/landry/landry.htmGoogle Scholar
- Defense Information Systems Agency, CORBA/Ada95 Reference Implementation Interface Definition Report, 28 July 1995Google Scholar
- Hoare, C.: Communicating Sequential Process, London: Prentice-Hall International, UK, LTD., 1985 Google ScholarDigital Library
- Lucia Luqi, Real-time constraints in a rapid prototyping language, Computer Languages, Vol.18, Issue 2 (93), pp 77--103 Google ScholarDigital Library
- Case Study: Network Centric Warfare in the U.S. Navy's Fifth Fleet, http://www.kinection.com/ncoic/ncw_navys_5th_fleet.pdfGoogle Scholar
Index Terms
- Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model
Recommendations
Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model
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 ...
Ada policy
TRI-Ada '90: Proceedings of the conference on TRI-ADA '90The first officially recognized Department of Defense (DoD) policy on Ada was issued in June 1983. At that time the Under Secretary of Defense for Research and Engineering, Dr. Richard DeLauer, issued a memorandum that mandated the use of Ada for all ...
Interoperability issues affecting autonomic computing
Most autonomic systems consist of a number of components and systems. These systems require a high degree of interoperability between the constituent components and systems. We describe current research on the topic of interoperability that has ...
Comments