Dissertation > Excellent graduate degree dissertation topics show

Research and Implemention of Embedded Based on Model-Driven Verification and Software Product Line

Author: LuShaoPeng
Tutor: LiYun
School: Southwest Jiaotong University
Course: Computer Software and Theory
Keywords: Model-driven Embedded software production line Model simulation Schedulability SCT Integrated
CLC: TP311.52
Type: Master's thesis
Year: 2010
Downloads: 114
Quote: 6
Read: Download Dissertation

Abstract


With the rapid increase of the computing power of the processor, the rapid development of embedded technology and embedded systems applications continues to broaden, making the growing of the size and complexity of embedded software, resulting in the development time and costs are constantly growth, how to quickly and effectively develop embedded software current problems to be solved. In order to solve the above problems, the world's largest software industry Organization for Standardization OMG (Object Management Group) proposed a model-driven framework for MDA (Model Driven Architecture) development methodology. MDA approach to software development process is divided into two main stages: model-level and code level. The model focuses on system design correctness, so as to achieve the purpose of a small price to modify the software error. Development tools for embedded software from the traditional code-based development environment to model-based development environment for development. A model-based embedded development environment of the production line, should be integrated model of development tools and other related tools, including modeling, simulation model, code generation, testing embedded software development process. This is in line with the trends of embedded software development tools, but also have the appropriate theory, technology and product base. Model-driven verification is an important part of the model-based embedded software production line, the key part of the system will affect the quality and work of the late, in the early to find out the problems in a timely manner, you can save a lot of manpower and material resources. Today's mainstream embedded real-time systems, real-time is a key performance indicator for such systems is to ask them to complete the corresponding behavior in the legal time, no timeout, which requires verification task can be scheduled to determine the real-time system meets the requirements. By Clark and Emerson formal model validation method to start the application in the task of scheduling analysis, the basic principle of the method is the establishment of a formal model, set out to verify the nature of the system to be detected, and then use the algorithm to check The model meets the nature described. This study is embedded model-based software development environment of the production line, the main line to focus on research and solve the problem of formal verification of the model, to study the embedded real-time model of the scheduling problem. The paper firstly introduces the background and significance of the model-based embedded software production line, and the development of the situation at home and abroad, followed by the description of the source and subject of this study; On this basis the overall model-based embedded generation line needs analysis; then focuses on model validation scheduling detection tool SCT (Scheduling Check Tool) design, including the design and implementation of the related definitions and provisions of the SCT analysis system and two task behavior automaton model, under these premises SCT tools for the overall design, and to achieve each part, which focuses on the scheduling simulation algorithm design and realization; then on the basis of LambdaPRO integration tools, based embedded software generation line model throughout the development process, and through an instance of the application to verify the development process. Finally, the work of the conclusion and the the successor research and development prospect.

Related Dissertations

  1. Algorithm Research on SINS/GPS Integrated Navigation Syste,V249.328
  2. Analysis and Control of 6-DOF Electrical Driven Parallel Manipulator,TP242.2
  3. Study on Integrated Prevention Measures of Bursaphelenchus Xylophilus in Xikou Senic Spot of Fenghua,S763.3
  4. Study on Biomass Energy Production Utilization Model Based on Circular Economy,S216
  5. Research on Traceability and Incremental Consistency of the MDA Model Transformation,TP311.5
  6. Method of Stored Grain Pest Control in Rural Areas,S379
  7. Integrated Marketing Communication Theory in the East Cup Application,G80-05
  8. Mine Risk Information Integration and Intelligent Early Warning,X936
  9. The senior Chinese as a foreign language textbooks in literary works,H195
  10. Nanchang City Comprehensive Transport System Research on Space Optimization,F512.7
  11. Construction Bank Pingliang Branch Comprehensive Competitiveness Analysis and Promotion Countermeasures Study,F832.2
  12. The Research on Transformation from PIM to PSM for Seam,TP311.52
  13. Research on Performance Evaluation Indicators System for Pharmaceutical Logistics Based on Integrated Supply Chain,F426.72
  14. Research and Implementation of Portal in the People’s Bank of Lanzhou Branch,TP311.52
  15. The Research of Mine Integrated Protection Device Based on Wavelet and Backstage Software,TM774
  16. Electromagnetic Compatibility Design of Synthesis Communications Vehicle,TN03
  17. Design and Implementation of Financial Service Payment System Based on the Front-banking Integrated Platform,TP311.52
  18. Electrochemical Monitoring of Signal Molecule of Plant in Vivo,Q946
  19. Research of the Electrode Lifting Hydraulic System of the 60t Electric Arc Furnace,TF748.41
  20. Conventional Substation Analysis and Design of Renovation Project of Integrated Automation,TM63
  21. The Application of VANTAGE PDMS (3D Integrated Design System) in Electrical Engineering in Plant Design,TM621

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