An Evidence and Attribute model Based Software Credibility Assessment Tool

Size: px

Start display at page:

Download "An Evidence and Attribute model Based Software Credibility Assessment Tool"

Abraham Maxwell
8 years ago
Views:

1 Trustie Manager An Evidence and Attribute model Based Software Credibility Assessment Tool EMSOFT NUAA Hua Zhou

2 Background Terms Technical-solution Advantages Scenarios Conclusions 2

Background Trustie 863:High trusted software tools and integrated production environment ShenZhow Digital :Trustie based software production line

3 Background Trustie 863:High trusted software tools and integrated production environment ShenZhow Digital :Trustie based software production line TrustieManager Intention: A management system of the credibility assessment of software Base:Trustie specifications ; Evidence and Attribute model 3

production line TrustieManager Intention: A management system of the

4 Background Terms Technical-solution Advantages Scenarios Conclusions 4

5 Terms Trustie Credible national software production resource sharing and collaborate environment Trusted software If the behavior of a software system is always the some as the expected behavior of the user. Software credibility The ability of software to provide expected safe and reliable services. 5

system is always the some as the expected behavior of the user.

6 Terms Credible attribute A set of properties used to describe and evaluate the credibility of software system. Software credible attributes can be refined into a credible multi-level sub-attributes. Credible evidence Software-related information such as data, documents or other information which can reflect the credible properties of the software system. 6

Software credible attributes can be refined into a credible multi-level sub-attributes.

7 Terms Credibility level Scale in a range of values can be used in accordance with the explicit or implicit demand for the grading assessment of the credibility of the software, which is called the credibility level. Credibility assessment Determine whether a particular software product already achieve a certain confidence level of activity, known as the software credible level assessment, referred to as the software credible assessment. 7

Credibility assessment Determine whether a particular software product already achieve a certain confidence

8 Background Terms Technical-solution Advantages Scenarios Conclusions 8

9 Technical-solution Assessment process Software Resources Credible Evidence Indicators Credibility Assessment Credibility Level Credibility Attributes 9

10 Technical-solution Trustie Manager Configuration management Evidence management Attributes model management Software Resources management 10

11 Technical-solution Trustie Manager Software Resources management Configuration management Evidence management Attributes model management Software Resources management Support the management of basic information of software resources (components, applications, services, etc.) Including name, responsible person, summary description and the list of attachments and so on. 11

management of basic information of software resources (components, applications, services,

12 Technical-solution Trustie Manager Evidence management Configuration management Evidence management Attributes model management Software Resources management 12

13 Technical-solution Trustie Manager Evidence management Configuration management Evidence model management Evidence data management Attributes model management Software Resources management 13

14 Technical-solution Trustie Manager Evidence model management Configuration management Evidence model management Evidence data management Attributes model management Software Resources management Different types of resources may have different systems of evidence. The system allows a configuration to load the model, and accordingly generate evidence editing interface. 14

Resources management Different types of resources may have different systems of evidence.

15 Technical-solution Trustie Manager Evidence data management Configuration management Evidence model management Evidence data management Attributes model management Software Resources management Access the management of specific evidence data. Various types of evidence data can be stored. 15

management Attributes model management Software Resources management

16 Technical-solution Trustie Manager Attributes model management Configuration management Evidence management Attributes model management Software Resources management Manager the credible attribute system of the software products. The highest level is the software's overall reliability The lower is the credibility of various sub-attributes. 16

management Manager the credible attribute system of the software products.

17 Technical-solution Trustie Manager Configuration management Configuration management Evidence management Attributes model management Software Resources management Get the credibility attributes system by reading a configuration in the system. Allows users to directly assess the overall credibility of the software from the evidence; Allowed assessing the levels of the sub-attributes firstly. 17

attributes system by reading a configuration in the system.

18 Technical-solution Trustie Manager System data relationship User Stage model Products Configuration Evidence model Evidence data Attribute model Result Assessment configuration system 18

19 Technical-solution Trustie Manager System data relationship A user can assess a resource, one or more users can browse a variety information of resources participated. A resources corresponding with a configuration, Including the following four aspects: the stage model configurations, credible evidence model configurations, credible attribute model configuration, assessment system configuration. 19

A resources corresponding with a configuration, Including the following four aspects: the stage

20 Technical-solution Trustie Manager System data relationship A participating resources in a configuration can submit a credible evidence data, including the value of the specific evidence. A participating resources with an evidence data and an assessment configuration can obtained an assessment conclusion. 20

21 Background Terms Technical-solution Advantages Scenarios Conclusions 21

22 Advantages Challenges Diverse needs of assessment Fixed attribute models or evidence models Software life cycle. Background of professional knowledge 22

23 Advantages Our innovations Can assess the credibility in different life cycle. Both evidence model and the attribute are customizable. Users can easily customize their own assessment of the assessment model to adapt to the diversity of needs. Not only support manual assessment but also support automatic calculation base on sub-attributes and relevant evidence. Which can be done in flexible and diversified ways. 23

24 Background Terms Technical-solution Advantages Scenarios Conclusions 24

25 Scenarios Project finished End of the main stage After user feedback After a component is formally changed 25

26 Scenarios 26

27 Background Terms Technical-solution Advantages Scenarios Conclusions 27

28 Conclusions Assessment objects can also be a component of software or other to adapt to the diverse needs of the assessment object. Resource evidences organized in stages, to achieve a variety of browser view of the evidence, and supporting software assessment in different stages of life cycle. Evidence model, attribute model can be customized to meet a variety requirement of software resources. We can automatically calculate the assess value of the parent property by the self defined classification system base on the assess result of the sub-properties, which facilitate the automated generation of assessment results. 28

29 THANKS

Web Based Configuration Management System. Gerald Wyatt SONGS Simulator Manager

Web Based Configuration Management System Gerald Wyatt SONGS Simulator Manager 1 Problem SONGS was using the site corrective action program (SAP) to track all simulator deficiencies. There was one designator