@article{(Open Science Index):https://publications.waset.org/pdf/10006569,
	  title     = {A Study of Quality Assurance and Unit Verification Methods in Safety Critical Environment},
	  author    = {Miklos Taliga},
	  country	= {},
	  institution	= {},
	  abstract     = {In the present case study we examined the development and testing methods of systems that contain safety-critical elements in different industrial fields. Consequentially, we observed the classical object-oriented development and testing environment, as both medical technology and automobile industry approaches the development of safety critical elements that way. Subsequently, we examined model-based development. We introduce the quality parameters that define development and testing. While taking modern agile methodology (scrum) into consideration, we examined whether and to what extent the methodologies we found fit into this environment.
},
	    journal   = {International Journal of Electrical and Information Engineering},
	  volume    = {9},
	  number    = {11},
	  year      = {2015},
	  pages     = {2400 - 2404},
	  ee        = {https://publications.waset.org/pdf/10006569},
	  url   	= {https://publications.waset.org/vol/107},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 107, 2015},
	}