Model-based verification of embedded software

Computer

Volumn 42, Issue 4, 2009, Pages 53-59

  Shokry, Hesham ^a   Hinchey, Mike ^b  

^a University of Limerick   (Ireland)

^b UNIVERSITY OF LIMERICK   (Ireland)

Author keywords

Control systems; Data mining; Embedded software development; Lero; Model based development; Probability density function; Real time systems; Software; Software architecture; Testing

Indexed keywords

EID: 67649359733     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2009.125     Document Type: Article

References (7)

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, RTCA. Inc.
7. T. McCabe, "A Complexity Measure," IEEE Trans. Software Eng., SE-2, no. 4, 1976, pp. 308-320.