Filters








101,830 Hits in 4.1 sec

Timing Tolerances in Safety-Critical Software [chapter]

Alan Wassyng, Mark Lawford, Xiayong Hu
2005 Lecture Notes in Computer Science  
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met.  ...  The definitions and analysis presented explicitly deal with tolerances in all timing durations.  ...  This work reflects the successful application of many of his pioneering and fundamental ideas regarding software engineering.  ... 
doi:10.1007/11526841_12 fatcat:qakihstpabfmlacfdbud6mw4si

A Survey of Software Development Approaches Addressing Dependability [chapter]

Sadaf Mustafiz, Jörg Kienzle
2005 Lecture Notes in Computer Science  
Software development methods, frameworks, middleware, and other proposed approaches that integrate the concern of fault tolerance into the early software development stages have been studied.  ...  Current mainstream software engineering methods rarely consider dependability issues in the requirements engineering and analysis stage.  ...  in safety-critical real-time systems.  ... 
doi:10.1007/978-3-540-31869-9_8 fatcat:fukjaqy6e5h6fmr426rmx3lhvm

Fault and timing analysis in critical multi-core systems: A survey with an avionics perspective

Andreas Löfwenmark, Simin Nadjm-Tehrani
2018 Journal of systems architecture  
Multi-core processors offer a potential that is promising, but they also suffer from two issues that are only recently being addressed in the safety-critical contexts: lack of methods for assuring timing  ...  A B S T R A C T With more functionality added to future safety-critical avionics systems, new platforms are required to offer the computational capacity needed.  ...  To use multi-core processors in a safety-critical system, both problems (i.e., timing predictability and fault tolerance) have to be addressed.  ... 
doi:10.1016/j.sysarc.2018.04.001 fatcat:74tk5j6kyjfmxpufn3x7dph6ve

Representing design tradeoffs in safety-critical systems

Jennifer Morris, Philip Koopman
2005 Software engineering notes  
A technique for comparing the domain profiles and their fault-tolerance strategies could assist architects of new safety-critical systems in choosing an appropriate fault-tolerance strategy.  ...  Different fault-tolerance strategies have been shown to be effective at achieving fail-safe behavior in a number of safetycritical application domains with different dependability, service, and cost requirements  ...  As other safety-critical application domains transition to greater reliance on software, a natural reaction of system designers might be to simply apply the same safety-critical strategies used in these  ... 
doi:10.1145/1082983.1083228 fatcat:zbh2o57bt5ap5cn4w4axckj3xq

Page 993 of The Journal of the Operational Research Society Vol. 57, Issue 8 [page]

2006 The Journal of the Operational Research Society  
This issue becomes more important in the case of safety critical software. NVP technique is one of the two main fault-tolerant software systems for safety critical software.  ...  Evaluation of safety-critical software. Commun ACM 33: 636-648. Pham H (1996). A software cost model with imperfect debugging, random life cycle and penalty cost. Int J System Sci 27: 455-463.  ... 

Foreword

N. Viswanadham
1987 Sadhana (Bangalore)  
In this special issue, we concentrate on the reliability and fault-tolerance issues in real-time computer systems. We organise the papers in four sections:  ...  Foreword The importance of fault-tolerance and reliability issues in real-time computer control systems might easily be appreciated in the context of the ever increasing use of computers in application  ...  Reliability, safety and fault-tolerance are desirable features of real-time software.  ... 
doi:10.1007/bf02811308 fatcat:j26btmaytvc7jliswfgxly7ly4

An integrated life cycle-based software reliability assurance approach for NASA projects

Ying Shi, Prince Kalia, John Evans, Anthony DiVenti
2010 2010 Proceedings - Annual Reliability and Maintainability Symposium (RAMS)  
Expensive p Manual approach Identify Safety-Critical Software Identify Safety Critical Software In summary, software is safety-critical if it performs any of the following: Controls hazardous or safety-critical  ...  Software FMEA Software FMEA Background Software FMEA was introduced in the literature as Software FMEA was introduced in the literature as early as 1983 Software FMEA has been applied to safety critical  ... 
doi:10.1109/rams.2010.5448000 fatcat:j3vnllbisvhfddsm5qirvjyaju

Identifying dependability requirements for space software systems

Marcos Alécio dos Santos Romani, Carlos Henrique Netto Lahoz, Edgar Toshiro Yano
2010 Journal of Aerospace Technology and Management  
In critical systems like the embedded software of the Brazilian Satellite Launcher, ambiguity, non-completeness, and lack of good requirements can cause serious accidents with economic, material and human  ...  One way to assure quality with safety, reliability and other dependability attributes may be the use of safety analysis techniques during the initial phases of the project in order to identify the most  ...  In case of hardware failure or software errors at run time, the system critical functions should continue to be executed.  ... 
doi:10.5028/jatm.2010.02037810 fatcat:tfbwoqz3kjfe7pg3wtt5b4kbqa

Design for Safety [chapter]

Neil Storey
1999 Towards System Safety  
Developing safety-critical systems requires some very specialist tools -particularly in the area of software testing.  ...  In such cases much of the system becomes critical to the safety of the system.  ... 
doi:10.1007/978-1-4471-0823-8_1 fatcat:nemhizyz2fbtdnjjlecar3cs6u

On the Fault Hypothesis for a Safety-Critical Real-Time System [chapter]

H. Kopetz
2006 Lecture Notes in Computer Science  
The first part of this contribution focuses on the establishment of a comprehensive fault hypothesis for safety-critical real-time computer systems.  ...  The second part of this contribution focuses on the implications that such a fault hypothesis will have on the future architecture of distributed safety-critical real-time computer systems in the automotive  ...  ACKNOWLEDGEMENTS This work has been supported, in part by the European IST project NEXT TTA.  ... 
doi:10.1007/11823063_3 fatcat:kzcpz7hyczd53jnwj5zxgm3qbu

A Fault Hypothesis for Integrated Architectures

R. Obermaisser
2006 2006 International Workshop on Intelligent Solutions in Embedded Systems  
We describe the general structure of a fault hypothesis for safety-critical distributed real-time systems in Section 3.  ...  In order to support safety-critical application subsystems, an integrated architecture needs to support fault-tolerant strategies that enable the continued operation of the system in the presence of failures  ...  This work has been supported in part by the European IST project ARTIST2 under project No. IST-004527 and the European IST project DECOS under project No. IST-511764.  ... 
doi:10.1109/wises.2006.237001 fatcat:qckdoibxarbvdizzcu6jf7gl3i

A Fault Hypothesis for Integrated Architectures

R. Obermaisser, P. Peti
2006 2006 International Workshop on Intelligent Solutions in Embedded Systems  
We describe the general structure of a fault hypothesis for safety-critical distributed real-time systems in Section 3.  ...  In order to support safety-critical application subsystems, an integrated architecture needs to support fault-tolerant strategies that enable the continued operation of the system in the presence of failures  ...  This work has been supported in part by the European IST project ARTIST2 under project No. IST-004527 and the European IST project DECOS under project No. IST-511764.  ... 
doi:10.1109/wises.2006.329115 dblp:conf/wises/ObermaisserP06 fatcat:saxit5brevagdpd2gkzlhwcjgm

Analysis of Computer Network Reliability and Criticality: Technique and Features

Iraj Elyasi-Komari, Anatoliy Gorbenko, Vyacheclav Kharchenko, Athanasios Mamalis
2011 International Journal of Communications, Network and System Sciences  
Software tool is developed to estimate of the CCN critical failure probability (construction of a criticality matrix) by results of the FME(C)A-technique.  ...  The internal information factors, such as collisions and congestion of switchboards, routers and servers, influence on a network reliability and safety (besides of hardware and software reliability and  ...  The various means of safety and faulttolerance ensuring of the network hardware and software are indicated in the last table column.  ... 
doi:10.4236/ijcns.2011.411088 fatcat:3s7qedxgincdfbhafwordfcxki

Secure and safety-critical vs. insecure, non safety-critical embedded systems

Peter Marwedel, Catherine Gebotys
2004 Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES+ISSS '04  
However the car's embedded software which is expected to increase in size by 100 fold, will create a significant impact on the overall system safety.  ...  This panel will bring together experts from the safety-critical industry, security industry, and experts from the insecure non-safety critical industry.  ...  Section 2 describes some complexities in designing a safety-critical system, specifically the future automobile.  ... 
doi:10.1145/1016720.1016740 dblp:conf/codes/MarwedelG04 fatcat:w4bsnsi7dnhifo2hzcchkd66la

Trustworthy software systems

Steffen Becker, Daniel Winteler, Simon Giesecke, Roland Meyer, Mani Swaminathan, Jens Happe, Margarete Muhle, Timo Warns, Wilhelm Hasselbring, Alexandra Paul, Marko Boskovic, Heiko Koziolek (+4 others)
2006 Software engineering notes  
In TrustSoft, we consider trustworthiness of software systems as determined by correctness, safety, quality of service (performance, reliability, availability), security, and privacy.  ...  and fault tolerance for increased robustness.  ...  Leveson [1995] distinguishes safety-critical software and functions: Definition 34 (Safety-critical software [Leveson 1995] ) Safety-critical software is any software that can directly or indirectly  ... 
doi:10.1145/1218776.1218781 fatcat:iwilssm5mrbkhnxckhvywqs7cy
« Previous Showing results 1 — 15 out of 101,830 results