Formal Approach to Enhance the Reliability of Embedded Software System

Abstract:

Software formal method is a mathematics-based technique for the specification, development and verification of software systems, and has been viewed as an important way to guarantee the reliability of final product. Reliability of Algorithms in embedded software system is in high demand. The paper introduces an algorithm formal approach suitable to the development of embedded software that will enhance its reliability, and as a case study an algorithm has been formally developed.

• Periodical: Applied Mechanics and Materials (Volumes 568-570)
• Pages: 1451-1454
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.568-570.1451
• Online since: June 2014
• Authors: Hai He Shi*, Hai Peng Shi
• Keywords: Embedded Software System, Formal Approach, Software Reliability

References

[1] D.E. Simon, An Embedded Software Primer, Addison-Wesley Educational Publishers Inc., New York, (1999).

[2] J.Y. Xue, A unified approach for developing efficient algorithmic programs, J. Comput. Sci. Tech. 12 (4), 1997, 314-329.

[3] H.H. Shi, J.Y. Xue, PAR-based formal development of algorithms, Chinese J. Comput. 32 (5), 2009, 982-991.

DOI: 10.3724/sp.j.1016.2009.00982

[4] T. H. Cormen, Introduction to Algorithms, second ed., MIT Press, Cambridge, (2001).