Software Engineering (10th Edition)
10th Edition
ISBN: 9780133943030
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 solution
Students 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?
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_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_forwardYou 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?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_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_forwardIn your perspective, when does testing start throughout the SDLC? When in your project should testing begin? Why?arrow_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_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_forwardTo assist you in deciding whether the cascade methodology is ideal for your project, we have detailed some arguments for and against it below.arrow_forward
- What is the difference between the interactive model and the waterfall approach for maintenance operations?arrow_forwardcan you please help me with the progress report of python network automation? can you please help me with the new possible risks and budget overview Task Description Report Layout and Report Compilation The report style, language and structure should be appropriate. All assignments need to be compiled and in a single final report and any given suggestions need to be incorporated. Status Summary Briefly describe the planning status of the project. New Potential Risks List new issues, risks or blockers you want to raise Budget Overview Any changes in the budgets will be included in this section References All references need to be in a sequential order and Follow the IEEE stylearrow_forwardWhen deciding whether or not the cascade technique is appropriate for your project, it is important to think about both the advantages and the limitations that were presented in the article.arrow_forward
arrow_back_ios
SEE MORE QUESTIONS
arrow_forward_ios
Recommended textbooks for you
Principles of Information Systems (MindTap Course...Computer ScienceISBN:9781305971776Author:Ralph Stair, George ReynoldsPublisher:Cengage Learning
Information Technology Project ManagementComputer ScienceISBN:9781337101356Author:Kathy SchwalbePublisher:Cengage Learning
Management Of Information SecurityComputer ScienceISBN:9781337405713Author:WHITMAN, Michael.Publisher:Cengage Learning,
Principles of Information Systems (MindTap Course...
Computer Science
ISBN:9781305971776
Author:Ralph Stair, George Reynolds
Publisher:Cengage Learning
Information Technology Project Management
Computer Science
ISBN:9781337101356
Author:Kathy Schwalbe
Publisher:Cengage Learning
Management Of Information Security
Computer Science
ISBN:9781337405713
Author:WHITMAN, Michael.
Publisher:Cengage Learning,