Post by: Rob Davis in SIGBED Blog
The TCRTS Conferences Planning Sub-Committee is responsible for determining the policies for TCRTS sponsored conferences including the Real-Time Systems Symposium (RTSS) and the Real-Time and Embedded Technology and Applications Symposium (RTAS). In doing so in 2020, we have been guided by three key principles: Transparency, meaning openly sharing information; Equity, meaning fair and respectful treatment of all people, including changing…
Post by: Timothy Bourke, Linh Thi Xuan Phan in SIGBED Blog
EMSOFT, the ACM SIGBED International Conference on Embedded Software, is one of the three core conferences of the annual Embedded Systems Week (ESWEEK). The other two conferences are CASES, the International Conference on Compilers, Architecture and Synthesis, and CODES+ISSS, the International Conference on Hardware/Software Codesign and System Synthesis. The 16th edition of ESWEEK and the 19th edition of EMSOFT were…
Post by: Aviral Shrivastava, Jian-Jia Chen, X. Sharon Hu in SIGBED Blog
Post by: Gernot Heiser in SIGBED Blog
It's a common experience: I talk to people developing safety-critical embedded systems, be it cars or medical devices, and, while clearly serious about product safety, they show little interest in security. A great example was when, as a part of an delegation of Australian academicians, I visited an automotive testing facility in another country. They showed us their impressive driving…
Post by: Nan Guan in SIGBED Blog
Many real-time systems are safe-critical, so their timing correctness must be ensured under any circumstance at runtime. To guarantee this, we should describe the system behavior by some rigorous models, based on which properties of interests can be proved. Research on formal modeling and analysis of real-time systems has been done in, at least, two research areas: real-time scheduling and…
Post by: Hasindu Gamaarachchi in SIGBED Blog
My PhD research project targeted publications in leading bioinformatics and science journals. I was very keen to witness a mainstream computer science conference since I had never been to one. Last year, one of our collaborative papers got accepted into ESWEEK 2019. I was planning on taking this opportunity and attending the conference when my labmate, Hassaan Saadat, who had…
Post by: Björn Brandenburg in SIGBED Blog
I think it’s fun to see this diversity also reflected in the SIGBED Blog. So for a change of pace, today I wanted to have a look at something a bit more technical and hands-on — specifically, a primer on how to connect the models studied in the real-time systems literature to actual running code.