-
1Academic Journal
المؤلفون: Helminen, Atte, Immonen, Essi, Linnosmaa, Joonas, Laarni, Jari
المساهمون: Kołowrocki, Krzysztof, Magryta-Mut, Beata
المصدر: Helminen , A , Immonen , E , Linnosmaa , J & Laarni , J 2024 , Benchmark Exercise on Safety Engineering Practices: Results and Recommendations . in K Kołowrocki & B Magryta-Mut (eds) , Advances in Reliability, Safety and Security : Complex Systems and Critical Infrastructures Business Continuity Modelling and Optimization & Reliability, Safety and Security Related Management Systems . vol. 8 , Gdynia , pp. 45-52 , 34th European Safety and Reliability Conference (ESREL 2024) , Kraków , Poland , 23/06/24 . < https://esrel2024.com/wp-content/uploads/articles/part8/benchmark-exercise-on-safety-engineering-practices-results-and-recommendations.pdf >
مصطلحات موضوعية: Nuclear safety, Safety engineering process, Probabilistic safety analysis, Human factors engineering
وصف الملف: application/pdf
Relation: https://cris.vtt.fi/en/publications/21f5b4ec-1027-4693-badf-b274faf766f1; urn:ISBN:978-83-68136-20-3
الاتاحة: https://cris.vtt.fi/en/publications/21f5b4ec-1027-4693-badf-b274faf766f1
https://cris.vtt.fi/ws/files/104646600/2024_ESREL2024_BenchmarkExerciseOnSafetyEngineeringPracticesResultsAndRecommendations.pdf
https://esrel2024.com/part-8-complex-systems-and-critical-infrastructures-business-continuity-modelling-and-optimization-reliability-safety-and-security-related-management-systems/
https://esrel2024.com/wp-content/uploads/articles/part8/benchmark-exercise-on-safety-engineering-practices-results-and-recommendations.pdf -
2Conference
المساهمون: Unité d'Informatique et d'Ingénierie des Systèmes (U2IS), École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Delphi Technologies Villepinte, ENVISA
المصدر: ERTS 2012 proceedings ; Embedded Real Time Software and Systems (ERTS2012) ; https://hal.science/hal-02263460 ; Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
مصطلحات موضوعية: system modeling, safety engineering process, safety analysis, system architecture, integration of systems and safety engineering, [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Relation: hal-02263460; https://hal.science/hal-02263460; https://hal.science/hal-02263460/document; https://hal.science/hal-02263460/file/TB-1.pdf
-
3Dissertation/ Thesis
المؤلفون: Aoanan, Paul
Thesis Advisors: Wassyng, Alan, Lawford, Mark, Software Engineering
مصطلحات موضوعية: HAZOP, Assurance Case, Safety Case, Incremental Safety Assurance, Safety Assurance Case, Hazard and Operability Study, Safety Engineering Process, SEP, Workflow, Workflow+
الاتاحة: http://hdl.handle.net/11375/26333
-
4
المؤلفون: Hycham Aboutaleb, Mohamed Bouali, Morayo Adedjouma, Emilia Suomalainen
المساهمون: Unité d'Informatique et d'Ingénierie des Systèmes (U2IS), École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Delphi Technologies [Villepinte], ENVISA, PAGNIER, Axelle
المصدر: ERTS 2012 proceedings
Embedded Real Time Software and Systems (ERTS2012)
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
HALمصطلحات موضوعية: integration of systems and safety engineering, system modeling, [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, system architecture, [INFO] Computer Science [cs], safety analysis, safety engineering process, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems
وصف الملف: application/pdf
-
5
المؤلفون: Kim, Young-Joo(김영주)
المساهمون: Kim, Moon-Zoo(김문주)
مصطلحات موضوعية: software reliability validation, model checking, statistical model checking, safety engineering process, 소프트웨어 신뢰성 검증, 모델체킹, 통계적모델체킹, 소프트웨어 공학 프로세스, 안전필수시스템, safety critical systems