Skip to main content
SpringerLink
Log in

Dynamical characteristics of software trustworthiness and their evolutionary complexity

  • Published:
Science in China Series F: Information Sciences Aims and scope Submit manuscript

Abstract

Developing trusted softwares has become an important trend and a natural choice in the development of software technology and applications, and software trustworthiness modeling has become a prerequisite and necessary means. To discuss and explain the basic scientific problems in software trustworthiness and to establish theoretical foundations for software trustworthiness measurement, combining the ideas of dynamical system study, this paper studies evolutionary laws of software trustworthiness and the dynamical mechanism under the effect of various internal and external factors, and proposes dynamical models for software trustworthiness, thus, software trustworthiness can be considered as the statistical characteristics of behaviors of software systems in the dynamical and open environment. By analyzing two simple examples, the paper explains the relationship between the limit evolutionary behaviors of software trustworthiness attributes and dynamical system characteristics, and interprets the dynamical characteristics of software trustworthiness and their evolutionary complexity.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. The Open Trusted Computing (OpenTC) Consortium. General Activities of OpenTC [EB/OL]. [2006-3-1]. http://www.opentc.net/activities

  2. Reith M, Niu J, Winsborough W H. Engineering trusted management into software models. In: Proceedings of the International Workshop on Modeling in Software Engineering. Washington DC: IEEE CS Press, 2007. 9–15

    Chapter  Google Scholar 

  3. Littlewood B, Wright D. The use of multi-legged arguments to increase confidence in safety claims for software-based systems: a study based on a BBN of an idealised example. IEEE Trans Softw Eng, 2007, 33(5): 347–365

    Article  Google Scholar 

  4. Musa J D, Iannino A, Okumoto K. Software Reliability: Measurement, Prediction, Application, Professional Edition: Software Engineering Series. New York: McGraw-Hill Press, 1990

    Google Scholar 

  5. Littlewood B, Strigani L. Software reliability and dependability: a roadmap. In: Proceeedings of the Conference on the Future of Software Engineering. New York: ACM Press, 2000, 175–188

    Chapter  Google Scholar 

  6. Castro M, Rodrigues R, Liskov B. BASE: Using abstraction to improve fault tolerance. ACM Trans Comput Syst, 2003, 21(3): 236–269

    Article  Google Scholar 

  7. Triantafyllos G, Vassiliadis S, Kobrosly W. On the prediction of computer implementation faults via static error prediction models. J Syst Softw, 1995, 28(2): 129–142

    Article  Google Scholar 

  8. Gashi I, Popov P, Strigini S. Fault tolerance via diversity for Off-The-Shelf products: a study with SQL database servers. IEEE Trans Dependable Sec Comput, 2007, 4(4): 280–294

    Article  Google Scholar 

  9. Banerjee S, Mattmann C A, Medvidovic N, et al. Leveraging architectural models to inject trust into software systems. In: Proceedings of the Workshop on Software Engineering for Secure Systems—Building Trustworthy Applications. New York: ACM Press, 2005. 1–7

    Chapter  Google Scholar 

  10. Kurzyniec D, Sunderam V, Migliardi M. On the viability of component frameworks for high performance distributed computing: a case study. In: Proceeding of the 11th IEEE International Symposium on High Performance Distributed Computing. Edinburgh: IEEE Press, 2002. 275–283

    Chapter  Google Scholar 

  11. Hasselbring W, Ruessner R. Toward trustworthy software systems. Comput, 2006, 39(4): 91–92

    Article  Google Scholar 

  12. Kirovski D, Drinic M, Potkonjak M. Enabling trusted software integrity. Oper Syst Rev, 2003, 36(5): 108–120

    Article  Google Scholar 

  13. Smale S. Differentiable Dynamical Systems. Bull Amer Math Soc, 1967, 73(6): 747–817

    Article  MathSciNet  Google Scholar 

  14. Friedman A, Reitich F. Symmetry-breaking bifurcation of analytic solutions to free boundary problems: an application to a model of tumor growth. Trans Amer Math Soc, 2000, 353(4): 1587–1634

    Article  MathSciNet  Google Scholar 

  15. Friedman A, Hu B. Stability and instability of Liapunov-Schmidt and Hopf bifurcation for a free boundary problem arising in a tumor model. Trans Amer Math Soc, 2008, 360: 5291–5342

    Article  MATH  MathSciNet  Google Scholar 

  16. Benedicks M, Carleson L. On Iterations of 1-ax2 on (−1, 1). Ann Math, 1985, 122(1): 1–25

    Article  MathSciNet  Google Scholar 

  17. Collet P, Eckmann J P. Iterated Maps on the Interval as Dynamical System. Boston: Birkhäuser Press, 1980

    Google Scholar 

  18. Lorenz E N. Deterministic nonperiodic flow. J Atmos Sci, 1963, 20: 130–141

    Article  Google Scholar 

  19. Hénon M. A two-dimensional mapping with a strange attractor. Comm Math Phys, 1976, 50(1): 69–77

    Article  MATH  MathSciNet  Google Scholar 

  20. Zheng Z M, Ma S L, Li W, et al. Complexity of software trustworthiness and its dynamical statistical analysis methods. Sci China Ser F-Inf Sci, 2009, 52(9): doi: 10.1007/s11432-029-0143-4

Download references

Author information

Authors and Affiliations

  1. Key Laboratory of Mathematics, Informatics and Behavioral Semantics, Ministry of Education, Beihang University, Beijing, 100191, China

    ZhiMing Zheng, Xin Jiang & BingHui Guo

  2. State Key Laboratory of Software Development Environment, Beihang University, Beijing, 100191, China

    ShiLong Ma & Wei Li

  3. School of Mathematical Sciences, Peking University, Beijing, 100871, China

    ZhiMing Zheng, Wei Wei & ZhanLi Zhang

Authors
  1. ZhiMing Zheng
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. ShiLong Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wei Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Wei Wei
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Xin Jiang
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. ZhanLi Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. BingHui Guo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to ZhiMing Zheng or ShiLong Ma.

Additional information

Supported partially by the National Basic Research Program of China (Grant No. 2005CB321900) and the National Natural Science Foundation of China (Grant No. 60473091)

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zheng, Z., Ma, S., Li, W. et al. Dynamical characteristics of software trustworthiness and their evolutionary complexity. Sci. China Ser. F-Inf. Sci. 52, 1328–1334 (2009). https://doi.org/10.1007/s11432-009-0137-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11432-009-0137-2

Keywords

Search

Navigation