EBK SOFTWARE ENGINEERING
10th Edition
ISBN: 8220101455970
Author: 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 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're a train engineer in charge of developing a modest, safety-critical train control system that has to be
shown safe and secure. Your suggestion that formal approaches be employed in the creation of this system is
received with skepticism by your boss. Write a paper outlining the advantages of formal methods and making a
case for their application in this project?
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_forwardSuggest 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_forward
- One 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_forwardIn your perspective, when does testing start throughout the SDLC? When in your project should testing begin? Why?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
- 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_forwardTake into consideration a variety of risk reduction approaches while planning device implementation projects. When it comes to the conceptual design phase, which strategy will be more effective? What do you think the approach is that is utilized to collect data and conduct risk assessments is, exactly?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
- Charlie 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_forwardIn the next section, the metrics for static testing and route testing will be broken out in more detail, and the piece that comes after that will explain how utilising these metrics may help project managers save money.arrow_forwardIdentify a suitable iterative methodology for the scenario given below and justify your choice. Critically evaluate the different stages of the iterative methodology chosen by mapping on to the given scenario. Identify, explain and draw the main use cases of the scenario. Assume that you are working as a project manager in a reputed organization and you have been assigned with a new project to develop a suitable system for the following scenario. A leading job recruitment and training institution in Oman would like to develop a system to manage all their functional requirements like upload the current job requirements as well the courses they have offered. The website can be used by the job seekers as well as for trainees to take up a training on any course they are offering. The system should have the features for the clients to Sign in, register, Upload CV, apply for an existing job. The website should also show all the information about a course such as course name, duration,…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 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