Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Safety critical embedded families). Showing records 1 – 30 of 33889 total matches.

[1] [2] [3] [4] [5] … [1130]

Search Limiters

Last 2 Years | English Only

Degrees

Languages

Country

▼ Search Limiters

1. Paulo Gabriel Gadelha Queiroz. Uma abordagem de desenvolvimento de linha de produtos orientada a modelos para a construção de famílias de sistemas embarcados críticos.

Degree: 2015, University of São Paulo

Sistemas embarcados críticos (SEC) correspondem aos sistemas embarcados para aplicações críticas, que são aplicações nas quais falhas podem por vidas em perigo. A crescente imersão… (more)

Subjects/Keywords: Desenvolvimento orientado a modelos; Linha de produtos; Sistemas embarcados críticos; Model-driven development; Product lines; Safety-critical embedded families

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Queiroz, P. G. G. (2015). Uma abordagem de desenvolvimento de linha de produtos orientada a modelos para a construção de famílias de sistemas embarcados críticos. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30062015-162028/

Chicago Manual of Style (16th Edition):

Queiroz, Paulo Gabriel Gadelha. “Uma abordagem de desenvolvimento de linha de produtos orientada a modelos para a construção de famílias de sistemas embarcados críticos.” 2015. Doctoral Dissertation, University of São Paulo. Accessed April 13, 2021. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30062015-162028/.

MLA Handbook (7th Edition):

Queiroz, Paulo Gabriel Gadelha. “Uma abordagem de desenvolvimento de linha de produtos orientada a modelos para a construção de famílias de sistemas embarcados críticos.” 2015. Web. 13 Apr 2021.

Vancouver:

Queiroz PGG. Uma abordagem de desenvolvimento de linha de produtos orientada a modelos para a construção de famílias de sistemas embarcados críticos. [Internet] [Doctoral dissertation]. University of São Paulo; 2015. [cited 2021 Apr 13]. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30062015-162028/.

Council of Science Editors:

Queiroz PGG. Uma abordagem de desenvolvimento de linha de produtos orientada a modelos para a construção de famílias de sistemas embarcados críticos. [Doctoral Dissertation]. University of São Paulo; 2015. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30062015-162028/


Vanderbilt University

2. Hemingway, Graham S. Time-Triggered High-Confidence Embedded Systems:\Modeling, Simulation, Analysis and Back.

Degree: PhD, Computer Science, 2011, Vanderbilt University

 Humans rely upon embedded computational systems for everything from mundane tasks, like building temperature control, to safety-critical tasks, like flight control systems. Design and validation… (more)

Subjects/Keywords: safety-critical; embedded; model of computation; real-time; time-triggered

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hemingway, G. S. (2011). Time-Triggered High-Confidence Embedded Systems:\Modeling, Simulation, Analysis and Back. (Doctoral Dissertation). Vanderbilt University. Retrieved from http://hdl.handle.net/1803/11997

Chicago Manual of Style (16th Edition):

Hemingway, Graham S. “Time-Triggered High-Confidence Embedded Systems:\Modeling, Simulation, Analysis and Back.” 2011. Doctoral Dissertation, Vanderbilt University. Accessed April 13, 2021. http://hdl.handle.net/1803/11997.

MLA Handbook (7th Edition):

Hemingway, Graham S. “Time-Triggered High-Confidence Embedded Systems:\Modeling, Simulation, Analysis and Back.” 2011. Web. 13 Apr 2021.

Vancouver:

Hemingway GS. Time-Triggered High-Confidence Embedded Systems:\Modeling, Simulation, Analysis and Back. [Internet] [Doctoral dissertation]. Vanderbilt University; 2011. [cited 2021 Apr 13]. Available from: http://hdl.handle.net/1803/11997.

Council of Science Editors:

Hemingway GS. Time-Triggered High-Confidence Embedded Systems:\Modeling, Simulation, Analysis and Back. [Doctoral Dissertation]. Vanderbilt University; 2011. Available from: http://hdl.handle.net/1803/11997


University of North Texas

3. Bhandaram, Abhinav. Detecting Component Failures and Critical Components in Safety Critical Embedded Systems using Fault Tree Analysis.

Degree: 2018, University of North Texas

 Component failures can result in catastrophic behaviors in safety critical embedded systems, sometimes resulting in loss of life. Component failures can be treated as off… (more)

Subjects/Keywords: Risk Analysis; Fault tree analysis; safety analysis; Requirements Engineering; Meta-modelling; Safety critical embedded systems; Safety factor in engineering.; Embedded computer systems.; Reliability (Engineering); Trees (Graph theory)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bhandaram, A. (2018). Detecting Component Failures and Critical Components in Safety Critical Embedded Systems using Fault Tree Analysis. (Thesis). University of North Texas. Retrieved from https://digital.library.unt.edu/ark:/67531/metadc1157555/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bhandaram, Abhinav. “Detecting Component Failures and Critical Components in Safety Critical Embedded Systems using Fault Tree Analysis.” 2018. Thesis, University of North Texas. Accessed April 13, 2021. https://digital.library.unt.edu/ark:/67531/metadc1157555/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bhandaram, Abhinav. “Detecting Component Failures and Critical Components in Safety Critical Embedded Systems using Fault Tree Analysis.” 2018. Web. 13 Apr 2021.

Vancouver:

Bhandaram A. Detecting Component Failures and Critical Components in Safety Critical Embedded Systems using Fault Tree Analysis. [Internet] [Thesis]. University of North Texas; 2018. [cited 2021 Apr 13]. Available from: https://digital.library.unt.edu/ark:/67531/metadc1157555/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bhandaram A. Detecting Component Failures and Critical Components in Safety Critical Embedded Systems using Fault Tree Analysis. [Thesis]. University of North Texas; 2018. Available from: https://digital.library.unt.edu/ark:/67531/metadc1157555/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Carnegie Mellon University

4. Kim, Hyoseung. Towards Predictable Real-Time Performance on Multi-Core Platforms.

Degree: 2016, Carnegie Mellon University

 Cyber-physical systems (CPS) integrate sensing, computing, communication and actuation capabilities to monitor and control operations in the physical environment. A key requirement of such systems… (more)

Subjects/Keywords: Cyber-physical systems; Real-time embedded systems; Safety-critical systems; Multi-core platforms; Operating systems; Virtualization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kim, H. (2016). Towards Predictable Real-Time Performance on Multi-Core Platforms. (Thesis). Carnegie Mellon University. Retrieved from http://repository.cmu.edu/dissertations/836

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Kim, Hyoseung. “Towards Predictable Real-Time Performance on Multi-Core Platforms.” 2016. Thesis, Carnegie Mellon University. Accessed April 13, 2021. http://repository.cmu.edu/dissertations/836.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Kim, Hyoseung. “Towards Predictable Real-Time Performance on Multi-Core Platforms.” 2016. Web. 13 Apr 2021.

Vancouver:

Kim H. Towards Predictable Real-Time Performance on Multi-Core Platforms. [Internet] [Thesis]. Carnegie Mellon University; 2016. [cited 2021 Apr 13]. Available from: http://repository.cmu.edu/dissertations/836.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Kim H. Towards Predictable Real-Time Performance on Multi-Core Platforms. [Thesis]. Carnegie Mellon University; 2016. Available from: http://repository.cmu.edu/dissertations/836

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

5. Tojal, Joaquim José e Silva de Carvalho. Towards a formally verified microkernel using the VCC verifier.

Degree: 2010, RCAAP

 In this thesis we present the design by contract modular approach to formal verification of an industrial real-time microkernel which was not designed with formal… (more)

Subjects/Keywords: Concurrency; Critical system; Design by contract; Embedded systems; Formal verification; Formal methods; Microkernel; Real-time; Operating system; Software reliability; xLuna; Safety

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tojal, J. J. e. S. d. C. (2010). Towards a formally verified microkernel using the VCC verifier. (Thesis). RCAAP. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/3717

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Tojal, Joaquim José e Silva de Carvalho. “Towards a formally verified microkernel using the VCC verifier.” 2010. Thesis, RCAAP. Accessed April 13, 2021. http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/3717.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Tojal, Joaquim José e Silva de Carvalho. “Towards a formally verified microkernel using the VCC verifier.” 2010. Web. 13 Apr 2021.

Vancouver:

Tojal JJeSdC. Towards a formally verified microkernel using the VCC verifier. [Internet] [Thesis]. RCAAP; 2010. [cited 2021 Apr 13]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/3717.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Tojal JJeSdC. Towards a formally verified microkernel using the VCC verifier. [Thesis]. RCAAP; 2010. Available from: http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/3717

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

6. Rahmaniheris, Maryam. A Multi-layer Dependency Model for Analysis of Safety-critical Embedded Systems.

Degree: MS, 0112, 2011, University of Illinois – Urbana-Champaign

Safety-critical embedded-system designs are typically both complex and expensive. Domains, such as medical devices, however, require safety but also demand affordability. However, conventional safety and… (more)

Subjects/Keywords: Safety-critical; Embedded Systems; Dependency Model; Reliability

…Chapter 1 Introduction As safety-critical embedded systems offer more functionalities… …refined model can capture the characteristics of safety-critical embedded systems in a more… …to compose safety-critical embedded systems [13], [14], [15]… …safety-critical embedded systems shows that use and depend relations may not be a precise way… …safety-critical embedded systems: Liveness vs. Correctness. If the system safety depends only… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rahmaniheris, M. (2011). A Multi-layer Dependency Model for Analysis of Safety-critical Embedded Systems. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/24480

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Rahmaniheris, Maryam. “A Multi-layer Dependency Model for Analysis of Safety-critical Embedded Systems.” 2011. Thesis, University of Illinois – Urbana-Champaign. Accessed April 13, 2021. http://hdl.handle.net/2142/24480.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Rahmaniheris, Maryam. “A Multi-layer Dependency Model for Analysis of Safety-critical Embedded Systems.” 2011. Web. 13 Apr 2021.

Vancouver:

Rahmaniheris M. A Multi-layer Dependency Model for Analysis of Safety-critical Embedded Systems. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2011. [cited 2021 Apr 13]. Available from: http://hdl.handle.net/2142/24480.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Rahmaniheris M. A Multi-layer Dependency Model for Analysis of Safety-critical Embedded Systems. [Thesis]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/24480

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Cincinnati

7. Wang, Yanyun. Developing Safety Critical Embedded Software under DO-178C.

Degree: MS, Engineering and Applied Science: Computer Engineering, 2016, University of Cincinnati

 Software installed on avionic equipment requires higher safety standards than any other environment. DO-178C, Software Consideration in Airborne Systems and Equipment Certification, proposed by Radio… (more)

Subjects/Keywords: Computer Engineering; safety critical; embedded software; DO-178C; open source tool chain; software certification; tool qualification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wang, Y. (2016). Developing Safety Critical Embedded Software under DO-178C. (Masters Thesis). University of Cincinnati. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=ucin1468575365

Chicago Manual of Style (16th Edition):

Wang, Yanyun. “Developing Safety Critical Embedded Software under DO-178C.” 2016. Masters Thesis, University of Cincinnati. Accessed April 13, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1468575365.

MLA Handbook (7th Edition):

Wang, Yanyun. “Developing Safety Critical Embedded Software under DO-178C.” 2016. Web. 13 Apr 2021.

Vancouver:

Wang Y. Developing Safety Critical Embedded Software under DO-178C. [Internet] [Masters thesis]. University of Cincinnati; 2016. [cited 2021 Apr 13]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1468575365.

Council of Science Editors:

Wang Y. Developing Safety Critical Embedded Software under DO-178C. [Masters Thesis]. University of Cincinnati; 2016. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1468575365


University of Cincinnati

8. Lockhart, Jonathan A. Software Development Process and Reliability Quantification for Safety Critical Embedded Systems Design.

Degree: PhD, Engineering and Applied Science: Electrical Engineering, 2019, University of Cincinnati

Embedded systems are at the forefront of everyday life, being utilized in smart devices, such as cell phones and internet of things (IoT), devices around… (more)

Subjects/Keywords: Computer Engineering; Embedded Systems Software; Reliability Quantification; Software Reliability; Safety Critical Systems; Software Error Modeling; Reliable Software Design

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lockhart, J. A. (2019). Software Development Process and Reliability Quantification for Safety Critical Embedded Systems Design. (Doctoral Dissertation). University of Cincinnati. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=ucin1562673285477425

Chicago Manual of Style (16th Edition):

Lockhart, Jonathan A. “Software Development Process and Reliability Quantification for Safety Critical Embedded Systems Design.” 2019. Doctoral Dissertation, University of Cincinnati. Accessed April 13, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1562673285477425.

MLA Handbook (7th Edition):

Lockhart, Jonathan A. “Software Development Process and Reliability Quantification for Safety Critical Embedded Systems Design.” 2019. Web. 13 Apr 2021.

Vancouver:

Lockhart JA. Software Development Process and Reliability Quantification for Safety Critical Embedded Systems Design. [Internet] [Doctoral dissertation]. University of Cincinnati; 2019. [cited 2021 Apr 13]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1562673285477425.

Council of Science Editors:

Lockhart JA. Software Development Process and Reliability Quantification for Safety Critical Embedded Systems Design. [Doctoral Dissertation]. University of Cincinnati; 2019. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1562673285477425

9. Zamouril, Jakub. Flight Software Development for Demise Observation Capsule.

Degree: Space Technology, 2017, Luleå University of Technology

This work describes the process of the design of a flight software for a space-qualified device, outlines the development and testing of the SW,… (more)

Subjects/Keywords: flight software; space-qualified software; safety critical software; embedded software; software architecture; software design; communication protocol design; Demise Observation Capsule; Embedded Systems; Inbäddad systemteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zamouril, J. (2017). Flight Software Development for Demise Observation Capsule. (Thesis). Luleå University of Technology. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-64420

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Zamouril, Jakub. “Flight Software Development for Demise Observation Capsule.” 2017. Thesis, Luleå University of Technology. Accessed April 13, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-64420.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Zamouril, Jakub. “Flight Software Development for Demise Observation Capsule.” 2017. Web. 13 Apr 2021.

Vancouver:

Zamouril J. Flight Software Development for Demise Observation Capsule. [Internet] [Thesis]. Luleå University of Technology; 2017. [cited 2021 Apr 13]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-64420.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Zamouril J. Flight Software Development for Demise Observation Capsule. [Thesis]. Luleå University of Technology; 2017. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-64420

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

10. Jonsson, Erik. Mobile Interaction with Safety Critical Systems : A feasibility study.

Degree: Design and Engineering, 2015, Mälardalen University

Embedded systems exists everywhere around us and the number of applications seems to be ever growing. They are found in electrical devices from coee… (more)

Subjects/Keywords: Safety Critical Systems; COTS interaction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Jonsson, E. (2015). Mobile Interaction with Safety Critical Systems : A feasibility study. (Thesis). Mälardalen University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-29820

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Jonsson, Erik. “Mobile Interaction with Safety Critical Systems : A feasibility study.” 2015. Thesis, Mälardalen University. Accessed April 13, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-29820.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Jonsson, Erik. “Mobile Interaction with Safety Critical Systems : A feasibility study.” 2015. Web. 13 Apr 2021.

Vancouver:

Jonsson E. Mobile Interaction with Safety Critical Systems : A feasibility study. [Internet] [Thesis]. Mälardalen University; 2015. [cited 2021 Apr 13]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-29820.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Jonsson E. Mobile Interaction with Safety Critical Systems : A feasibility study. [Thesis]. Mälardalen University; 2015. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-29820

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Linköping University

11. Fri, Martin. Usage of databases in ARINC 653-compatible real-time systems.

Degree: Computer and Information Science, 2010, Linköping University

  The Integrated Modular Avionics architecture , IMA, provides means for runningmultiple safety-critical applications on the same hardware. ARINC 653 is aspecification for this kind… (more)

Subjects/Keywords: ARINC 653; INTEGRATED MODULAR AVIONICS; EMBEDDED DATABASES; SAFETY-CRITICAL; REAL-TIME OPERATING SYSTEM; VXWORKS; Computer Sciences; Datavetenskap (datalogi)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fri, M. (2010). Usage of databases in ARINC 653-compatible real-time systems. (Thesis). Linköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-57473

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Fri, Martin. “Usage of databases in ARINC 653-compatible real-time systems.” 2010. Thesis, Linköping University. Accessed April 13, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-57473.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Fri, Martin. “Usage of databases in ARINC 653-compatible real-time systems.” 2010. Web. 13 Apr 2021.

Vancouver:

Fri M. Usage of databases in ARINC 653-compatible real-time systems. [Internet] [Thesis]. Linköping University; 2010. [cited 2021 Apr 13]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-57473.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Fri M. Usage of databases in ARINC 653-compatible real-time systems. [Thesis]. Linköping University; 2010. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-57473

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Virginia Commonwealth University

12. Jayakumar, Athira Varma. Systematic Model-based Design Assurance and Property-based Fault Injection for Safety Critical Digital Systems.

Degree: MS, Electrical & Computer Engineering, 2020, Virginia Commonwealth University

  With advances in sensing, wireless communications, computing, control, and automation technologies, we are witnessing the rapid uptake of Cyber-Physical Systems across many applications including… (more)

Subjects/Keywords: Fault Injection; Model Based Fault Injection; Safety Critical Systems; IEC 61508; Model Based Design Assurance; Model Checking; Nuclear Instrumentation and Control; Saboteur; Coverage Analysis; Formal Verification; Computational Engineering; Computer and Systems Architecture; Computer Engineering; Digital Circuits; Electrical and Computer Engineering; VLSI and Circuits, Embedded and Hardware Systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Jayakumar, A. V. (2020). Systematic Model-based Design Assurance and Property-based Fault Injection for Safety Critical Digital Systems. (Thesis). Virginia Commonwealth University. Retrieved from https://doi.org/10.25772/Z555-M644 ; https://scholarscompass.vcu.edu/etd/6239

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Jayakumar, Athira Varma. “Systematic Model-based Design Assurance and Property-based Fault Injection for Safety Critical Digital Systems.” 2020. Thesis, Virginia Commonwealth University. Accessed April 13, 2021. https://doi.org/10.25772/Z555-M644 ; https://scholarscompass.vcu.edu/etd/6239.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Jayakumar, Athira Varma. “Systematic Model-based Design Assurance and Property-based Fault Injection for Safety Critical Digital Systems.” 2020. Web. 13 Apr 2021.

Vancouver:

Jayakumar AV. Systematic Model-based Design Assurance and Property-based Fault Injection for Safety Critical Digital Systems. [Internet] [Thesis]. Virginia Commonwealth University; 2020. [cited 2021 Apr 13]. Available from: https://doi.org/10.25772/Z555-M644 ; https://scholarscompass.vcu.edu/etd/6239.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Jayakumar AV. Systematic Model-based Design Assurance and Property-based Fault Injection for Safety Critical Digital Systems. [Thesis]. Virginia Commonwealth University; 2020. Available from: https://doi.org/10.25772/Z555-M644 ; https://scholarscompass.vcu.edu/etd/6239

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Dalhousie University

13. Webb-Anderson, Karen. AN EXPLORATION OF CRITICAL CARE NURSES’ EXPERIENCE OF NIGHT SHIFT FATIGUE AND WORKPLACE NAPPING: BRINGING IT OUT FROM UNDER THE COVERS.

Degree: Master of Nursing, School of Nursing, 2013, Dalhousie University

 Recently, there has been increasing recognition of the threat of fatigue on safety. Nursing has been slow to recognize this threat. Workplace napping is a… (more)

Subjects/Keywords: Safety; Napping; Fatigue; Critical care nursing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Webb-Anderson, K. (2013). AN EXPLORATION OF CRITICAL CARE NURSES’ EXPERIENCE OF NIGHT SHIFT FATIGUE AND WORKPLACE NAPPING: BRINGING IT OUT FROM UNDER THE COVERS. (Masters Thesis). Dalhousie University. Retrieved from http://hdl.handle.net/10222/31392

Chicago Manual of Style (16th Edition):

Webb-Anderson, Karen. “AN EXPLORATION OF CRITICAL CARE NURSES’ EXPERIENCE OF NIGHT SHIFT FATIGUE AND WORKPLACE NAPPING: BRINGING IT OUT FROM UNDER THE COVERS.” 2013. Masters Thesis, Dalhousie University. Accessed April 13, 2021. http://hdl.handle.net/10222/31392.

MLA Handbook (7th Edition):

Webb-Anderson, Karen. “AN EXPLORATION OF CRITICAL CARE NURSES’ EXPERIENCE OF NIGHT SHIFT FATIGUE AND WORKPLACE NAPPING: BRINGING IT OUT FROM UNDER THE COVERS.” 2013. Web. 13 Apr 2021.

Vancouver:

Webb-Anderson K. AN EXPLORATION OF CRITICAL CARE NURSES’ EXPERIENCE OF NIGHT SHIFT FATIGUE AND WORKPLACE NAPPING: BRINGING IT OUT FROM UNDER THE COVERS. [Internet] [Masters thesis]. Dalhousie University; 2013. [cited 2021 Apr 13]. Available from: http://hdl.handle.net/10222/31392.

Council of Science Editors:

Webb-Anderson K. AN EXPLORATION OF CRITICAL CARE NURSES’ EXPERIENCE OF NIGHT SHIFT FATIGUE AND WORKPLACE NAPPING: BRINGING IT OUT FROM UNDER THE COVERS. [Masters Thesis]. Dalhousie University; 2013. Available from: http://hdl.handle.net/10222/31392


Univerzitet u Beogradu

14. Mićović, Marija D., 1980-. Безбедносни аспекти функционисања критичне инфраструктуре у ванредним ситуацијама.

Degree: Fakultet bezbednosti, 2017, Univerzitet u Beogradu

Науке безбедности - Студије Цивилне заштите и заштите животне средине / Security Sciencies - Civil Protection and Environmental Protection Studies

Комплексност ванредних ситуација, посебно чињеница… (more)

Subjects/Keywords: Safety; emergencies; critical infrastructure; vulnerability; protection

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mićović, Marija D., 1. (2017). Безбедносни аспекти функционисања критичне инфраструктуре у ванредним ситуацијама. (Thesis). Univerzitet u Beogradu. Retrieved from https://fedorabg.bg.ac.rs/fedora/get/o:16048/bdef:Content/get

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Mićović, Marija D., 1980-. “Безбедносни аспекти функционисања критичне инфраструктуре у ванредним ситуацијама.” 2017. Thesis, Univerzitet u Beogradu. Accessed April 13, 2021. https://fedorabg.bg.ac.rs/fedora/get/o:16048/bdef:Content/get.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Mićović, Marija D., 1980-. “Безбедносни аспекти функционисања критичне инфраструктуре у ванредним ситуацијама.” 2017. Web. 13 Apr 2021.

Vancouver:

Mićović, Marija D. 1. Безбедносни аспекти функционисања критичне инфраструктуре у ванредним ситуацијама. [Internet] [Thesis]. Univerzitet u Beogradu; 2017. [cited 2021 Apr 13]. Available from: https://fedorabg.bg.ac.rs/fedora/get/o:16048/bdef:Content/get.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mićović, Marija D. 1. Безбедносни аспекти функционисања критичне инфраструктуре у ванредним ситуацијама. [Thesis]. Univerzitet u Beogradu; 2017. Available from: https://fedorabg.bg.ac.rs/fedora/get/o:16048/bdef:Content/get

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

15. Zhang, Xiaodi. Methods for Modeling of Product Lines for Safety-critical Systems.

Degree: Design and Engineering, 2013, Mälardalen University

  Software product line engineering is a proposed methodology that enables software products and software-intensive systems to be developed at lower cost, higher quality and… (more)

Subjects/Keywords: Product line modeling; Safety-critical system

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zhang, X. (2013). Methods for Modeling of Product Lines for Safety-critical Systems. (Thesis). Mälardalen University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22017

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Zhang, Xiaodi. “Methods for Modeling of Product Lines for Safety-critical Systems.” 2013. Thesis, Mälardalen University. Accessed April 13, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22017.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Zhang, Xiaodi. “Methods for Modeling of Product Lines for Safety-critical Systems.” 2013. Web. 13 Apr 2021.

Vancouver:

Zhang X. Methods for Modeling of Product Lines for Safety-critical Systems. [Internet] [Thesis]. Mälardalen University; 2013. [cited 2021 Apr 13]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22017.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Zhang X. Methods for Modeling of Product Lines for Safety-critical Systems. [Thesis]. Mälardalen University; 2013. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22017

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Georgia

16. Broussard, Hayley Patricia. A critical look at safety instruction in the general chemistry laboratory.

Degree: 2018, University of Georgia

 Over the past two decades, general and organic chemistry classrooms have incorporated active learning techniques to replace the long-held tradition of “sage on the stage”… (more)

Subjects/Keywords: Laboratory Safety; General Chemistry; Critical Theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Broussard, H. P. (2018). A critical look at safety instruction in the general chemistry laboratory. (Thesis). University of Georgia. Retrieved from http://hdl.handle.net/10724/38295

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Broussard, Hayley Patricia. “A critical look at safety instruction in the general chemistry laboratory.” 2018. Thesis, University of Georgia. Accessed April 13, 2021. http://hdl.handle.net/10724/38295.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Broussard, Hayley Patricia. “A critical look at safety instruction in the general chemistry laboratory.” 2018. Web. 13 Apr 2021.

Vancouver:

Broussard HP. A critical look at safety instruction in the general chemistry laboratory. [Internet] [Thesis]. University of Georgia; 2018. [cited 2021 Apr 13]. Available from: http://hdl.handle.net/10724/38295.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Broussard HP. A critical look at safety instruction in the general chemistry laboratory. [Thesis]. University of Georgia; 2018. Available from: http://hdl.handle.net/10724/38295

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Université Paris-Sud – Paris XI

17. Bin, Jingyi. Controlling execution time variability using COTS for Safety-critical systems : Contrôler la variabilité du temps d’exécution en utilisant COTS pour les systèmes Safety-critical.

Degree: Docteur es, Physique (Systèmes Embarqués), 2014, Université Paris-Sud – Paris XI

Au cours de la dernière décennie, le domaine safety-critical s’appuie sur les Commercial Off-The-Shelf (COTS) architectures de mono-coeur malgré leur variabilité du temps d'exécution inhérent.… (more)

Subjects/Keywords: Safety-critical; Multi-coeur; WCET; Compteurs de performance; Safety-critical; Multi-core; WCET; Hardware counters

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bin, J. (2014). Controlling execution time variability using COTS for Safety-critical systems : Contrôler la variabilité du temps d’exécution en utilisant COTS pour les systèmes Safety-critical. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2014PA112151

Chicago Manual of Style (16th Edition):

Bin, Jingyi. “Controlling execution time variability using COTS for Safety-critical systems : Contrôler la variabilité du temps d’exécution en utilisant COTS pour les systèmes Safety-critical.” 2014. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed April 13, 2021. http://www.theses.fr/2014PA112151.

MLA Handbook (7th Edition):

Bin, Jingyi. “Controlling execution time variability using COTS for Safety-critical systems : Contrôler la variabilité du temps d’exécution en utilisant COTS pour les systèmes Safety-critical.” 2014. Web. 13 Apr 2021.

Vancouver:

Bin J. Controlling execution time variability using COTS for Safety-critical systems : Contrôler la variabilité du temps d’exécution en utilisant COTS pour les systèmes Safety-critical. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2014. [cited 2021 Apr 13]. Available from: http://www.theses.fr/2014PA112151.

Council of Science Editors:

Bin J. Controlling execution time variability using COTS for Safety-critical systems : Contrôler la variabilité du temps d’exécution en utilisant COTS pour les systèmes Safety-critical. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2014. Available from: http://www.theses.fr/2014PA112151


University of Cambridge

18. Xia, Hongyan. Capability Memory Protection for Embedded Systems.

Degree: PhD, 2020, University of Cambridge

 This dissertation explores the use of capability security hardware and software in real-time and latency-sensitive embedded systems, to address existing memory safety and task isolation… (more)

Subjects/Keywords: CHERI; capability protection; embedded systems; temporal memory safety; RTOS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Xia, H. (2020). Capability Memory Protection for Embedded Systems. (Doctoral Dissertation). University of Cambridge. Retrieved from https://www.repository.cam.ac.uk/handle/1810/301747

Chicago Manual of Style (16th Edition):

Xia, Hongyan. “Capability Memory Protection for Embedded Systems.” 2020. Doctoral Dissertation, University of Cambridge. Accessed April 13, 2021. https://www.repository.cam.ac.uk/handle/1810/301747.

MLA Handbook (7th Edition):

Xia, Hongyan. “Capability Memory Protection for Embedded Systems.” 2020. Web. 13 Apr 2021.

Vancouver:

Xia H. Capability Memory Protection for Embedded Systems. [Internet] [Doctoral dissertation]. University of Cambridge; 2020. [cited 2021 Apr 13]. Available from: https://www.repository.cam.ac.uk/handle/1810/301747.

Council of Science Editors:

Xia H. Capability Memory Protection for Embedded Systems. [Doctoral Dissertation]. University of Cambridge; 2020. Available from: https://www.repository.cam.ac.uk/handle/1810/301747


University of Cambridge

19. Xia, Hongyan. Capability memory protection for embedded systems.

Degree: PhD, 2020, University of Cambridge

 This dissertation explores the use of capability security hardware and software in real-time and latency-sensitive embedded systems, to address existing memory safety and task isolation… (more)

Subjects/Keywords: CHERI; capability protection; embedded systems; temporal memory safety; RTOS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Xia, H. (2020). Capability memory protection for embedded systems. (Doctoral Dissertation). University of Cambridge. Retrieved from https://doi.org/10.17863/CAM.48818 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.801727

Chicago Manual of Style (16th Edition):

Xia, Hongyan. “Capability memory protection for embedded systems.” 2020. Doctoral Dissertation, University of Cambridge. Accessed April 13, 2021. https://doi.org/10.17863/CAM.48818 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.801727.

MLA Handbook (7th Edition):

Xia, Hongyan. “Capability memory protection for embedded systems.” 2020. Web. 13 Apr 2021.

Vancouver:

Xia H. Capability memory protection for embedded systems. [Internet] [Doctoral dissertation]. University of Cambridge; 2020. [cited 2021 Apr 13]. Available from: https://doi.org/10.17863/CAM.48818 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.801727.

Council of Science Editors:

Xia H. Capability memory protection for embedded systems. [Doctoral Dissertation]. University of Cambridge; 2020. Available from: https://doi.org/10.17863/CAM.48818 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.801727

20. Bode, Justin M. OTMS: A Novel Radar-Based Mapping System For Automotive Applications.

Degree: 2016, University of Nevada – Reno

 Current automotive radar systems are designed to detect objects within an area around the vehicle and provide alerts or other assistive driving features to the… (more)

Subjects/Keywords: ADAS; Automotive Safety; Automotive Systems; Embedded Computing; Mapping

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bode, J. M. (2016). OTMS: A Novel Radar-Based Mapping System For Automotive Applications. (Thesis). University of Nevada – Reno. Retrieved from http://hdl.handle.net/11714/2300

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bode, Justin M. “OTMS: A Novel Radar-Based Mapping System For Automotive Applications.” 2016. Thesis, University of Nevada – Reno. Accessed April 13, 2021. http://hdl.handle.net/11714/2300.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bode, Justin M. “OTMS: A Novel Radar-Based Mapping System For Automotive Applications.” 2016. Web. 13 Apr 2021.

Vancouver:

Bode JM. OTMS: A Novel Radar-Based Mapping System For Automotive Applications. [Internet] [Thesis]. University of Nevada – Reno; 2016. [cited 2021 Apr 13]. Available from: http://hdl.handle.net/11714/2300.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bode JM. OTMS: A Novel Radar-Based Mapping System For Automotive Applications. [Thesis]. University of Nevada – Reno; 2016. Available from: http://hdl.handle.net/11714/2300

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Edith Cowan University

21. Baah-Frempong, Emmanuel. Experimental and numerical analyses of geosynthetic-reinforced soil slopes.

Degree: 2019, Edith Cowan University

 The application of geosynthetic reinforcements in civil/geotechnical engineering projects (retaining walls, foundations, pavements, dams, slopes, etc.) has gained much popularity during the past few decades… (more)

Subjects/Keywords: geosynthetic; reinforced-slopes; embedded footing; bearing capacity; factor of safety; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Baah-Frempong, E. (2019). Experimental and numerical analyses of geosynthetic-reinforced soil slopes. (Thesis). Edith Cowan University. Retrieved from https://ro.ecu.edu.au/theses/2231

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Baah-Frempong, Emmanuel. “Experimental and numerical analyses of geosynthetic-reinforced soil slopes.” 2019. Thesis, Edith Cowan University. Accessed April 13, 2021. https://ro.ecu.edu.au/theses/2231.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Baah-Frempong, Emmanuel. “Experimental and numerical analyses of geosynthetic-reinforced soil slopes.” 2019. Web. 13 Apr 2021.

Vancouver:

Baah-Frempong E. Experimental and numerical analyses of geosynthetic-reinforced soil slopes. [Internet] [Thesis]. Edith Cowan University; 2019. [cited 2021 Apr 13]. Available from: https://ro.ecu.edu.au/theses/2231.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Baah-Frempong E. Experimental and numerical analyses of geosynthetic-reinforced soil slopes. [Thesis]. Edith Cowan University; 2019. Available from: https://ro.ecu.edu.au/theses/2231

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

22. Gallucci, Antonio. Building a safety case for a small sized product line of Fuel Level Display Systems.

Degree: Design and Engineering, 2013, Mälardalen University

  ISO 26262 is an international standard valid for the automotive domain. It regulates all the activities to perform for developing safety critical systems in… (more)

Subjects/Keywords: ISO 26262; Safety-critical product lines; Reusability; Variability management; Families of safety cases; GSN for product lines; Software Engineering; Programvaruteknik

…certification1 of the entire safety critical product line. This thesis work has been performed in… …safety critical systems and need to be developed in compliance with the standard. 1 In this… …development and certification effort for a safety critical product line. The validity of the… …presented approach is also shown, applying it to a real set of similar safety critical systems… …the Next Generation of System Assurance Approaches for Safety-Critical Systems workshop… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gallucci, A. (2013). Building a safety case for a small sized product line of Fuel Level Display Systems. (Thesis). Mälardalen University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22373

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Gallucci, Antonio. “Building a safety case for a small sized product line of Fuel Level Display Systems.” 2013. Thesis, Mälardalen University. Accessed April 13, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22373.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Gallucci, Antonio. “Building a safety case for a small sized product line of Fuel Level Display Systems.” 2013. Web. 13 Apr 2021.

Vancouver:

Gallucci A. Building a safety case for a small sized product line of Fuel Level Display Systems. [Internet] [Thesis]. Mälardalen University; 2013. [cited 2021 Apr 13]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22373.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Gallucci A. Building a safety case for a small sized product line of Fuel Level Display Systems. [Thesis]. Mälardalen University; 2013. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22373

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Toronto

23. Toomari, Andia. Contrasts in Safety Management: Safety-critical Industries vs. Healthcare.

Degree: 2019, University of Toronto

Healthcare, as a safety-critical industry, has often been contrasted with aviation and nuclear energy. Though safety tactics learned from aviation and nuclear energy have proven… (more)

Subjects/Keywords: Healthcare; Safety-Critical Industries; Safety Management; Standards; 0537

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Toomari, A. (2019). Contrasts in Safety Management: Safety-critical Industries vs. Healthcare. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/98410

Chicago Manual of Style (16th Edition):

Toomari, Andia. “Contrasts in Safety Management: Safety-critical Industries vs. Healthcare.” 2019. Masters Thesis, University of Toronto. Accessed April 13, 2021. http://hdl.handle.net/1807/98410.

MLA Handbook (7th Edition):

Toomari, Andia. “Contrasts in Safety Management: Safety-critical Industries vs. Healthcare.” 2019. Web. 13 Apr 2021.

Vancouver:

Toomari A. Contrasts in Safety Management: Safety-critical Industries vs. Healthcare. [Internet] [Masters thesis]. University of Toronto; 2019. [cited 2021 Apr 13]. Available from: http://hdl.handle.net/1807/98410.

Council of Science Editors:

Toomari A. Contrasts in Safety Management: Safety-critical Industries vs. Healthcare. [Masters Thesis]. University of Toronto; 2019. Available from: http://hdl.handle.net/1807/98410


Delft University of Technology

24. Spijkers, R.A. (author). Increasing the Functional Safety of Safety-Critical Systems in the 48 V Network.

Degree: 2015, Delft University of Technology

In 2011, AUDI AG and four other German car manufacturers decided to implement an additional 48 V on-board power network inside cars. This offers the… (more)

Subjects/Keywords: 48V; power network; functional safety; safety-critical; redundant; 12V

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Spijkers, R. A. (. (2015). Increasing the Functional Safety of Safety-Critical Systems in the 48 V Network. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:0affb8e9-c5bd-4230-8243-f492e87667c1

Chicago Manual of Style (16th Edition):

Spijkers, R A (author). “Increasing the Functional Safety of Safety-Critical Systems in the 48 V Network.” 2015. Masters Thesis, Delft University of Technology. Accessed April 13, 2021. http://resolver.tudelft.nl/uuid:0affb8e9-c5bd-4230-8243-f492e87667c1.

MLA Handbook (7th Edition):

Spijkers, R A (author). “Increasing the Functional Safety of Safety-Critical Systems in the 48 V Network.” 2015. Web. 13 Apr 2021.

Vancouver:

Spijkers RA(. Increasing the Functional Safety of Safety-Critical Systems in the 48 V Network. [Internet] [Masters thesis]. Delft University of Technology; 2015. [cited 2021 Apr 13]. Available from: http://resolver.tudelft.nl/uuid:0affb8e9-c5bd-4230-8243-f492e87667c1.

Council of Science Editors:

Spijkers RA(. Increasing the Functional Safety of Safety-Critical Systems in the 48 V Network. [Masters Thesis]. Delft University of Technology; 2015. Available from: http://resolver.tudelft.nl/uuid:0affb8e9-c5bd-4230-8243-f492e87667c1


Arizona State University

25. Liu, Shubo. Integrated Waveform-Agile Multi-Modal Track-before-Detect Algorithms for Tracking Low Observable Targets.

Degree: MS, Electrical Engineering, 2012, Arizona State University

 In this thesis, an integrated waveform-agile multi-modal tracking-beforedetect sensing system is investigated and the performance is evaluated using an experimental platform. The sensing system of… (more)

Subjects/Keywords: Electrical engineering; Embedded exponential families; Particle Filter; Track-before-detect; Waveform-agile

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Liu, S. (2012). Integrated Waveform-Agile Multi-Modal Track-before-Detect Algorithms for Tracking Low Observable Targets. (Masters Thesis). Arizona State University. Retrieved from http://repository.asu.edu/items/14953

Chicago Manual of Style (16th Edition):

Liu, Shubo. “Integrated Waveform-Agile Multi-Modal Track-before-Detect Algorithms for Tracking Low Observable Targets.” 2012. Masters Thesis, Arizona State University. Accessed April 13, 2021. http://repository.asu.edu/items/14953.

MLA Handbook (7th Edition):

Liu, Shubo. “Integrated Waveform-Agile Multi-Modal Track-before-Detect Algorithms for Tracking Low Observable Targets.” 2012. Web. 13 Apr 2021.

Vancouver:

Liu S. Integrated Waveform-Agile Multi-Modal Track-before-Detect Algorithms for Tracking Low Observable Targets. [Internet] [Masters thesis]. Arizona State University; 2012. [cited 2021 Apr 13]. Available from: http://repository.asu.edu/items/14953.

Council of Science Editors:

Liu S. Integrated Waveform-Agile Multi-Modal Track-before-Detect Algorithms for Tracking Low Observable Targets. [Masters Thesis]. Arizona State University; 2012. Available from: http://repository.asu.edu/items/14953

26. Rivera, Jorge Aparicio. Real time Rust on multi-core microcontrollers.

Degree: Computer Science, 2020, Luleå University of Technology

  Today the majority of embedded software is written in C or C++ using the thread paradigm. C and C++ are memory unsafe programming languages… (more)

Subjects/Keywords: Rust; real-time; memory safety; embedded; static analysis; stack resource policy; stack analysis; arm; cortex-m; Embedded Systems; Inbäddad systemteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rivera, J. A. (2020). Real time Rust on multi-core microcontrollers. (Thesis). Luleå University of Technology. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-77642

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Rivera, Jorge Aparicio. “Real time Rust on multi-core microcontrollers.” 2020. Thesis, Luleå University of Technology. Accessed April 13, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-77642.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Rivera, Jorge Aparicio. “Real time Rust on multi-core microcontrollers.” 2020. Web. 13 Apr 2021.

Vancouver:

Rivera JA. Real time Rust on multi-core microcontrollers. [Internet] [Thesis]. Luleå University of Technology; 2020. [cited 2021 Apr 13]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-77642.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Rivera JA. Real time Rust on multi-core microcontrollers. [Thesis]. Luleå University of Technology; 2020. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-77642

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Manitoba

27. Alguire, Sandra Denise Anne. Nurses’ attitudes about the importance of families in nursing care:a survey of Canadian critical care nurses working in adult ICUs.

Degree: Nursing, 2013, University of Manitoba

 The purpose of this study was to identify Canadian critical care nurses’ attitudes about the importance of families in nursing care in adult intensive care… (more)

Subjects/Keywords: attitudes; critical; ICU; family; visitation; FCC; adult; nurse; perceptions; families

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Alguire, S. D. A. (2013). Nurses’ attitudes about the importance of families in nursing care:a survey of Canadian critical care nurses working in adult ICUs. (Masters Thesis). University of Manitoba. Retrieved from http://hdl.handle.net/1993/22295

Chicago Manual of Style (16th Edition):

Alguire, Sandra Denise Anne. “Nurses’ attitudes about the importance of families in nursing care:a survey of Canadian critical care nurses working in adult ICUs.” 2013. Masters Thesis, University of Manitoba. Accessed April 13, 2021. http://hdl.handle.net/1993/22295.

MLA Handbook (7th Edition):

Alguire, Sandra Denise Anne. “Nurses’ attitudes about the importance of families in nursing care:a survey of Canadian critical care nurses working in adult ICUs.” 2013. Web. 13 Apr 2021.

Vancouver:

Alguire SDA. Nurses’ attitudes about the importance of families in nursing care:a survey of Canadian critical care nurses working in adult ICUs. [Internet] [Masters thesis]. University of Manitoba; 2013. [cited 2021 Apr 13]. Available from: http://hdl.handle.net/1993/22295.

Council of Science Editors:

Alguire SDA. Nurses’ attitudes about the importance of families in nursing care:a survey of Canadian critical care nurses working in adult ICUs. [Masters Thesis]. University of Manitoba; 2013. Available from: http://hdl.handle.net/1993/22295

28. Ngô, Van Chan. Formal verification of a synchronous data-flow compiler : from Signal to C : Vérification formelle d’un compilateur synchrone : de Signal vers C.

Degree: Docteur es, Informatique, 2014, Rennes 1

Les langages synchrones tels que Signal, Lustre et Esterel sont dédiés à la conception de systèmes critiques. Leurs compilateurs, qui sont de très gros programmes… (more)

Subjects/Keywords: Vérification formelle; Validation de la traduction; Compilateur validé; Programmes synchrones; Modèles polychrones; Systèmes embarqués; Systèmes critiques; Détection des blocages; Compilation; Polychrony; Graphiques de dépendance; SMT solving; Valeur-graphiques; Graphique réécriture.; Formal verification; Translation validation; Validated Compiler; Synchronous Programs; Polychronous Models; Embedded systems; Safety-critical systems; Deadlock detection; Compilation; Polychrony; Dependency graphs; SMT solving; Value-graphs; Graph rewriting.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ngô, V. C. (2014). Formal verification of a synchronous data-flow compiler : from Signal to C : Vérification formelle d’un compilateur synchrone : de Signal vers C. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2014REN1S034

Chicago Manual of Style (16th Edition):

Ngô, Van Chan. “Formal verification of a synchronous data-flow compiler : from Signal to C : Vérification formelle d’un compilateur synchrone : de Signal vers C.” 2014. Doctoral Dissertation, Rennes 1. Accessed April 13, 2021. http://www.theses.fr/2014REN1S034.

MLA Handbook (7th Edition):

Ngô, Van Chan. “Formal verification of a synchronous data-flow compiler : from Signal to C : Vérification formelle d’un compilateur synchrone : de Signal vers C.” 2014. Web. 13 Apr 2021.

Vancouver:

Ngô VC. Formal verification of a synchronous data-flow compiler : from Signal to C : Vérification formelle d’un compilateur synchrone : de Signal vers C. [Internet] [Doctoral dissertation]. Rennes 1; 2014. [cited 2021 Apr 13]. Available from: http://www.theses.fr/2014REN1S034.

Council of Science Editors:

Ngô VC. Formal verification of a synchronous data-flow compiler : from Signal to C : Vérification formelle d’un compilateur synchrone : de Signal vers C. [Doctoral Dissertation]. Rennes 1; 2014. Available from: http://www.theses.fr/2014REN1S034


University of Waterloo

29. Singh, Ajay. A Study of the Power Trace Sampling Frequency Requirements in Non-Intrusive Program Tracing Through Power Consumption Monitoring.

Degree: 2018, University of Waterloo

 In embedded systems, anomalies can be detected by monitoring the power consumption of the device. Recent literature has shown the use of this technique for… (more)

Subjects/Keywords: power trace; anomaly detection; safety and security of embedded system; sampling frequency

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Singh, A. (2018). A Study of the Power Trace Sampling Frequency Requirements in Non-Intrusive Program Tracing Through Power Consumption Monitoring. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/13747

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Singh, Ajay. “A Study of the Power Trace Sampling Frequency Requirements in Non-Intrusive Program Tracing Through Power Consumption Monitoring.” 2018. Thesis, University of Waterloo. Accessed April 13, 2021. http://hdl.handle.net/10012/13747.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Singh, Ajay. “A Study of the Power Trace Sampling Frequency Requirements in Non-Intrusive Program Tracing Through Power Consumption Monitoring.” 2018. Web. 13 Apr 2021.

Vancouver:

Singh A. A Study of the Power Trace Sampling Frequency Requirements in Non-Intrusive Program Tracing Through Power Consumption Monitoring. [Internet] [Thesis]. University of Waterloo; 2018. [cited 2021 Apr 13]. Available from: http://hdl.handle.net/10012/13747.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Singh A. A Study of the Power Trace Sampling Frequency Requirements in Non-Intrusive Program Tracing Through Power Consumption Monitoring. [Thesis]. University of Waterloo; 2018. Available from: http://hdl.handle.net/10012/13747

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

30. Navrátil, Tomáš. Záznamové zařízení pro železniční přejezdy: Monitoring device for level crossings.

Degree: 2018, Brno University of Technology

 Bachelor‘s thesis deals with a design of a safety appliance. The device will be used particularly at grade crossing. The record device allows monitoring of… (more)

Subjects/Keywords: mikroprocesorová technika; vestavěné systémy; zabezpečovací zařízení; microprocessor technology; embedded systems; safety appliance

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Navrátil, T. (2018). Záznamové zařízení pro železniční přejezdy: Monitoring device for level crossings. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/14182

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Navrátil, Tomáš. “Záznamové zařízení pro železniční přejezdy: Monitoring device for level crossings.” 2018. Thesis, Brno University of Technology. Accessed April 13, 2021. http://hdl.handle.net/11012/14182.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Navrátil, Tomáš. “Záznamové zařízení pro železniční přejezdy: Monitoring device for level crossings.” 2018. Web. 13 Apr 2021.

Vancouver:

Navrátil T. Záznamové zařízení pro železniční přejezdy: Monitoring device for level crossings. [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2021 Apr 13]. Available from: http://hdl.handle.net/11012/14182.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Navrátil T. Záznamové zařízení pro železniční přejezdy: Monitoring device for level crossings. [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/14182

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

[1] [2] [3] [4] [5] … [1130]

.