The mission of the Networked and Embedded System Division (NES) is to provide engineers with scientific methods and tools for designing safety-critical real-time systems. The goal is to advance state-of-art and practice for developing such systems into a mature engineering discipline, i.e., in analogue with the scientifically well founded methods and tools for mechanical construction. NES develops methods for constructing safetycritical real-time systems, ultimately capable of guaranteeing their multitude of requirements to be fulfilled.
Our division is very research and education intensive. The research has an internationally proved record of excellence in conducting high-quality research and a very productive graduate training program. All research is performed in projects with specific goals with respect to achievements, publications, collaborations, and prototype tools. A project typically has elements of both basic and applied research Equally important is the undergraduate education, where EAi s responsible for computer engineering related courses, with a particular focus on computer based real-time systems. We are responsible for the international Master Program in Intelligent Embedded Systems and Bachelor Program in Computer Network Engineering .
Guess and then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems (Jul 2024) Rong Gu, Zahra Moezkarimi, Marjan Sirjani 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024)
Requirements Similarity and Retrieval (Jul 2024) Muhammad Abbas, Sarmad Bashir, Mehrdad Saadatmand , Eduard Paul Enoiu, Daniel Sundmark
Enhancing Sensor Attack Detection and Mitigating Sensor Compromise Impact in a Switching-Based Moving Target Defense (Jun 2024) Anas Al-hashimi, Thomas Nolte, Alessandro Papadopoulos 22nd European Control Conference (ECC 2024)
Task Offloading in Edge-cloud Computing using a Q-Learning Algorithm (Jun 2024) Somayeh Abdi, Mohammad Ashjaei, Saad Mubeen The International Conference on Cloud Computing and Services Science (CLOSER 2024)
Exploring API behaviours through generated examples (Apr 2024) Stefan Karlsson, John Hughes , Robbert Jongeling, Adnan Causevic, Daniel Sundmark Software Quality Journal (Springer) (SQJ)
Evolution of an Automotive Modelling Language for Enhanced Support of Diverse Network Interface Controllers (Feb 2024) Alessio Bucaioni, Saad Mubeen International Conference on Artificial Intelligence, Control, Data Sciences and Applications 2024 (ACDSA 2024)