ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

Internal Behavioral Modeling of Embedded Systems through State Box Structures

Journal: International Journal of Advanced Networking and Applications (Vol.2, No. 06)

Publication Date:

Authors : ; ; ;

Page : 887-899

Keywords : Embedded Systems; Sate Box; Clean Room Software Engineering; Verification and Validation; UML models;

Source : Downloadexternal Find it from : Google Scholarexternal

Abstract

Clean Room Software Engineering (CRSE) methodology is intended for the development of high quality systems. The methodology is centered on three structures which include Black Box (BB), State Box (SB) and Clear Box(CB) and it assures high quality through implementation of Verification and Validation models at every stage of development. The models, suggested earlier, are built using the Mathematics for implementing the formalism which is needed to assure high quality. The mathematical way of implementing the formalism has been proved to be complex, unwieldy and impracticable. The Verification and Validation methods suggested are classical and do not support formalism which is the key element of CRSE. In this paper, three UML models and the associated algorithms have been proposed that help developing state box structures in more formal way and also to automate the process of generating State Box Structures. The refined CRSE model incorporating the suggested models is also presented. The models are used to develop the internal behavior of a Pilot Project called “Temperature Monitoring and Controlling of Nuclear Reactor System”(TMCNRS) which is an embedded system designed in more formal and automated way.

Last modified: 2015-12-04 16:37:48