Validation of Distributed Real-Time and Embedded System composition in UniFrame

Authors:
Shih-hsi Liu
Affiliations:
The University of Alabama at Birmingham, Birmingham, Alabama
Venue:
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Year:
2004

Citing 2
Cited 0

Automated conversion from requirements documentation to an object-oriented formal specification language

Proceedings of the 2002 ACM symposium on Applied computing
Two-Level Grammar as an Object-Oriented Requirements Specification Language

HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9

Quantified Score

Hi-index	0.00

Visualization

Abstract

Distributed Real-Time and Embedded (DRE) Systems are widely applied to large scale and mission critical application domains such as avionics systems and medical imaging. Due to the rapid lifecycle and the complexity of design of the systems, there is an urgent demand to manage the development of robust, COTS, and effective software for vendors. The UniFrame project is a unified framework for seamless integration of distributed heterogeneous software components. This paper describes how the UniFrame approach is applicable to DRE software components. Leveraging the Two-Level Grammar (TLG) specification language and the Vienna Development Method (VDM), a formal methodology for developing DRE components and system code generation is developed for UniFrame.