The advances in control electronics, with the introduction of programmable load drivers, have changed the way in which actuators, both resistive and inductive, such as electrical motors, injectors, valves, are controlled. However, usually the only programming language available for these drivers is the na- tive assembly-like microcode that, allowing for unstructured programing constructs, exposes to the risk of dangerous control flow paths, like infinite loops or jumps to non-existent locations. In this paper an automatic static analyzer is presented, which reconstruct the control flow graph of an application from the micro-code source file and checks for infinite loops and undefinited jumps caused by the corresponding jump register not being set for a particular path.

A Static Microcode Analysis Tool for Programmable Load Drivers

Dariz Luca;Ruggeri Massimiliano;Selvatici Michele
2015

Abstract

The advances in control electronics, with the introduction of programmable load drivers, have changed the way in which actuators, both resistive and inductive, such as electrical motors, injectors, valves, are controlled. However, usually the only programming language available for these drivers is the na- tive assembly-like microcode that, allowing for unstructured programing constructs, exposes to the risk of dangerous control flow paths, like infinite loops or jumps to non-existent locations. In this paper an automatic static analyzer is presented, which reconstruct the control flow graph of an application from the micro-code source file and checks for infinite loops and undefinited jumps caused by the corresponding jump register not being set for a particular path.
2015
Istituto per le Macchine Agricole e Movimento Terra - IMAMOTER - Sede Ferrara
static analysis
Control Flow Graph
CFG
microcode
power driver
infinite loop
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/305421
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact