Dissertation > Excellent graduate degree dissertation topics show

Research for the ET-LOTOS-Based Embedded Software Component Composition

Author: XiaYuan
Tutor: ZhangWeiQun
School: Southwestern University
Course: Computer Software and Theory
Keywords: ET-LOTOS Embedded software components composition composition algorithm composition tools
CLC: TP311.52
Type: Master's thesis
Year: 2006
Downloads: 32
Quote: 1
Read: Download Dissertation

Abstract


Embedded system has a long history. Originally it was applied in military, aerospace industry, industry process controlling, etc; at present its application is so abroad in daily life that the post-PC age, represented by Pervasive Computing and Embedded System, has come since the late 90th in 20th century.Development of component-based embedded software means compositing of embedded software components into new system. The techniques of composition are the core in development of component-based embedded software as well as the main topic in this thesis.Embedded system is usually used in the fields of vital importance closely related with safety such as military controlling, aerospace industry, medical equipment, etc. therefore, it is very essential to make description and verification for the system with formal methods in modeling the embedded system. However, methods instead of formal methods are used to continue for component composition. That’s why there exists no direct relation between high-level abstraction of system described by formal language and practice of component composition in present research.In order to solve this problem, thesis proposes a composition algorithm for embedded software components and develops a frame of embedded software components composition tools based on this algorithm. Grounded on the model of embedded software component and software architecture （SA） described by the ET-LOTOS （a formal software architecture description language）, this paper discusses both component composition and the non-functional requirements, and then proposes templates of the composition connection and an algorithm for composition. Thus the component composition and high-level abstract are related and automation of embedded software component composition can be advanced by the composition method proposed by this thesis.

Related Dissertations

  1. Three-stage Algorithm for Dynamic Combination of Logistics Service,F253.9
  2. The Research and Design of Test Paper Composition Algorithm Adaptive Testing System,TP311.52
  3. BRD algorithm of satellite retrieval of sulfur dioxide,X831
  4. Shearlet Fast Transform and Application,TN911.6
  5. Form of description technology LOTOS and , and its extensions and applications in real-time systems,TP311.52
  6. Design and Development of Application Programme for Fault Analyzer Based on Wince Platform,TP311.52
  7. Service Model Driven Architecture (SMDA) Oriented Modeling Techniques and Tool Implemention,TP311.52
  8. The Software Component Modeling Method Based on Feature and Its Application in VMI Management System,TP311.52
  9. Development of Software Platform for Electro-Optical Test System,TP311.52
  10. The Design and Realization of NS2-based PeerCast Simulation Platform,TP311.52
  11. The Research and Design of Middle-Small Enterprises Purchase-Sales-Inventory Management System,TP311.52
  12. Design and Implementation of the weapons and equipment information management system,TP311.52
  13. Force Online Examination System Design and Implementation,TP311.52
  14. The Application of Virtual Reality Geographical Information System to Urban Design,TP311.52
  15. Grass-roots forces the day-to-day management of information systems design and implementation,TP311.52
  16. Design and Implementation of the military material procurement and supply management system,TP311.52
  17. Development of the on-line Training and Examination System of Army,TP311.52
  18. Management System Design and Implementation of troop strength,TP311.52
  19. Army logistics material management system design and implementation,TP311.52
  20. B / S structure of the military cadre management system design and realization of,TP311.52
  21. Motor assist system for motorized units,TP311.52

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Software Engineering > Software Development
© 2012 www.DissertationTopic.Net  Mobile