DocumentCode :
3077128
Title :
Validation of Embedded Software through Static Analysis of Machine Codes
Author :
Chacko, Mariamma ; Jacob, Poulose
Author_Institution :
Dept. of Comput. Sci., Cochin Univ. of Sci. & Technol., Cochin
fYear :
2009
fDate :
6-7 March 2009
Firstpage :
1596
Lastpage :
1601
Abstract :
A code validation tool for RISC microcontrollers, at the level of machine instruction stream is described. This purports to a methodological approach to achieve software debugging and code validation, where the source code might be created in assembly language or a high level language. The appropriateness of instructions as well as its sequence in a program is validated with the help of rules governing the occurrence of illegal instructions and code sequences for executing the CPU and integrated peripheral functions. This is achieved through the static analysis of machine codes by applying the rules formulated. This validation tool can be integrated to the system development environment for the detection of such errors without introducing any software or run time overhead in the resulting code. A prototype based on PIC 16F87X microcontrollers is developed. The algorithm can encompass a wide range of RISC processors, once appropriate rules are available for such processors.
Keywords :
microcontrollers; program debugging; program diagnostics; program processors; program verification; reduced instruction set computing; CPU; RISC microcontroller; RISC processor; assembly language; embedded software validation; high level language; integrated peripheral function; software debugging; static machine code analysis; Application software; Assembly; Circuit testing; Debugging; Embedded software; High level languages; Microcontrollers; Programming profession; Reduced instruction set computing; Software tools;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Advance Computing Conference, 2009. IACC 2009. IEEE International
Conference_Location :
Patiala
Print_ISBN :
978-1-4244-2927-1
Electronic_ISBN :
978-1-4244-2928-8
Type :
conf
DOI :
10.1109/IADCC.2009.4809256
Filename :
4809256
Link To Document :
بازگشت