Explore ComMA, A Software Interface Validation Environment

Introduction

The NXP Product Line Personal Health, headquartered in Leuven, develops application specific ICs used in hearing aids & implants, Wireless headsets & earbuds and personal health monitoring applications. Next to ICs, we develop, maintain and support CoolFlux DSP. Personal Health not only develops the silicon, we also create the embedded software applications.

The Assignment

ComMA is a software interface validation toolchain. The ComMA toolchain provides a Domain Specific Language to describe properties of software interfaces. Once the properties of a few interfaces have been described, aspects of the system can be validated before any code has been written. Based on the captured information, documentation can be generated.

The first goal of the assignment is to install the toolchain and reverse engineer a ComMA description of some Software Interfaces of an existing software system. The second goal is to demonstrate the functionality of the toolchain to assess the usefulness for our Product Line in NXP.

The assignment will: • offer an opportunity to learn more about formal specification of software interfaces • offer opportunities to interact with the team who created the tool and who is still maintaining the tool. • allow you to learn how highly-optimized embedded software is developed.

The internship or student job assignment is planned for 6 to 8 weeks full-time. It will be impossible to cover all aspects of the topic in one or a few months, but meaningful first steps may be taken.

A few articles about the topic are under the links below: https://bits-chips.nl/artikel/improving-interface-specifications-with-comma/ https://bits-chips.nl/artikel/comma-interfaces-open-the-door-to-reliable-high-tech-systems/ The home page of the tool is: https://esi.nl/research/output/tools/comma

Profile of the student : You are a Bachelor or Master student in (Industrial) Engineering with a passion for software and an interest in formal specification of software. You have good communication skills and you master the English language.

Master

Computer Science Engineering, Electrical Engineering

Sector

Electronics

Locatie

Flemish Brabant

Stad

Leuven

Voordelen

learning on the job

Gezocht Profiel

Profile of the student : You are a Bachelor or Master student in (Industrial) Engineering with a passion for software and an interest in formal specification of software. You have good communication skills and you master the English language.

Mail