Application of built-in-testing in component-based embedded systems

ABSTRACT

This work-in-progress paper discusses challenges with application of Built-In Testing (BIT) in component-based embedded-systems. Testing constitutes a large part of the time and budget in development of embedded software systems. Such systems are often mission-critical, making testing highly important, and at the same time testing embedded systems is challenging because of their limited observability. We investigate the possible application of BIT in components for embedded systems, as a technique to advance the technology and knowledge for analysis and verification of functional correctness, real-time behavior, safety, and reliability of these systems.

REFERENCES

• 1: M. Åkerholm and I. Pavlova and J. Fredriksson Application of Built-In-Testing in Component-Based Embedded Systems. Technical report, Malardalen university, 2006, May http://www.mrtc.mdh.se/publications/1125.pdf
• 2: Ivica Crnkovic , Magnus Larsson, Building Reliable Component-Based Software Systems, Artech House, Inc., Norwood, MA, 2002
• 3: Component+ EU FP5 Project 2006, http://www.component-plus.org
• 4: Wayne Wolf, Embedded Computing, Computer, v.35 n.1, p.136-137, January 2002 [doi>10.1109/2.976929]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Domain-specific architectures

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.12 Interoperability
            Subjects: Distributed objects
      D.2.4 Software/Program Verification
      D.2.5 Testing and Debugging

  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.2 Semantics of Programming Languages
          Subjects: Program analysis

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.2 Automatic Programming
          Subjects: Program verification

General Terms:
Design, Verification