Cited By
View all- Lee JLee H(2007)Building High Assurance Multidisciplinary Design Optimization FrameworkProceedings of the 10th IEEE High Assurance Systems Engineering Symposium10.1109/HASE.2007.26(391-392)Online publication date: 14-Nov-2007
Validation of Distributed Real-Time and Embedded System composition in UniFrame
Pages 303 - 304
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. R. Bryant and B.-S. Lee, Two-Level Grammar as an Object-Oriented Requirements Specification Language, Proceedings of HICSS-35, the 35th Hawaii International Conference on System Sciences, 2002, http://www.hicss.hawaii.edu/HICSS_35/HICSSpapers/PDFdocuments/STDSL01.pdf.
[2]
B.-S. Lee and B. R. Bryant, Automated Conversion from Requirements Documentation to an Object-Oriented Formal Specification Language. Proceedings of SAC 2002, the 17th ACM Symposium on Applied Computing, 2002, pp. 932--936.
[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
- Validation of Distributed Real-Time and Embedded System composition in UniFrame
Recommendations
A translation approach to component specification
OOPSLA '02: Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applicationsUniFrame is a framework for seamlessly assembling heterogeneous distributed components. It is based on the Unified Meta-component Model (UMM). UniFrame uses two-level grammar (TLG) for formally specifying components and translation into other component ...
Overloads in compositional embedded real-time control systems
RSP '16: Proceedings of the 27th International Symposium on Rapid System Prototyping: Shortening the Path from Specification to PrototypeComponent-based design is important for the design of complex embedded software. By properly defining component interfaces, new components can be formed by composing existing components. A newly formed component may be further composed of other ...
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 9Two-Level Grammar (TLG) is proposed as an object-oriented requirements specification language with a natural language (NL) style but sufficiently formal to allow automatic transformation of the TLG specification into formal specifications in VDM++, an ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
April 2004
485 pages
Copyright © 2004 ACM.
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: 02 April 2004
Check for updates
Author Tags
Qualifiers
- Article
Conference
ACM SE04
Sponsor:
Acceptance Rates
Overall Acceptance Rate 502 of 1,023 submissions, 49%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 302Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 16 Nov 2024
Other Metrics
Citations
Cited By
View all- Lee JLee H(2007)Building High Assurance Multidisciplinary Design Optimization FrameworkProceedings of the 10th IEEE High Assurance Systems Engineering Symposium10.1109/HASE.2007.26(391-392)Online publication date: 14-Nov-2007
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in