Justifying the use of COTS components within safety critical applications

Justifying the use of COTS components within safety critical applications

Bibliographic Details
Main Author:	Ye, Fan
Published:	University of York 2005
Subjects:	005.14
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.424582

Similar Items

Verification of concurrent safety-critical systems : the compliance-notation approach
by: Atiya, Diyaa-Addein
Published: (2004)

Model checking Circus
by: Freitas, Leonardo
Published: (2005)

Evolutionary search for test data in the presence of state behaviour
by: McMinn, Philip
Published: (2005)

Generative frameworks for rigorous model-driven development
by: AmaÌlio, Nuno
Published: (2006)

Runtime monitoring of service based systems
by: Mahbub, Khaled
Published: (2006)

An ontological approach to model software quality assurance knowledge domain
by: Bajnaid, Nada O.
Published: (2013)

Contract representation for validation and run time monitoring
by: Solaiman, Ellis
Published: (2004)

Stability of test criteria and fault hierarchies in software testing
by: Kapoor, Kalpesh
Published: (2004)

Termination analysis of higher-order functional programs
by: Sereni, Damien
Published: (2006)

Partitioning object-oriented source code for inspections
by: Walkinshaw, Neil
Published: (2007)

Developing metrics for the comparison of sorting and segregation algorithms in a group of minimalist robots
by: Wilson, Matthew
Published: (2004)

Formal verification of X-machine models : towards formal development of computer-based systems
by: Eleftherakis, George
Published: (2003)

Agent-based trust and reputation in the context of inaccurate information sources
by: Teacy, W. T. Luke
Published: (2006)

Automatic verification of temporal and timed properties of control programs
by: Zoubek, Bohumir
Published: (2004)

Use of program and data-specific heuristics for automatic software test data generation
by: Alshraideh, Mohammad
Published: (2007)

Τεχνικές ενσωματωμένου αυτοελέγχου για ορθή λειτουργία ψηφιακών ολοκληρωμένων συστημάτων στο πεδίο της εφαρμογής
by: Κουτσουπιά, Μαργαρίτα
Published: (2012)

Κατασκευή περιβάλλοντος μετρήσεων & διεξαγωγή μετρήσεων ποιότητας λογισμικού
by: Γεωργακάκη, Αργυρούλα
Published: (2010)

Μελέτη σύνθετων εφαρμογών και ανάλυση δυνατοτήτων παραλληλοποίησης τους σε αρχιτεκτονικές κοινής και κοινής/κατανεμημένης μνήμης
by: Μουτσουρούφης, Γεώργιος
Published: (2007)

Διεξαγωγή μετρήσεων ποιότητας με στόχο τη βελτίωση της συντηρησιμότητας σε λογισμικό αλληλεπίδρασης με Βάση Δεδομένων
by: Πέρδικα, Πολυτίμη
Published: (2007)

Αξιολόγηση σταθερότητας open source με χρήση μετρικών
by: Καλύβα, Δήμητρα
Published: (2010)

Μελέτη παραμορφώσεων που προκαλούνται από τις απαιτήσεις σε υπολογιστική ισχύ σε λογισμικά ήχου
by: Μαλανδράκης, Στέφανος
Published: (2012)

Αξιολόγηση και διασφάλιση ποιότητας λογισμικού
by: Κατωπόδης, Σπύρος
Published: (2009)

Μεθοδολογία έγκαιρης εκτίμησης της γνώμης των χρηστών για την ποιότητα λογισμικού
by: Σταυρινούδης, Δημήτριος
Published: (2007)

Μοντελοποίηση εφαρμογών Παγκόσμιου Ιστού μέσω τεχνικών αντίστροφης μηχανίκευσης
by: Μποβίλας, Κώστας
Published: (2014)

Développement d'algorithmes répartis corrects par construction
by: Andriamiarina, Manamiary Bruno
Published: (2015)

Σχεδιασμός κυκλωμάτων ασφαλούς λειτουργίας και χαμηλής κατανάλωσης ισχύος
by: Κακαρούντας, Αθανάσιος Παν.
Published: (2010)

Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles
by: Guthmuller, Marion
Published: (2015)

Managing mismatches in COTS-based development
by: Alves, Carina Frota
Published: (2005)

A high usability transparency framework for model interoperability using COTS simulation packages
by: Ryde, Michael Daniel
Published: (2005)

Software defect prediction using maximal information coefficient and fast correlation-based filter feature selection
by: Mpofu, Bongeka
Published: (2018)

Performance study of a COTS distributed DBMS adapted for multilevel security
by: Garuba, Moses Ohene
Published: (2004)

Linc00514 promotes breast cancer metastasis and M2 polarization of tumor-associated macrophages via Jagged1-mediated notch signaling pathway
by: Sifeng Tao, et al.
Published: (2020-09-01)

SP1-Induced Upregulation of lncRNA LINC00514 Promotes Tumor Proliferation and Metastasis in Osteosarcoma by Regulating miR-708
by: Mi LD, et al.
Published: (2020-05-01)

A social-technical approach to selecting software supporting COTS-based systems
by: Kunda, Douglas
Published: (2001)

The application of formal methods in safety analysis for safety critical software systems
by: Chan, Kenneth H. W.
Published: (2009)

Safety-Critical Java Level 2 : applications, modelling, and verification
by: Luckcuck, Matthew
Published: (2016)

Pragmatic application of formal methods to safety critical systems
by: Pratt, Norman Derek
Published: (1996)

The use of formal methods for safety-critical systems
by: Trafford, Paul Joseph
Published: (1997)

Use of formal methods in the development of safety critical control software
by: Blow, James Raymond
Published: (2002)

Human error in the design of a safety-critical system
by: Shryane, Nick
Published: (2003)

Cannot write session to /tmp/vufind_sessions/sess_0tcptvhuhdsmf6uespi0ecq8m2