{"id":650,"date":"2020-08-24T10:18:45","date_gmt":"2020-08-24T08:18:45","guid":{"rendered":"http:\/\/blogs.uni-siegen.de\/ms-cps\/?p=650"},"modified":"2020-08-24T10:18:45","modified_gmt":"2020-08-24T08:18:45","slug":"mscps-open-info-day","status":"publish","type":"post","link":"https:\/\/blogs.uni-siegen.de\/ms-cps\/2020\/08\/24\/mscps-open-info-day\/","title":{"rendered":"MS@CPS Open Info Day"},"content":{"rendered":"

Join us on Zoom on 26th of August at 9:00 AM CET (10:00 AM Palestine and 8:00 AM Tunisia Time)<\/p>\n

https:\/\/uni-siegen.zoom.us\/j\/96063476298\u2026<\/a><\/p>\n

Keynote Speaker I: Prof. Dr. Roman Obermaisser
\nTitle: Dependable Embedded Real-Time Systems based on Time-Triggered Control<\/span><\/p>\n

\n

Abstract: Many safety-critical application subsystems demand hard real-time requirements, where the achievement of stability and safety depends on the completion of activities (e.g., reading of sensor values, performing computations, message transmission) in the defined time. In such hard real-time systems, missed deadlines represent system failures with the potential of consequences as serious as in the case of providing incorrect results. The static resource allocation in time-triggered systems offers significant benefits for the safety arguments of dependable systems. However, adaptation is a key factor for energy efficiency and fault recovery in Cyber-Physical System (CPS). This presentation describes research in the area of adaptive time-triggered systems for CPS in order to support adaptation using multi-schedule graphs while preserving the key properties of time-triggered systems including implicit synchronization, temporal predictability, and avoidance of resource conflicts. In addition, we highlight upcoming challenges such as integration with knowledge-based systems and artificial intelligence. The presentation also discusses implications for required competencies and teaching in the area of CPS.<\/p>\n

Keynote Speaker II: Prof. Raimund Kirner
\nTitle: Using SIL Arithmetic to Design Safe and Secure Cyber-physical Systems<\/p>\n

Abstract: In a safety-critical cyber-physical system each service has a specific level of safety criticality. Safety standards use classifications like Safety Integrity Levels (SIL), to describe the design requirements for the individual services of a system. Techniques like redundancy can be used to achieve higher overall dependability than the used individual components provide. Using the notion of SIL, this can be called SIL arithmetic. Using the concept of SIL arithmetic we point out how different safety standards provide hints for their support of using SIL arithmetic. We highlight the principal benefits of SIL arithmetic and provide simple examples. But the use of SIL arithmetic in a concrete system design can also have its pitfalls. We specifically discuss these issues in the context of scheduling techniques for mixed-criticality systems, where resource shortages are to be handled by the task scheduler.<\/p>\n<\/div>\n

 <\/p>\n

 <\/p>\n

\"\"<\/p>\n

 <\/p>\n\n\n\n
\"\"<\/td>\n\"\"<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n","protected":false},"excerpt":{"rendered":"

Join us on Zoom on 26th of August at 9:00 AM CET (10:00 AM Palestine and 8:00 AM Tunisia Time) https:\/\/uni-siegen.zoom.us\/j\/96063476298\u2026 Keynote Speaker I: Prof. Dr. Roman Obermaisser Title: Dependable Embedded Real-Time Systems based on Time-Triggered Control Abstract: Many safety-critical application subsystems demand hard real-time requirements, where the achievement of stability and safety depends on … <\/p>\n

Continue reading “MS@CPS Open Info Day”<\/span><\/a><\/p>\n","protected":false},"author":376,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[57],"tags":[],"class_list":["post-650","post","type-post","status-publish","format-standard","hentry","category-allgemein"],"_links":{"self":[{"href":"https:\/\/blogs.uni-siegen.de\/ms-cps\/wp-json\/wp\/v2\/posts\/650","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.uni-siegen.de\/ms-cps\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.uni-siegen.de\/ms-cps\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.uni-siegen.de\/ms-cps\/wp-json\/wp\/v2\/users\/376"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.uni-siegen.de\/ms-cps\/wp-json\/wp\/v2\/comments?post=650"}],"version-history":[{"count":1,"href":"https:\/\/blogs.uni-siegen.de\/ms-cps\/wp-json\/wp\/v2\/posts\/650\/revisions"}],"predecessor-version":[{"id":654,"href":"https:\/\/blogs.uni-siegen.de\/ms-cps\/wp-json\/wp\/v2\/posts\/650\/revisions\/654"}],"wp:attachment":[{"href":"https:\/\/blogs.uni-siegen.de\/ms-cps\/wp-json\/wp\/v2\/media?parent=650"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.uni-siegen.de\/ms-cps\/wp-json\/wp\/v2\/categories?post=650"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.uni-siegen.de\/ms-cps\/wp-json\/wp\/v2\/tags?post=650"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}