Mutation Analysis of Stateflow to Improve the Modelling Analysis
Formal methods possess great analyzing capability that has led to an increasing use by engineers in the development and verification-validation life-cycle of hardware and software critical systems. Mutation Analysis has been very effective in model design
- PDF / 1,630,039 Bytes
- 10 Pages / 439.37 x 666.142 pts Page_size
- 19 Downloads / 194 Views
2
Manipal Institute of Technology, Manipal, Karnataka, India [email protected] Aerospace Electronics Division, CSIR-NAL, Bangalore, India {manjun,jayanthi}@nal.res.in
Abstract. Formal methods possess great analyzing capability that has led to an increasing use by engineers in the development and verification-validation life-cycle of hardware and software critical systems. Mutation Analysis has been very effective in model design and safety analysis. In this paper primary idea is to integrate the mutation analysis of stateflow to the Integrated Mutation Analysis Tool. This enhanced property of the IMAT tool after integration will be able to analyze the functionalities of stateflow models of the highly critical systems. The effectiveness of the Stateflow mutation analysis can be validated using the case-study of Autopilot Mode Transition Logic. Keywords: Formal methods Safety critical systems
Mutation analysis
Stateflow integration
1 Introduction In today’s scenario, systems are increasingly dependent on software components. The complexity of systems with embedded software has increased and is increasing rapidly. The use of formal methods is motivated by performing appropriate analysis in the engineering discipline that can contribute to the correctness and robustness of the highly critical computer based systems. Formal methods are being used as a complementary technique for the reduction of errors in computer-based systems [1]. Model based designing and development approach is being extensively used in industries for implementing a safe and reliable system. Simulink tool is used for modelling and analysis of the control applications [11]. The primary idea of this proposed work is to improve the modelling analysis by adding new feature to the in-house developed mutation tool. The stateflow mutation is added as a new feature. Control algorithm in the aerospace domain use Simulink model for design and analysis. These control algorithms are developed using Stateflow parameters. Stateflow is a graphical design and development tool for control and supervisory logic used along with SIMULINK. Stateflow provides clear and concise descriptions of various complex model behavior using finite state machine theory, flow diagrams notations and state transitions diagram all in the same stateflow diagrams [9]. As high critical systems uses the stateflow so it is necessary to perform the fault analysis of these systems. For fault analysis of the model, mutation tool is used. © Springer Nature Singapore Pte Ltd. 2017 M. Singh et al. (Eds.): ICACDS 2016, CCIS 721, pp. 173–182, 2017. DOI: 10.1007/978-981-10-5427-3_19
174
P. Goyal et al.
By integration of stateflow to IMAT tool it will be easy to do the fault based analysis. This integration is being implemented by the GUI building in MATLAB R2013a. Integration of the stateflow to mutation tool helps in enhanced fault analysis of the critical model design. This paper is divided into seven sections as follows: First section gives the introduction about the proposed
Data Loading...
