Data driven computing system development

Abstract

The present invention is based on the data value and data timing attributes realizations and provides an explicitly defined definite or fixed method for constructing a computing system software consisting of (1). A definite system development method; (2). A definite safety relevant system development method in the furthermore manner; (3) the specific and definite criteria to measure the software and the safety. Said method is based on the exclusive disclosure that is: computing system functionalities can be fully represented by the data comprising Input Data, Middle Data and Output Data, in which the Output Data represent fully the system functionalities under the input data from the system black-box point of view, the Middle Data represent fully the middle functionalities that are transporting and transforming the Input Data to the Output Data. In the system, each data has two and only two systematic attributes: data value and data timing attributes. So, the software development goal is to derive the two systematic attributes for each required output data correctly, and the safety development goal is to make sure that the two attributes of each output data are derived correctly and reliably. And such developments will be complete, consistent, accurate and efficient because all required information and development activities are covered, and any other information and other activities are not included.