Date: 2012/8/28

      Place: Collaboration Room #7 15:30 -

      Name: Hiroaki Takada
          Nagoya University

      Title: Dependability Requirements on Embedded Systems and Issues on Information Security

      After summarizing the dependability requirements on embedded systems, actual dependability requirements on example systems are explained with focus on safety requirements. The safety-critical system technologies for satisfying the requirements are also described. Finally, problems on information security of embedded systems, which are getting important recently.