20th of February, 2017: Model-based Functional Safety

Speaker: Prof. Stefan Leue, Chair for Software and Systems Engineering, University Konstanz Title: Model-based Functional Safety Abstract: Ensuring the functional safety of critical software-driven embedded or cyber-physical systems is a prime engineering challenge. Domain standards, such as DO-178 B/C or ISO 26262, strongly recommend the use of automated analysis techniques and …

15th of November, 2016: Contract-Based Deployment of Monitoring Mechanisms for Mixed-Critical Real-Time Applications

Speaker: Joscha-Joel Benz, TU Braunschweig Title: Contract-Based Deployment of Monitoring Mechanisms for Mixed-Critical Real-Time Applications Abstract: Today, mixed-critical embedded systems are increasing in their functionality and complexity, such as cars and mobile phones. Consequently, the complexity of software rises as well. Thus, already deployed software often needs to be adapted to …

January 23rd, 2014: MOBILE

Speaker: Torben Stolte Title: MOBILE – an introduction to one of the most powerful electric cars in the world Abstract: The over-actuated …