Scribd
Upload
112 views

Dependable Systems Assignment Ans

The document outlines 6 key reasons for the importance of system dependability in sociotechnical systems: 1) System failures can affect large numbers of people, 2) Users reject unreliable systems, 3) System failures can result in enormous costs, 4) Undependable systems may cause information loss, 5) Systems may damage their external environment if undependable, and 6) System failures may breach consumer protection and product quality laws.

Uploaded by

Htet Htet Oo
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
112 views

Dependable Systems Assignment Ans

The document outlines 6 key reasons for the importance of system dependability in sociotechnical systems: 1) System failures can affect large numbers of people, 2) Users reject unreliable systems, 3) System failures can result in enormous costs, 4) Undependable systems may cause information loss, 5) Systems may damage their external environment if undependable, and 6) System failures may breach consumer protection and product quality laws.

Uploaded by

Htet Htet Oo
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 2

1.

Suggest six reasons why software dependability is important in most


sociotechnical systems.

Ans: Reasons for the Importance of System Dependability

1.System failures affect a large number of people.


2. Users often reject systems that are unreliable, unsafe, or insecure.
3. System failure costs may be enormous.
4. Undependable systems may cause information loss.
5. An undependable system may damage its external environment.
6. The system failure may be in breach of laws on consumer protection and
the fitness of goods for purpose.

7. You are an engineer in charge of the development of a small, safety-critical


train control system, which must be demonstrably safe and secure. You
suggest that formal methods should be used in the develop of this system,
but your manager is skeptical of this approach. Write a report highlighting
the benefits of formal methods and representing a case for their use in this
project.

Ans:The mathematical approach to develop any software by defining a


formal model for any application or software is known as formal methods.
There are so many advantages of using formal methods. Some of the
advantages for using formal methods on safety system of train control are
as given below.

 The system requirements for the train safety system can be fully
understood in a detailed and deep manner.
 As a system is expressed in regular language of the country, if any
incompleteness or inconsistency is coming, then, that can be easy
removed.
 The methods which are developed as formal methods are fully
transferred to formal specification. So, it assures that all the
requirements are fully satisfied.
 The testing cost for the train safety system will also minimize. This is
because, the program is already verified for its specification.
This system can be used in most of the super-fast train systems to ensure
their safety. As it uses regular language, it can be easily understood by the
train operators.

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy