Name
Title | ||
|---|---|---|
Application of static analyses for state space reduction to microcontroller assembly code |
Abstract | ||
|---|---|---|
This paper describes how static analyses can be applied tomicrocontroller assembly code to tackle the state explosion problem arisingfrom explicit state model checking. It presents difficulties, which occurwhen trying to apply static analyses to microcontroller assemblycode, caused by, for example, interrupts, hardware dependency, recursions,and indirect control. Enhancements of two reduction techniques(namely Dead Variable Reduction and Path Reduction) and their underlyingstatic analyses are detailed, which make these techniques applicableto microcontroller assembly code. A short case study is presented inwhich five programs are used to demonstrate the state space reductionsthat can be achieved using these two techniques. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1007/978-3-540-79707-4_4 | FMICS |
Keywords | Field | DocType |
explicit state model checking,tomicrocontroller assembly code,indirect control,state space reductionsthat,state explosion problem arisingfrom,path reduction,dead variable reduction,microcontroller assembly code,hardware dependency,static analysis,model checking | Control flow graph,Abstract interpretation,Computer science,Parallel computing,Real-time computing,Assembly language,State model,Microcontroller,State space reduction,State space | Conference |
Volume | ISSN | ISBN |
4916 | 0302-9743 | 3-540-79706-8 |
Citations | PageRank | References |
12 | 0.71 | 21 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Bastian Schlich | 1 | 214 | 17.98 |
| Jann Löll | 2 | 12 | 0.71 |
| Stefan Kowalewski | 3 | 602 | 65.14 |