EBK SOFTWARE ENGINEERING
10th Edition
ISBN: 9780133943238
Author: SOMMERVILLE
Publisher: PEARSON CO
expand_more
expand_more
format_list_bulleted
Question
Chapter 10, Problem 10.9E
Program Plan Intro
Given Information:
An engineer in charge of the development of small, safety-critical train control systems suggests formal methods which should be used in the development of the system.
Expert Solution & Answer
Want to see the full answer?
Check out a sample textbook solution
Students have asked these similar questions
You are an engineer in charge of the development of a modest, safety-critical train control system that must be demonstrated to be both safe and secure in all circumstances. Your suggestion that formal methods be utilized in the creation of this system is met with skepticism by your management, who believes otherwise. Report on the advantages of formal methods, making a case for their use in this project, and offering a rationale for their use.
You have been tasked with analysing a reservation and ticketing system for trains as part of your project. How do you intend to make certain that high-quality software is created over the whole of the system development life cycle?
Discuss the concept of hazard analysis and risk assessment in software safety engineering. How can techniques like Fault Tree Analysis (FTA) and Failure Modes and Effects Analysis (FMEA) be applied to identify and mitigate potential hazards?
Knowledge Booster
Similar questions
- Describe the concept of "safety case development" and its role in justifying the safety of a software-intensive system.arrow_forwardSuppose you are a member of a team working on a computer-controlled crash avoidance system for automobiles. You think the system has a flaw that could endanger people. The project manager does not seem concerned and expects to announce completion of the project soon. Do you have an ethical obligation to do something?arrow_forwardExplore the concept of "bath tub curve" in system reliability and its implications for maintenance strategies.arrow_forward
- Outline the essential metrics that are associated with static testing and route testing; then, by discussing them in depth, demonstrate how these measures assist project managers in reducing costs.arrow_forwardIn order to make a system fault-tolerant, it's a good idea to think about how to keep other processes in the dark about the failure. How can one go about covering up such blunders? Please elucidate.arrow_forwardExplain some of the compromises that have to be made in order to ensure both efficiency and safety in your own words.arrow_forward
- What do you understand by the term stress testing? Suggest how you might stress-test the Mentcare system.arrow_forwardCreate a fault-tolerant system by hiding failures from other processes. How do your tactics hide these shortcomings? Detail everything.arrow_forwardHow can you quantify and assess the reliability of a system using techniques like Failure Mode and Effects Analysis (FMEA)?arrow_forward
arrow_back_ios
arrow_forward_ios
Recommended textbooks for you
Database System ConceptsComputer ScienceISBN:9780078022159Author:Abraham Silberschatz Professor, Henry F. Korth, S. SudarshanPublisher:McGraw-Hill Education
Starting Out with Python (4th Edition)Computer ScienceISBN:9780134444321Author:Tony GaddisPublisher:PEARSON
Digital Fundamentals (11th Edition)Computer ScienceISBN:9780132737968Author:Thomas L. FloydPublisher:PEARSON
C How to Program (8th Edition)Computer ScienceISBN:9780133976892Author:Paul J. Deitel, Harvey DeitelPublisher:PEARSON
Database Systems: Design, Implementation, & Manag...Computer ScienceISBN:9781337627900Author:Carlos Coronel, Steven MorrisPublisher:Cengage Learning
Programmable Logic ControllersComputer ScienceISBN:9780073373843Author:Frank D. PetruzellaPublisher:McGraw-Hill Education
Database System Concepts
Computer Science
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:McGraw-Hill Education
Starting Out with Python (4th Edition)
Computer Science
ISBN:9780134444321
Author:Tony Gaddis
Publisher:PEARSON
Digital Fundamentals (11th Edition)
Computer Science
ISBN:9780132737968
Author:Thomas L. Floyd
Publisher:PEARSON
C How to Program (8th Edition)
Computer Science
ISBN:9780133976892
Author:Paul J. Deitel, Harvey Deitel
Publisher:PEARSON
Database Systems: Design, Implementation, & Manag...
Computer Science
ISBN:9781337627900
Author:Carlos Coronel, Steven Morris
Publisher:Cengage Learning
Programmable Logic Controllers
Computer Science
ISBN:9780073373843
Author:Frank D. Petruzella
Publisher:McGraw-Hill Education