International Journal of Advanced Networking and Applications

V. Chandra Prakash ¹, JKR. Sastry ¹, D. Bala Krishna Kamesh ²

Affiliations
1 Department of Information Technology, K L University, Vaddeswaram-522502, Guntur District, IN
2 Department of Freshmen Engineering, K L University, Vaddeswaram-522502, Guntur District, IN

Abstract

Cleanroom software Engineering (CRSE) recommended that the code related to the Application systems be generated either manually or through code generation models or represents the same as a hierarchy of clear box structures. CRSE has even advocated that the code be developed using the State models that models the internal behavior of the systems. No framework has been recommended by any Author using which the Clear boxes are designed using the code generation methods. Code Generation is one of the important quality issues addressed in cleanroom software engineering. It has been investigated that CRSE can be used for life cycle management of the embedded systems when the hardware-software co-design is in-built as part and parcel of CRSE by way of adding suitable models to CRSE and redefining the same. The design of Embedded Systems involves code generation in respect of hardware and Embedded Software. In this paper, a framework is proposed using which the embedded software is generated. The method is unique that it considers various aspects of the code generation which includes Code Segments, Code Functions, Classes, Globalization, Variable propagation etc. The proposed Framework has been applied to a Pilot project and the experimental results are presented.

Keywords

Embedded Systems, Sate Box, Clean Room Software Engineering, Verification and Validation, UML Models, Clear Box, Embedded Software.

Full Text

   

V. Chandra Prakash ¹, JKR. Sastry ¹, D. Bala Krishna Kamesh ²

Affiliations
1 Department of Information Technology, K L University, Vaddeswaram-522502, Guntur District, IN
2 Department of Freshmen Engineering, K L University, Vaddeswaram-522502, Guntur District, IN

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.

Keywords

Embedded Systems, Sate Box, Clean Room Software Engineering, Verification and Validation, UML Models.

Full Text