software safety Essay

Submitted By sunilmedisetty
Words: 5167
Pages: 21
Open Document
Software Safety
Author: Asif Syed
Summary:
Software for safety-critical systems, such as avionic, medical, defense, and manufacturing systems, must be highly reliable since failures can have catastrophic consequences. While existing methods, such as formal techniques, testing, and fault-tolerant software, can significantly enhance software reliability, they have some limitations in achieving ultrahigh reliability requirements. Formal methods are not able to cope with specification faults, testing is not able to provide high assurance, and fault-tolerant software based on diverse designs is susceptible to common-mode failures. We present a new approach that starts with a decomposition of the system requirements into a conjunction of subtasks (goals and constraints). The system state space is then projected onto a restricted space that is specialized for a subtask. The control problem corresponding to each subtask is solved and validated in its restricted “view” of the system state space. To allow the programs for the individual subtasks to be easily composed together, the model for each subtask is relational rather than functional, i.e., it represents a set of control trajectories for each input rather than just one trajectory. The overall system is obtained by composing the models for the subtasks using well-defined set intersection and union operations. The relational approach has several significant advantages. With appropriate priority assignments, it provides strong guarantees that the safety-critical components are immune to defects in other components of the system. Also, the system reliability can be rigorously derived from the component reliabilities. This significantly reduces the validation effort since the number of states and transitions in the decomposition is a fraction of those in the overall system. The system can be composed from its components either statically or dynamically; the latter facilitates on-the-fly maintenance as well as incorporation of advanced adaptive and evolving control programs. The paper contains a detailed example to illustrate the relational approach.

Analysis:
A. Software is influencing and controlling more and more of our daily lives.
The technology race (or rage) combined with the small inexpensive microprocessor has made it such that our society is giving computer control to everything possible. Everything from toasters to medical equipment, from commercial aircraft lavatories to spacecraft, and from kids toys to nuclear weapon systems. And, as more control is being given to computers, it follows that the software driving these computers is more prevalent and controlling also. B. Software is posing increasing safety risk.
The increased level of risk in software is due to many interrelated and complex factors, such as:
1. Increased usage of computers / software.
2. Increased dependency on computers / software..
3. Increased application to safety critical uses.
4. Significant difficulty developing software.
5. Significant difficulty preventing software bugs and errors. C. Software has many unique characteristics that make it difficult to work with.
The very unique nature of software makes it difficult to completely understand, and even more difficult to visualize all the possible ways software can perform or fail to perform.
Some of the unique characteristics of software include:
1. Software is an abstract concept in that it is a set of instructions on a piece of paper or in computer memory. It can be torn apart and analyzed in piece parts like hardware, yet unlike hardware it is not a physical entity with physical characteristics which must comply with the laws of nature (i.e., physics and chemistry).
2. Since software is not a physical entity it does not wear out or degrade over time. This means that software does not have any failure modes per se. Once developed it always works the same
Show More

Related Documents: software safety Essay

Essay on P1 working in it

applicants have. Employer must have to tell about when he get the qualification and how long have they been got that qualification, because the employee would like to know about that. The health and safety law has changed from the past and now when the employee asks the present term of health and safety, the employer must have to know about that. Also they will be required what level of qualification have they got and which subjects are they. Experience: A positive candidate experience can…

Words 1355 - Pages 6

Essay On Safety On Devices

Safety on Devices In the year of 2013, mobile devices, tablets, and laptops have become mans best friend. In the United States, more than half of the population owns a smart phone, tablet, or laptop. Many sources even state that the Americans that own these devices actually own two or more of these products. With wi-fi and Internet at our fingertips almost anywhere we go, these devices make it very easy for individuals and businesses to stay connected. Many businesses are now beginning to exhibit…

Words 618 - Pages 3

Essay TravelMate Series Tech Manual Critique

TravelMate Series Generic User Guide Critique Technical manuals tell customers about the requirements and steps to install, to operate and troubleshoot a piece of hardware or software into a safety manner. It also reduces customers’ unnecessary calls and e-mails to the organization help desk and assistance available resources, ensuring customer satisfaction is guaranty. To critique a technical manual the reviewer has to brainstorm the different point of views or define the areas of the manual…

Words 834 - Pages 4

Tamia Presentation Essay

Eye irritation, leading to inflammation or watery eyes Coughing Asthma attacks or even the onset of asthma Respiratory problems due to the mould spores getting into the lungs • Mould was classified as a Category 1 risk to health under the Health and Safety Hazards Rating System. Temperature and ventilation • Fresh air is needed to dilute and remove impurities and odours and to dissipate excess heat. • Legislation requires that every enclosed workplace should have effective ventilation, which provides…

Words 658 - Pages 3

E MAR bar coding AGUINAGA Essay

findings that medication errors represent the most common patient safety error,” (Barnsteiner, 2006). Technology has developed software to improve the safety of medication administration, as well as creating online medication records for patients. Nurses are frontline of medication administration; therefore precise electronic medication administration record (eMAR) is key to patient safety. Medication administration barcode software enables the nurse or any healthcare provider to document and administer…

Words 1192 - Pages 5

Cs 2401 Unit 1

Running head: CS 2401: Software Engineering 1 Written Assignment Unit 6 CS 2401 Software Engineering 1 Unit 6 University of the People Term 5 (2016-2017) December 19, 2016…

Words 1029 - Pages 5

Product Review Essay

has been a reliable Internet Security (IS) software for some years now. As we come up on the New Year the time has come to issue the newest version IS software 2013. This new version that also features BullGuard Antivirus 2013 was released middle September. With being two months in from the releasing, here’s a review that gives you an inside scoop on what’s new and improvements that has been made from 2012. Like the older versions, this software has an objective of keeping your computer safe…

Words 768 - Pages 4

Computer Fundamentals Essay

Contents Briefing Page 3 Required Software Packages Page 3, 4 & 5 Computer Hardware Page 5 Computer Software Page 5 Design of Computer…

Words 2799 - Pages 12

Business Reforms Essay

needed. Emergency provision The health and safety at work act 1974 requires organisations to drag up policies and provisions for what should happen in the event of an emergency within the building. This means that each employee must be given evacuation training, in the event of an emergency the employee with have clear instructions provided about what to do in the event of a fire. The organization must also provide equipment for the safety of the…

Words 1723 - Pages 7

Unit 4 business communications task 1B 1C Essay

Communications: Task(s) 1 b) & 1 c): Introduction: In this assignment I am going to look at the operational issues surrounding ensuring information is safe, health and safety, ICT requirements and the training of staff at Carlisle College. I am also going to look at the advantages and disadvantages of information security, health and safety and systems to manage information and how Carlisle College meets these legal and operational issues. Task 1 b): Ensuring Information is Secure: The security of information…

Words 2048 - Pages 9