Internal Behavioral Modeling of Embedded Systems through State Box Structures
Journal: International Journal of Advanced Networking and Applications (Vol.2, No. 06)Publication Date: 2011-05-02
Authors : V. Chandra Prakash; Sastry JKR; D. Bala Krishna Kamesh;
Page : 887-899
Keywords : Embedded Systems; Sate Box; Clean Room Software Engineering; Verification and Validation; UML models;
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.
Other Latest Articles
- Transmission Characteristics of Radio over Fiber (ROF) Millimeter Wave Systems in Local Area Optical Communication Networks
- Study of Various Attacks in MANET and Elaborative Discussion Of Rushing Attack on DSR with clustering scheme
- Pipelined C2 Mos Register High Speed Modified Booth Multiplier
- Processing Reliability based a Clever Task Allocation Algorithm to Enhance the Performance of Distributed Computing Environment
- Architectural Performance of WiMAX over WiFi with Reliable QoS over Wireless Communication
Last modified: 2015-12-04 16:37:48