A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Filters
Timing Tolerances in Safety-Critical Software
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2018
Journal of systems architecture
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2005
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
1987
Sadhana (Bangalore)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 Proceedings - Annual Reliability and Maintainability Symposium (RAMS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2010
Journal of Aerospace Technology and Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1999
Towards System Safety
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2006
2006 International Workshop on Intelligent Solutions in Embedded Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
2006 International Workshop on Intelligent Solutions in Embedded Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
International Journal of Communications, Network and System Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2004
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES+ISSS '04
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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