This Article 
 Bibliographic References 
 Add to: 
Model-Based Verification of Embedded Software
April 2009 (vol. 42 no. 4)
pp. 53-59
Current advances in model-based develop-­ ment technology indicate that embedded- software developers can expect more tool support for the whole embedded-software spectrum, from applications to system software.

1. B. Broekman and E. Notenboom, Testing Embedded Software, Addison-Wesley, 2003.
2. D.H. Stamatis, Failure Mode and Effect Analysis—FMEA from Theory to Execution, ASQC Quality Press, 1995.
3. I. Stürmer, D. Weinberg, and M. Conrad, "Overview of Existing Safeguarding Techniques for Automatically Generated Code," Proc. 2nd Int'l Workshop Software Engineering for Automotive Systems, ACM SIGSOFT Software Engineering Notes, 2005, pp. 1-6.
4. I. Fey and I. Stürmer, "Code Generation for Safety Critical Systems—Open Questions and Possible Solutions," Proc. SAE World Congress 2008, SAE Doc. #2008-01-0385, 2008, pp. 1-6.
5. Z. Jiang et al., "Processor-in-the-Loop Simulation, Real-Time Hardware-in-the-Loop Testing, and Hardware Validation of a Digitally-Controlled, Fuel Cell-Powered Battery Charging Station," Proc. 35th Ann. Power Electronics Specialists Conf., IEEE Press, 2004, pp. 2251-2257.
6. Federal Aviation Authority, "Software Considerations in Airborne Systems and Equipment Certification," 1992, Document No. RTCA/DO-178, RTC A. Inc.
7. T. McCabe, "A Complexity Measure," IEEE Trans. Software Eng., SE-2, no. 4, 1976, pp. 308-320.

Index Terms:
model-based development, embedded software development, Lero
Hesham Shokry, Mike Hinchey, "Model-Based Verification of Embedded Software," Computer, vol. 42, no. 4, pp. 53-59, April 2009, doi:10.1109/MC.2009.125
Usage of this product signifies your acceptance of the Terms of Use.