Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

2024 | Book

Project Overview Read chapter Read first chapter

The Fundamental Research for Trustworthy Software

Editor: Jifeng He

Publisher: Springer Nature Singapore

Book Series : Reports of China’s Basic Research

Part of: Springer Professional "Wirtschaft+Technik" , Springer Professional "Technik" , Springer Professional "Wirtschaft"

Login to get access
insite
SEARCH

About this book

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.

Table of Contents

Frontmatter
Chapter 1. Project Overview
Abstract
With the advancement of modern information technology and its widespread application, software has evolved into the soul of modern computer systems. It is at the heart of national informatization construction and has become a powerful driver of the development of productive forces in contemporary society and the advancement of human civilization. Moreover, software plays an important role in the national economy, social development, and national defense construction.
Jifeng He, Binxing Fang, Jiaguang Sun, Zongben Xu, Yong Shi, Ji Wang, Zhiguang Shan, Geguang Pu, Ke Liu, Ruizhen Zhao, Zhaotian Zhang, Jian Guo
Chapter 2. Research in China and Abroad
Abstract
Software is a technical discipline that takes computer software as the object and studies its paradigm, development method s, operation support, and quality metrics evaluation. The foundation of trustworthy software research is software trustworthiness. It performs basic research on software and related interdisciplinary studies. Software engineering is its basic content.
Jifeng He, Binxing Fang, Jiaguang Sun, Zongben Xu, Yong Shi, Ji Wang, Zhiguang Shan, Geguang Pu, Ke Liu, Ruizhen Zhao, Zhaotian Zhang, Jian Guo
Chapter 3. Major Research Achievements
Abstract
Software trustworthiness is an essential topic in software science. The evolution of trustworthy software research is closely related to the evolution of software paradigm, development method, operation support, and metric evaluation.
Jifeng He, Binxing Fang, Jiaguang Sun, Zongben Xu, Yong Shi, Ji Wang, Zhiguang Shan, Geguang Pu, Ke Liu, Ruizhen Zhao, Zhaotian Zhang, Jian Guo
Chapter 4. Outlook
Abstract
Although the Plan has achieved the expected goals, we are still lagging behind in the following aspects judging from the overall international situation.
Jifeng He, Binxing Fang, Jiaguang Sun, Zongben Xu, Yong Shi, Ji Wang, Zhiguang Shan, Geguang Pu, Ke Liu, Ruizhen Zhao, Zhaotian Zhang, Jian Guo
Backmatter
Metadata
Title
The Fundamental Research for Trustworthy Software
Editor
Jifeng He
Copyright Year
2024
Publisher
Springer Nature Singapore
Electronic ISBN
978-981-9955-89-3
Print ISBN
978-981-9955-88-6
DOI
https://doi.org/10.1007/978-981-99-5589-3

Premium Partner

    Image Credits