The imec-DistriNet research group is part of the Department of Computer Science at KU Leuven and part of the imec High Impact Initiative Distributed Trust. The general domain of expertise and innovation of DistriNet is the development of open software for advanced applications. imec-DistriNet was founded in 1984 and has built up experience and expertise in complex software systems since. The research has expanded from pure distributed operating systems to support platforms for distributed applications. Currently the DistriNet group works on a wide range of problems involving computer networks, middleware, distributed systems, embedded systems, multi-agent systems, security and internet middleware.
Quality assurance for software frameworks in evolution - a case for software resilience
A recent report on "Current and future challenges of software engineering for services and applications" stresses the importance as well as challenges of (1) software quality assurance, (2) lifecycle management, and (3) software design. This research position tackles these issues from a specific perspective.
Quality assurance in evolving software frameworks
A software framework is a design and implementation artefact that provides a software architecture, design and code (frozen spots) for a specific application domain, with foreseeable extensions for application-specific customisations (hot spots). But similar to 'regular' products and services, frameworks are susceptible to frequent change, due to:
In this research, you will study agile development and evolution of software frameworks. Topics in the research may include:
Context: resilient embedded software in the presence of bit flips
The research will be guided and inspired by a concrete use case. Through the years, we have been developing components and algorithms for resilience of software for embedded systems. Embedded systems in real and possibly harsh environments are susceptible to external disturbances, which can lead to bit-flips. Such bit-flips lead to run-time errors in the embedded software, such as control flow errors (CFE) and data flow errors (DFE).
Software-implemented resilience techniques enable detecting these run-time errors and taking corrective actions. Tailored tools allow e.g. for code generation as a compiler plug-in, evaluation through fault injection, simulation, support for various hardware platforms.
These assets make an interesting body of knowledge that may be helpful for external parties, both industry and research.
A well-thought software framework that supports evolution should enable a rigorous and flexible engineering approach for integrating new techniques and algorithms, and for tailor solutions for software (1) with application-specific characteristics, and (2) that executes on specific platforms under particular environmental conditions.
If you share our strong interest in software engineering and if you have
then you may be the researcher we are looking for!
Expertise with engineering non-trivial software systems, formal methods or embedded software development are a plus.
We offer a 4 year PhD position in a internationally renowned research group.
You will work in a supportive and collaborative team in which you can develop know-how and expertise in state-of-the-art technologies.
You get the opportunity to build up research and innovation skills that are essential for a future career in industrial as well as academic research and development environments,
Vul contactpersonen aan in stap 1 "Context vacature" en hergenereer deze tekst.
You can apply for this job no later than December 22, 2021 via the online application tool
KU Leuven seeks to foster an environment where all talents can flourish, regardless of gender, age, cultural background, nationality or impairments. If you have any questions relating to accessibility or support, please contact us at diversiteit.HR@kuleuven.be.
(ref. BAP-2021-212) The Institute of Astronomy (IoA) of KU Leuven is a young and vibrant research group of some 80 scientists, engineers, and administrative staff, including 6 full-time and 3 part-time professors. The institute is an expertise cen...
(ref. BAP-2021-502) Last modification : Monday, June 21, 2021 The Ameloot group is part of the KU Leuven Centre for Membrane Separations, Adsorption, Catalysis, and Spectroscopy (cMACS), which counts 6 PIs and >100 members. The study of por...
(ref. ZAP-2021-45) In the Science, Engineering and Technology Group, Faculty of Engineering Technology, Department of Electrical Engineering (ESAT), Campus Diepenbeek at KU Leuven, a full-time vacancy for academic staff or tenure track (professor)...
(ref. BAP-2021-643) KU Leuven consistently ranks among the top 50 universities in the world by major ranking tables with the Department of Mechanical Engineering being ranked amongst the 40 best worldwide. For three years in a row, Thomson Reuters...
(ref. BAP-2021-699) Last modification : Tuesday, September 14, 2021 Itec is a research group at KU Leuven and imec, Flanders’ high-tech research and innovation hub for nanoelectronics and digital technologies. On the campus Kortrijk of the K...
KU Leuven is an autonomous university. It was founded in 1425. It was born of and has grown within the Catholic tradition.Visit the employer page