Take a look at the new version of this page: [ beta version ]. Tell us what you think.

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.

REFERENCES

• 1: B. Bryant , B.-S. Lee, Two-Level Grammar as an Object-Oriented Requirements Specification Language, Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9, p.280, January 07-10, 2002
• 2: Beum-Seuk Lee , Barrett R. Bryant, Automated conversion from requirements documentation to an object-oriented formal specification language, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain [doi>10.1145/508791.508972]
• 3: IFAD, The IFAD VDM++ Language, 1999.
• 4: IFAD. Development Guidelines for Real-Time Systems Using VDM Tools. Technical report, 2000, http://www.ifad.dk.
• 5: R. R. Raje, M. Auguston, B. R. Bryant, A. M. Olson, C. C. Burt, A Quality of Service-Based Framework for Creating Distributed Heterogeneous Software Components, Concurrency and Computation: Practice and Experience 14, 12 (October 2002), 1009--1034.
• 6: Real-Time for Java Expert Group. The Real-Time Specification for Java. Technical Report, 2001.
• 7: C. Yang, B.-S. Lee, B. R. Bryant, and C. C. Burt, Formal Specification of Non-Functional Aspects in Two-Level Grammar, Proceedings of the UML 2002 Workshop on Component-Based Software Engineering and Modeling Non-Functional Aspects (SIVOES-MONA), October 1, 2002, Dresden, Germany.

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS

General Terms:
Languages

Keywords:
UniFrame, Vienna Development Method, quality of service, real-time, two-level grammar