Textbook in PDF format

This book mainly introduces the research overview, results, and achievements of “The Fundamental Research for Trustworthy Software”, a major research plan of NSFC. The Plan focuses on four key scientific issues:
(i) measurement and modeling of software trustworthiness;
(ii) construction and verification of trustworthy software;
(iii) evolution and control of trustworthy software;
(iv) trusted environment construction and evaluation.
This book aims to establish a research framework for fundamental research on trustworthy software by focusing on the trustworthiness of embedded software and network application software, as well as the trustworthiness of software in key application fields in China. This book is intended for researchers who have been following the evolution of and trends in the trustworthy software; the book is also a valuable reference resource for practitioners and scholars at various levels and in various fields.
Editorial Board
Preface to the Series
Preface
Contributors
Project Overview
Introduction
Overall Scientific Objectives
Key Scientific Issues
Project Layout
Project Deployment
Comprehensive Integration
Interdisciplinary Efforts
Significant Progress
Research in China and Abroad
Research Status
Research Trends
Research Focuses
Major Research Achievements
Test Environment and Demonstration Application of Trustworthy Network Transaction Software Systems
Major Innovations
Research Level and Outstanding Contributions
Modeling of Multi-dimensional Online Cross-language Calling Network and Its Empirical Application in Trustworthy National Electronic Tax Software
Major Innovations
Research Level and Outstanding Contributions
IoV-Oriented Test Environment and Demonstration Application of Trustworthy Network Application Software Systems
Major Innovations
Research Level and Outstanding Contributions
Trustworthiness Guarantee Integrated Environment of Aerospace Embedded Software and Its Demonstration Application and Verification
Major Innovations
Research Level and Outstanding Contributions
Trustworthy Software Theory, Method Integration, and Comprehensive Experiment Platforms
Major Innovations
Research Level and Outstanding Contributions
Outlook
China’s Research Deficiencies and Strategic Requirements
Research Deficiencies
Strategic Requirements
Conceptions and Suggestions for Further Research
Conceptions for Further Research
Suggestions for Further Research
Bibliography
Index