A monitoring tool which analyses Ethernet traffic and can read Ethernet packets, performs real-time analysis and displays the results on a 480x272 touch panel. It runs on a STM32F746 board and its interface can filter results at different levels and report various types of information.
A framework to develop control software for the NXP cup race car. The development system is a miniature race car chassis coupled with a FRDM-KL25Z board and a TFC-shield board. The car kit includes two DC motors for the rear wheels, a steering servo for the front wheels and a line scan camera.
The target was a Nordic Semiconductor nRF51822 System-on-a-Chip (a Cortex-M0 part with integrated 2.4GHz Radio) with a custom development board.
The Ada and SPARK languages have a long and successful track record for building reliable, safe and secure software. This competition aims to increase awareness of these benefits by encouraging the use of Ada and SPARK in new projects; entrants will have an opportunity to be rewarded for their efforts with prizes totaling more than 8000€ in value.
For the project best meeting the dependability criterion.
For the project best meeting the inventiveness criterion.
Does the project demonstrate out-of-the-box thinking, does it bring new solutions to an existing problem, or offer existing solutions to a novel problem?
Is the project usable by other members of the programming community? Does it have clearly-defined interfaces and documentation? A public repository through a version control system such as svn or git? A bug tracking system? Can it be built with tools available to the community?
Does the project make use of processes and technologies that contribute to high confidence that the software meets its requirements (for example formal methods, contract-based programming, testing, and coding standards)? Is its documentation accurate?
Does the project have a Free Software License, as defined by the Free Software Foundation, or does it have an open-source license, as defined by the Open Source Initiative? Does it have an open design? Does it use open tools, hardware and platforms?
You may participate in the competition only as an individual or team of individuals; organizations (for example commercial enterprises) are not eligible.
A team will consist of one registered leader who creates and manages the application and up to 3 additional team members.
You can include any programing language you want, but the project will be judged on the Ada/SPARK part.
The project must be clearly documented in English on the official project log. Access to the log will be provided upon approval of your initial project submission.
Your project must make an original contribution; the reuse of third-party components such as pre-existing libraries is permitted but must be documented as such.
The target processor must be ARM Cortex M or R.