Based On The Research Of B Method Modeling And Conversion Tools And Implementation

With the software system applying and developing in all kinds of life, people have become increasingly demanding real-time, reliability and security of system properties of the software system. To ensure the quality of software development, people use model-driven approach to software development of mission-critical software properties of the functional and nonfunctional requirements, and use the statute of the use of formal methods to ensure the correctness of the software requirements which user needs.This thesis combined with laboratory commitment "863" project sub-topics "B method needs of embedded software describe the conversion method and tool development" to research development B-method and architecture analysis and design language-AADL, by analyzing the pre-existing application of B method and AADL and referencing to the existing theoretical results, setting in the research projects of mission-critical systems builds correlation among user’s needs, the B method and the AADL model and design the conversion tool from B method to the AADL modelThe main work of this paper is:1. Introducing the basic theory of the B method and AADL.2. Analyzing the necessary of the description of converting the need of users into the model of B method and the advantages of using B method to correct.3. Analyzing the relationship between user’s needs and B method, defining the rules of converting needs to B method.4. Designing the conversion tools of requirement based on B method. It can realize the demand of requirement based on B method automatically.Finally, the code to achieve the B method to the AADL transformation tool, this tool can help users create a new system parameter input to complete the requirements description by mapping rules to generate the requirements specification based on the B method, and then converted into the AADL model.We completed the requirements of the project sub-topics B method to AADL transformation tool, it is also well integrated into the model-driven mission-critical software system test environment, and helped the test based on the AADL model driven.