Internal Behavioral Modeling of Embedded Systems Through State Box Structures

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.