Secure and safety-critical vs. insecure, non safety-critical embedded systems: do they require completely different design approaches?

ABSTRACT

As we move forward into the era of ubiquitous pervasive computing, the design of secure safety-critical systems will become increasingly complex. For example, future automobiles will become the ultimate mobile wireless device containing a distributed network with multiple vendor software and hardware. However the car's embedded software which is expected to increase in size by 100 fold, will create a significant impact on the overall system safety. Furthermore wireless communications may create the possibility of terrorists or attackers gaining control of the automobile, hence security is also an important issue. How will designers cope with this complexity while at the same time ensure safety and security? Will new design approaches be required? Or can current design methodologies be used with new metrics, safety and security? This panel will bring together experts from the safety-critical industry, security industry, and experts from the insecure non-safety critical industry.

REFERENCES

• 1: J. Axelsson "HW/SW Codesign for Automotive Applications: Challenges on the Architecture Level", Proc. 4th Intl Symp on O-O R-T Distribtd Comp, 2001.
• 2: B. Douglass, "Safety-Critical Systems Design", http://www-md.e-technik.uni-rostock.de/ma/gol/ilogic/scriptd.pdf, 1998.
• 3: R. Allen "Gentlemen, start your electronically enriched automobiles", Electr.Des. June 14, 2004.
• 4: M. Baleani , A. Ferrari , L. Mangeruca , A. Sangiovanni-Vincentelli , Maurizio Peri , Saverio Pezzini, Fault-tolerant platforms for automotive safety-critical applications, Proceedings of the 2003 international conference on Compilers, architecture and synthesis for embedded systems, October 30-November 01, 2003, San Jose, California, USA [doi>10.1145/951710.951734]
• 5: P. Paradinas "Smart cards a(s) safety critical systems", Wkshp on Formal Des of safety critical embd sys, 2001.
• 6: Philip Koopman, Embedded System Security, Computer, v.37 n.7, p.95-97, July 2004 [doi>10.1109/MC.2004.52]
• 7: P. Kocher etal. "Security as a new dimension in embedded system design", DAC 2004.
• 8: C. H. Gebotys , Y. Zhang, Security wrappers and power analysis for SoC technologies, Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, October 01-03, 2003, Newport Beach, CA, USA [doi>10.1145/944645.944689]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS
      Subjects: Real-time and embedded systems

General Terms:
Design, Reliability, Security

Keywords:
safety-critical, security