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.