Case study on combined validation of safety & security requirements

Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, SIES 2014

Volumn , Issue , 2014, Pages 244-251

  Sojka, Michal ^a   Kreč, Michal ^a   Hanzálek, Zdeněk ^a  

^a CZECH TECHNICAL UNIVERSITY IN PRAGUE   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

CIVIL DEFENSE; EMBEDDED SYSTEMS; SAFETY TESTING; SOFTWARE PROTOTYPING; SOFTWARE TESTING; UNMANNED VEHICLES;

AUTOMOTIVE DOMAINS; ECONOMIC BENEFITS; HARD-WARE-IN-THE-LOOP; INFINEON TECHNOLOGIES; MESSAGE AUTHENTICATION PROTOCOLS; SAFETY AND SECURITIES; SECURITY REQUIREMENTS; SOFTWARE IN THE LOOPS;

SAFETY ENGINEERING;

EID: 84906706626     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SIES.2014.6871210     Document Type: Conference Paper

References (16)

1. International Organization for Standardization / Technical Committee 22 (ISO/TC 22), ISO/DIS 26262:2010(e)-Road vehicles-Functional safety, 2010.
2. S. Checkoway, D. McCoy, B. Kantor, D. Anderson, H. Shacham, S. Savage, K. Koscher, A. Czeskis, F. Roesner, and T. Kohno, "Comprehensive experimental analyses of automotive attack surfaces", Proceedings of the 20th USENIX conference on Security, 2011. [Online]. Available: http://static.usenix.org/ events/sec11/tech/full%5Cpapers/Checkoway.pdf.
3. ISO/IEC JTC 1/SC 27 IT Security techniques, ISO/IEC 15408:2009- Information technology-Security techniques-Evaluation criteria for IT security, 2008/2009.
4. R. Isermann, J. Schaffnit, and S. Sinsel, "Hardware-inthe-loop simulation for the design and testing of enginecontrol systems", Control Engineering Practice, vol. 7, no. 5, pp. 643-653, 1999, ISSN: 0967-0661. [Online]. Available: http://www.sciencedirect.com/science/article/pii/ S0967066198002056.
5. O. Hartkopp and R. Schilling, "MaCAN-message authenticated CAN", in ESCAR Conference, Berlin, Germany, Nov. 2012.
6. AUTOSAR, Specification of the virtual functional bus, R3.1rev 5, 2010. [Online]. Available: http://www.autosar.org/download/R3.1/AUTOSARSWSVFB.pdf.
7. Infineon Technologies AG, MCISAR-AUDO-UM-EmoDriver Documentation, release V1.3, 2012.
8. -, TC1798 32-bit microcontroller-Data Sheet, V1.0, 2012.
9. Mathworks, inc., MATLAB Documentation, R2012b, 2012.
10. P. Pillay and R. Krishnan, "Modelling of permanent magnet motor drives", IEEE transactions on industrial electronics, 537-541, 1988.
11. K. Belda, "Study of predictive control for permanent magnet synchronous motor drives", in Methods and Models in Automation and Robotics (MMAR), 2012 17th International Conference on, Aug. 2012, pp. 522-527.
12. DCE FEE CTU, Linux Target for Simulink Embedded Coder project. [Online]. Available: http://lintarget.sourceforge.net/.
13. HUMUSOFT s.r.o, MF 624 Multifunction I/O card User's manual, 2006. [Online]. Available: http://www2.humusoft.cz/www/datacq/manuals/mf624um.pdf.
14. AUTOSAR, Specification of can driver, R3.0 rev 2, 2008. [Online]. Available: http://www.autosar.org/download/AUTOSARSWSCANDriver.pdf.
15. O. Hartkopp and Volkswagen, AG, "The can networking subsystem of the linux kernel", Proceedings of the 13th iCC, 2012.
16. M. Kreč and M. Sojka, "SW-and HW-in-the-loop testbeds for AUTOSAR eMotor driver", Czech Technical University in Prague, Tech. Rep., 2014, Available online: https://rtime.felk.cvut.cz/publications/public/emotor- simulink-testbed.pdf.