Communicating sequential processes
Communicating sequential processes
A Prototyping Language for Real-Time Software
IEEE Transactions on Software Engineering
Real-time constraints in a rapid prototyping language
Computer Languages
Applied software architecture
Omega: a uniform object model easy to gain Ada's ends
ACM SIGAda Ada Letters
Evaluation of Middleware Architectures in Achieving System Interoperability
RSP '03 Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP'03)
Synthesizing Approach for Perspective-Based Architecture Design
RSP '03 Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP'03)
Synthesizing executable models of object oriented architectures
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Automatic prototype generating via optimized object model
ACM SIGAda Ada Letters
Quantifiable architecting of dependable systems of embedded systems
ACM SIGSOFT Software Engineering Notes
Architecting Dependable Systems II
Architecting Dependable Systems II
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
Hi-index | 0.00 |
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.