Pearson eText for Software Engineering -- Instant Access (Pearson+)
10th Edition
ISBN: 9780137503148
Author: Ian Sommerville
Publisher: PEARSON+
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 solutionStudents have asked these similar questions
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 development of this system, but your manager is skeptical of this approach. Write a report highlighting the benefits of formal methods and presenting a case for their use in this project.
Explore the concept of formal methods in software safety engineering. How do formal methods help in verifying the correctness of safety-critical software?
Suppose 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?
Chapter 10 Solutions
Pearson eText for Software Engineering -- Instant Access (Pearson+)
Knowledge Booster
Similar questions
- Iman Software House is awarded with a contract for developing a flood disaster management system. Although the company has been in the industry for almost three years, this project is considered new and by far the biggest project they ever involved in. A stipulated amount of money has been allocated for the project and there is only three months given before the project is delivered to the client. The short project duration is due to the approaching flood season. The development team therefore must work fast despite of their lack of experience in this type of project. The system requirements are gathered from many different stakeholders including the local authorities, natural disaster management agencies and many more. Among the important measures for this system are Reservoirs, Embankments, Channelisation of Rivers, Drainage Improvement and Diversion of Flood Waters. The system must also be designed to be highly reliable, maintainable and scalable. Based on the above case study, a)…arrow_forwardWe have taken all the possible techniques to prevent the defects in different phases of SDLC. Do we still need to test the software? Explain your answer.arrow_forwardDuring your first meeting with the reps, you will be asked to give a preliminary suggestion on the kind of testing that should be performed in each of the scenarios listed below. Explain your choice in each of the scenarios and provide justifications for it. The company is concerned that if the system is made available to the public, it will fail due to the large number of users. The many components of the system are closely interconnected. As part of the system development process, all of the system's expectations and needs are articulated in plain language. The company is worried that the systems will only work in a hypothetical situation.arrow_forward
- Suggest an appropriate project methodology that might be used for development of the following computer systems. Provide proper justification of your choice. The traffic control system inside Riyadh city is not meeting the expectations of traffic police. The system is to be updated within a few weeks to incorporate the traffic intensity, the weather conditions and the VIP movements etc. Suggest an appropriate software model for this scenario. A social network web application (a Facebook-like application)arrow_forwardOne can expect that in many cases, participants in an inspection session are able to suggest solutions for a detected defect or, at least, point out possible directions for its solution. While it is clear that these suggestions are crucial for the development team, it is commonly recommended to avoid any discussion about solutions during the inspection session. 1. List your arguments in favor of this recommendation. 2. What other kinds of cooperation between the moderator and the review team would you prefer to observe in a session?arrow_forwardSequence RequirementThe following are the sequence requirement for this project.• At first state (00) and third state (10): The system transitions to the next state when the long timer goes OFF.• At second state (01) and fourth state (11): The system transitions to the next state when the short timer goes OFF.Therefore, add the sequence requirement into state diagram from Lab 2, your new state diagram is shown in Figure 2.PART 1: DESIGN1.1 Design a 2-bit binary counter using D flip-flops. Consider the long timer, TL and short timer, TS as your control inputs for the counter to work. As shown in Figure 1, the output from this counter, will be inputted to the combinational logic circuit. Show all your design steps (truth table, equation, and circuit implementation).arrow_forward
- Explore the concept of fault injection testing in software safety. How is it performed, and what are its benefits in assessing system resilience?arrow_forwardIn your perspective, when does testing start throughout the SDLC? When in your project should testing begin? Why?arrow_forwardIdentify the crucial factors, which you must consider for the implementation pipelining and also identify the hazard with their solution that may arise during implementationarrow_forward
- The Engineering Solutions Company Limited (ESCL) has tendered for, and won a contract to design and build a computerized flood- warning system in Trinidad and Tobago. Consider the activities, durations, and predecessor relationships to roll out this project, in the following network, shown in Table 7 below. Draw the network and answer the questions that follow. ESCL Computerized Flood-Warning System Project Immediate Activity Description Predecessor(s) Time Optimistic Most Likely Pessimistic (Weeks) (Weeks) (Weeks) A 4 1 4 7 --- C A. 2 2 2 D В 1 7 10 D 4 F E 1 2 3 G C 17 H D, G 3 7 11 I D 8 10 J F, H 4 5 K I 1 1 1 a) Using a network, what is the earliest expected time of completion of the whole project? c) Using the information from Table 7, what is the probability that the project can be completed in 28 days? d) Using the information from Table 7, if the project manager wants at least a 98% probability that the project will be completed on or before the due date, what is the shortest…arrow_forwardCharlie looked across his desk at Kelvin, who was absorbed in the sheaf of handwritten notes from the meeting. Charlie had asked Kelvin to come his office to discuss the change control meeting that had occurred earlier that day. “So what do you think?” he asked.“I think I was blindsided by a bus!” Kelvin replied. “I thought I had considered all the possible effects of the change in my project plan. I tried to explain this, but everyone acted as if I had threatened their jobs.” “In a way you did,” Charlie stated. “Some people believe that change is the enemy.” “But these changes are important.” “I agree,” Charlie said. “But successful change usually occurs in small steps. What’s your top priority?” “All the items on this list are top priorities,” Kelvin said. “I haven ’t even gotten to the second tier. ” “So what should you do to accomplish these top priorities?” Charlie asked.“I guess I should reprioritize within my top tier, but what then?”“The next step is to build support before the…arrow_forwardGiven the choice between the classic and iterative waterfall models, which one would be preferred for implementation in a project and what are the reasons for this selection? In your perspective, what remedial measures are necessary to address this issue?arrow_forward
arrow_back_ios
SEE MORE QUESTIONS
arrow_forward_ios
Recommended textbooks for you
- Database System ConceptsComputer ScienceISBN:9780078022159Author:Abraham Silberschatz Professor, Henry F. Korth, S. SudarshanPublisher:McGraw-Hill EducationStarting Out with Python (4th Edition)Computer ScienceISBN:9780134444321Author:Tony GaddisPublisher:PEARSONDigital Fundamentals (11th Edition)Computer ScienceISBN:9780132737968Author:Thomas L. FloydPublisher:PEARSON
- C How to Program (8th Edition)Computer ScienceISBN:9780133976892Author:Paul J. Deitel, Harvey DeitelPublisher:PEARSONDatabase Systems: Design, Implementation, & Manag...Computer ScienceISBN:9781337627900Author:Carlos Coronel, Steven MorrisPublisher:Cengage LearningProgrammable 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