System-specific static code analyses: a case study in the complex embedded systems domain

Kienle, Holger M.; Kraft, Johan; Nolte, Thomas

doi:10.1007/s11219-011-9138-7

Cited by 10 publications

(9 citation statements)

References 46 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…-Darwin (van de Laar et al, 2011; - PROGRESS (Kraft et al, 2011) -E-CARES (Marburger & Herzberg, 2001) -ARES (Obbink et al, 1998) -Bylands (Bull et al, 1995) • an embedded system is used for a comparison of (generic) reverse engineering tools and techniques (Bellay & Gall, 1997) (Quante & Begel, 2011) -an industrial experience report or case study involving reverse engineering for * design/architecture recovery (Kettu et al, 2008) (Eixelsberger et al, 1998 (Ornburn & Rugaber, 1992) * high-level language recovery (Ward, 2004) (Palsberg & Wallace, 2002) * dependency graphs (Yazdanshenas & Moonen, 2011) * idiom extraction (Bruntink, 2008;Bruntink et al, 2007) • a (generic) reverse engineering method/process is applied to-or instantiated for-an embedded system as a case study (Arias et al, 2011) (Stoermer et al, 2003) (Riva, 2000;Riva et al, 2009) (Lewis & McConnell, 1996 • a technique is proposed that is specifically targeted at-or "coincidentally" suitable for-(certain kinds of) embedded systems: -slicing (Kraft, 2010, chapters 5 and 6) (Russell & Jacome, 2009) (Sivagurunathan et al, 1997) -clustering (Choi & Jang, 2010) (Adnan et al, 2008) object identification (Weidl & Gall, 1998) architecture recovery (Marburger & Westfechtel, 2010) (Bellay & Gall, 1998) (Canfora et al, 1993) -execution views (Arias et al, 2008; tracing (Kraft et al, 2010) (Marburger & Westfechtel, 2003) (Arts & Fredlund, 2002) timing simulation models (Andersson et al, 2006) (Huselius et al, 2006) (Huselius & Andersson, 2005) -state machine reconstruction…”

Section: Literature Reviewmentioning

confidence: 99%

“…Second, the reach and importance of embedded systems are growing with 1 emerging trends such as ubiquitous computing and the Internet of Things. In this chapter we specifically focus on complex embedded systems, which are characterized by the following properties Kraft, 2010):…”

Section: Introductionmentioning

confidence: 99%

“…The amount of tracing data is restricted by the hardware resources. For instance, for ABB robots around 10 seconds (100,000 events) of history are available, which are kept in a ring buffer (Kraft et al, 2010). For the Darwin project, Arias et al 2011say "we observed that practitioners developing large and complex software systems desire minimal changes in the source code [and] minimal overhead in the system response time."…”

mentioning

confidence: 99%

See 2 more Smart Citations

Reverse Engineering - Recent Advances and Applications

Telea

2012

View full text Add to dashboard Cite

users to download, copy and build upon published articles even for commercial purposes, as long as the author and publisher are properly credited, which ensures maximum dissemination and a wider impact of our publications. After this work has been published by InTech, authors have the right to republish it, in whole or part, in any publication of which they are the author, and to make other personal use of the work. Any republication, referencing or personal use of the work must explicitly identify the original source. As for readers, this license allows users to download, copy and build upon published chapters even for commercial purposes, as long as the author and publisher are properly credited, which ensures maximum dissemination and a wider impact of our publications. Notice Statements and opinions expressed in the chapters are these of the individual contributors and not necessarily those of the editors or publisher. No responsibility is accepted for the accuracy of information contained in the published chapters. The publisher assumes no responsibility for any damage or injury to persons or property arising out of the use of any materials, instructions, methods or ideas contained in the book.

show abstract

Section: Literature Reviewmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

mentioning

confidence: 99%

See 1 more Smart Citation

Reverse Engineering - Recent Advances and Applications

Telea

2012

View full text Add to dashboard Cite

show abstract

“…In this most recent project, we are exploring system-specific analyses as a means to improve upon quality assurance of embedded software [8]. Industry routinely uses coding standards such as MISRA C/C++ and associated static checkers for embedded systems, but this approach often produces many false positives (i.e., warnings of non-conforming code that can be ignored but are tedious to filter out).…”

Section: A System-specific Analysesmentioning

confidence: 99%

“…We have been able to identify and describe unique coding patterns and conventions in the ABB code that would be suitable targets for systemspecific analyses [8]. For example, an analysis could assure that certain conventions about message formats and communication patterns among tasks are actually met.…”

Section: A System-specific Analysesmentioning

confidence: 99%

Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems

Kraft

Kienle

Nolte

et al. 2011

2011 15th European Conference on Software Maintenance and Reengineering

Self Cite

View full text Add to dashboard Cite

PROGRESS is a project and strategic research centre at Mälardalen University in Sweden that is funded for 2006-2010 by the Swedish Foundation for Strategic Research (SSF). PROGRESS research targets embedded software in the vehicular, automation, and telecom domains, focusing on the areas of component technology, verification and analysis for predictability, predictable execution, as well as reuse and maintenance of legacy embedded software. We first describe the funding, organization and research areas of PROGRESS, and then give several examples of PROGRESS research that addresses maintenance of legacy embedded software with the goal to improve program comprehension, quality assurance, and debugging. Specifically, we describe research in tracing and trace visualization, impact analysis of temporal behavior, slicing, and system-specific static analyses.

show abstract

Introduction of static quality analysis in small- and medium-sized software enterprises: experiences from technology transfer

Gleirscher

Golubitskiy²,

Irlbeck

et al. 2013

Software Qual J

View full text Add to dashboard Cite

Today, small and medium-sized enterprises (SMEs) in the software industry face major challenges. Their resource constraints require high efficiency in development. Furthermore, quality assurance (QA) measures need to be taken to mitigate the risk of additional, expensive effort for bug fixes or compensations. Automated static analysis (ASA) can reduce this risk because it promises low application effort. SMEs seem to take little advantage of this opportunity. Instead, they still mainly rely on the dynamic analysis approach of software testing.In this article, we report on our experiences from a technology transfer project. Our aim was to evaluate the results static analysis can provide for SMEs as well as the problems that occur when introducing and using static analysis in SMEs. We analysed five software projects from five collaborating SMEs using three different ASA techniques: code clone detection, bug pattern detection and architecture conformance analysis. Following the analysis, we applied a quality model to aggregate and evaluate the results.Our study shows that the effort required to introduce ASA techniques in SMEs is small (mostly below one person-hour each). Furthermore, we encountered only few technical problems. By means of the analyses, we could detect multiple defects in production code. The participating companies perceived the analysis results to be a helpful addition to their current QA and will include the analyses in their QA process. With the help of the Quamoco quality model, we could efficiently aggregate and rate static analysis results. However, we also encountered a partial mismatch with the opinions of the SMEs. We conclude, that ASA and quality models can be a valuable and affordable addition to the QA process of SMEs.

show abstract

System-specific static code analyses: a case study in the complex embedded systems domain

Cited by 10 publications

References 46 publications

Reverse Engineering - Recent Advances and Applications

Reverse Engineering - Recent Advances and Applications

Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems

Introduction of static quality analysis in small- and medium-sized software enterprises: experiences from technology transfer

Contact Info

Product

Resources

About