The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - April (2009 vol.42)
pp: 53-59
ABSTRACT
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.
INDEX TERMS
model-based development, embedded software development, Lero
CITATION
Hesham Shokry, "Model-Based Verification of Embedded Software", Computer, vol.42, no. 4, pp. 53-59, April 2009, doi:10.1109/MC.2009.125
REFERENCES
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.
24 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool