Conformance Checker

My final year project name is Conformance Checker. And Ideveloped this project under the supervision of MS and PHD supervisors. Conformance Checker is a web application which is used to check the conformance of state machine with the code so the failure of event driven systems can be minimized.

Project Title

Conformance Checker

Project Area of Specialization

Software Engineering

Project Summary

Event driven systems are securty critical systems.

and we cant afford failure in security critical systems.

?as like ATM, Jets, F16.

?Safety critical event-driven systems can compromise on time and budget e.g. military software's takes years to develop. But, they cannot afford failure. best example is air jets,F16, unmanned planes.

so state machine and code must needs a platform where their conformacne can be checked.

Project Objectives

Our objective is the minimize or may be end the errors in event driven systems.

by providing them such a platform where they can conform their code with state machine

Project Implementation Method

First user give input, code as java format and state machine as xml format.

first we will check that is the given state machine is according to our meta model or not( means it is a proper way to read the state machine), if not then we will generate a meta model of state machine so we can read that.

then after reading of state machine, we will check that the given state machine is flattened or not.

point to note: we can not generate the transition tree if the state machine is not flattened.

if the state machine is not flattened then we will flatten it,

there is no code available anywhere to flatten a state machine, only algorithm available.

we write the code of flattening a state machine, as we are the first one in the world doing this.

after flattening the state machine, we will make transition tree meta model and then generates the transition tree of that flattened state machine.

if a state machine contains regions, states within states etc then it is called an unflattened state.

then we will compare the transition tree with the code and show the results

Benefits of the Project

Industry working on event driven systems will be highly interested in this software. In this modern era, everyone wants to minimize the chances of failure. The input is state machine in xml format and code in java format. It will show the states conflicting the code, functions in code conflicting the states and conformance ratio as output. Event driven systems cannot afford failure, so there is a need to confirm that the specific state machine is according to the code.

no accidents, means people lives will be saved
time will be saved
money to be wasted will reduced

Technical Details of Final Deliverable

A web app user enter inputs there, the state machine and the code, we are checking all the processes in java language at backend and then will show the users their results and they can see their ratios, states and histroy.