نتائج البحث - "Engineering controlled terms: Accident prevention"

1

Mutation-Based Test Generation for PLC Embedded Software using Model Checking

المؤلفون: Enoiu, Eduard Paul, Sundmark, Daniel, Causevic, Adnan, Feldt, Robert, Pettersson, Paul

المصدر: ITS-EASY Post Graduate School for Embedded Software and Systems TOCSYC - Testing of Critical System Characteristics (KKS) AGENTS - Automated Generation of Tests for Simulated Software Systems (KKS) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Lecture Notes in Computer Science. :155-171

مصطلحات موضوعية: Engineering controlled terms: Accident prevention, Application programs, Automation, Embedded software, Fault detection, Java programming language, Model checking, Programmable logic controllers, Safety engineering, Safety testing, Standards Automated test generations, Decision coverage, Detection ability, Engineering software, Experimental evidence, Mutation analysis, Mutation operators, Uppaal model checkers Engineering main heading: Software testing

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-32886Test
https://mdh.diva-portal.org/smash/get/diva2:956195/FULLTEXT01.pdfTest

View record in SwePub

2

دورية أكاديمية

When mental models go wrong. Co-occurrences in dynamic, critical systems.

المؤلفون: Besnard, Denis, Greathead, David, Baxter, Gordon

المساهمون: School of Computing Science Newcastle, Newcastle University Newcastle, Department of Psychology, University of York York, UK

المصدر: ISSN: 1071-5819.

مصطلحات موضوعية: Engineering controlled terms: Accident prevention, Cognitive systems, Personnel training, Psychology computing, Systems analysis, [SCCO.COMP]Cognitive science/Computer science

العلاقة: hal-00691813; https://hal.archives-ouvertes.fr/hal-00691813Test; https://hal.archives-ouvertes.fr/hal-00691813/documentTest; https://hal.archives-ouvertes.fr/hal-00691813/file/Besnard-Greathead-Baxter-2004--Mental-models-go-wrong.pdfTest

الإتاحة: https://doi.org/10.1016/j.ijhcs.2003.09.001Test
https://hal.archives-ouvertes.fr/hal-00691813Test
https://hal.archives-ouvertes.fr/hal-00691813/documentTest
https://hal.archives-ouvertes.fr/hal-00691813/file/Besnard-Greathead-Baxter-2004--Mental-models-go-wrong.pdfTest

View record in BASE

3

مؤتمر

Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues

المؤلفون: Silva, Nuno, Vieira, Marco, Ricci, Dario, COTRONEO, DOMENICO

المساهمون: Silva, Nuno, Vieira, Marco, Ricci, Dario, Cotroneo, Domenico

مصطلحات موضوعية: Engineering controlled terms: Accident prevention, Complex network, Safety engineering

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-1-4673-8044-7; ispartofbook:45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops; 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops; firstpage:63; lastpage:68; numberofpages:6; http://hdl.handle.net/11588/676485Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84957681000

الإتاحة: https://doi.org/10.1109/DSN-W.2015.19Test
http://hdl.handle.net/11588/676485Test

View record in BASE

4

Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues

المؤلفون: Domenico Cotroneo, Nuno Silva, Marco Vieira, Dario Ricci

المساهمون: Silva, Nuno, Vieira, Marco, Ricci, Dario, Cotroneo, Domenico

المصدر: DSN Workshops

مصطلحات موضوعية: Safety engineering, Quality management, Engineering controlled terms: Accident prevention, Computer science, business.industry, Space (commercial competition), Fault (power engineering), Complex network, Reliability engineering, Systems analysis, Software, Systems engineering, Dependability, business, Software verification, Verification and validation

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::82c447d8c32db5809a0cb1013c27d11cTest
http://hdl.handle.net/11588/676485Test

5

When mental models go wrong. Co-occurrences in dynamic, critical systems

المؤلفون: David Greathead, Denis Besnard, Gordon Baxter

المساهمون: School of Computing Science [Newcastle], Newcastle University [Newcastle], Department of Psychology, University of York [York, UK]

المصدر: International Journal of Human-Computer Studies
International Journal of Human-Computer Studies, Elsevier, 2004, 60 (1), pp.Pages 117-128. ⟨10.1016/j.ijhcs.2003.09.001⟩

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e67a10f40d3cad553d465907baa90932Test
https://hal.archives-ouvertes.fr/hal-00691813/file/Besnard-Greathead-Baxter-2004--Mental-models-go-wrong.pdfTest

6

مورد إلكتروني

Mutation-Based Test Generation for PLC Embedded Software using Model Checking

مصطلحات الفهرس: Engineering controlled terms: Accident prevention; Application programs; Automation; Embedded software; Fault detection; Java programming language; Model checking; Programmable logic controllers; Safety engineering; Safety testing; Standards Automated test generations; Decision coverage; Detection ability; Engineering software; Experimental evidence; Mutation analysis; Mutation operators; Uppaal model checkers Engineering main heading: Software testing, Computer Systems, Datorsystem, Conference paper, info:eu-repo/semantics/conferenceObject, text