Hide menu

SaS Seminars

Software and Systems Research Seminar Series

The SaS Seminars are a permanent series of open seminars of the Division of Software and Systems (SaS) at the Department of Computer and Information Science (IDA), Linköping University. The objective of the seminars is to present outstanding research and ideas/problems relevant for SaS present and future activities. In particular, seminars cover the SaS research areas software engineering, programming environments, system software, embedded SW/HW systems, computer systems engineering, realtime systems, parallel and distributed computing, and theoretical computer science. - Two kinds of seminars are planned:

  • talks by invited speakers not affiliated with SaS,

  • internal seminars presenting lab research to whole SaS.

The speakers are expected to give a broad perspective of the presented research, adressing the audience with a general computer science background but possibly with no specific knowledge in the domain of the presented research. The normal length of a presentation is 60 minutes, including discussion.

The SaS seminars are coordinated by Ahmed Rezine.

Recent / Upcoming SaS Seminars (2017)

Real-Time Scheduling of Mixed-Criticality Systems: What are the X Factors?

Prof. Risat Pathan, Chalmers University Of Technology, Sweden

Wednesday, April 5th, 2017, 9:00 (sharp)-10:00, room Alan Turing

Mixed-criticality (MC) systems consist of tasks with different degrees of importance or criticality. Correctly executing relatively higher critical tasks (e.g., meeting their deadlines) is more important than that of any lower critical task. Therefore, scheduling algorithm and its analysis have to consider runtime situations where the correct execution of higher critical tasks can be threatened by some events that I call ?X? factors of MC systems. Example of such an X-factor is ?execution overrun? which is pointed out by Steve Vestal in RTSS 2007. The purpose of my talk is to highlight another X factor: the frequency of error detection and recovery.

The design and analysis of real-time scheduling algorithms for safety-critical systems is a challenging problem due to the temporal dependencies among different design constraints. This work is based on scheduling sporadic tasks with three interrelated design constraints: (i) meeting the hard deadlines of application tasks, (ii) providing fault tolerance by executing backups, and (iii) respecting the criticality of each task to facilitate system?s certification. First, a new approach to model mixed-criticality systems from the perspective of fault tolerance is proposed. Second, a uniprocessor fixed-priority scheduling algorithm, called fault-tolerant mixed-criticality (FTMC) scheduling, is designed for the proposed model. The FTMC algorithm executes backups to recover from task errors caused by hardware or software faults. Third, a sufficient schedulability test is derived, when satisfied for a (mixed-criticality) task set, guarantees that all deadlines are met even if backups are executed to recover from errors. Finally, evaluations illustrate the effectiveness of the proposed test.

Bio of speaker:
Risat Pathan is an assistant professor in the Department of Computer Science and Engineering at Chalmers University of Technology, Sweden. He received the M.S., Lic.-Tech., and Ph.D. degrees from Chalmers University of Technology in 2006, 2010, and 2012, respectively. He visited the Real-Time Systems Group at The University of North Carolina at Chapel Hill, USA during fall 2011. His main research interests are real-time scheduling on uni- and multi-core processors from efficient resource utilization, fault-tolerance and mixed-criticality perspectives.

From C++98 towards C++17 and beyond

Prof. Jose-Daniel Garcia-Sanchez, University Carlos III of Madrid, Spain

Thursday, January 26th, 2017, 10:15-11:15, room Alan Turing

C++ has now a long history and it is a highly used language in a wide range of application domains (videogames, finance, aerospace, embedded systems, scientific computing, to name only some of them). After a steady period in the last decade, in recent years we have seen a revitalization with the publication of two new standards (C++11 and C++14) as well as a number of additional technical specifications. The new version of the ISO C++ standard is scheduled to be published during 2017 and there are additional plans for evolution. In this talk, I will provide a view on the evolution of the language trying to highlight what are the design principles behind C++ evolution. I will illustrate examples of this evolution with features scheduled for C++17. I will also pay some attention to features provided in additional technical specifications complementing the main standard that we envision for the near future. Finally I will try to outline what could be the future of C++.

Bio of speaker:
J. Daniel Garcia is an Associate Professor in Computer Architecture at University Carlos III of Madrid in Spain since 2006. He has been serving as head of spanish delegation to ISO C++ standards committee since 2008. Before joining academia he worked as a software engineer in industrial projects in different domains including real time control systems, civil engineering, medical imaging, aerospace engineering, and high performance scientific computing. Since he moved to University he has participated in many funded research projects at national and international levels. He was the coordinator of the EU FP7 REPARA project aiming at refactoring C++ applications for parallel heterogeneous architectures. He also leads his university participation in the H2020 RePhrase project also related to better software engineering practices for parallel C++ applications. He has co-authored more than 22 articles in international journals as well as many other in international conferences. His research is focused on programming models for applications improvement. In particular, his aim is improving both performance of applications (faster applications) and maintainability (easier to modify).

Previous SaS Seminars

Page responsible: Christoph Kessler
Last updated: 2017-03-22