The Raspberry Pi allows for the possibility of near true bare machine projects for embedded systems. In a bare machine project, there is no level of software intervening between the developer and the hardware of the system. Many projects are possible using the input/output devices of the Raspberry Pi such as the serial port, GPIO and even video core, camera and display interfaces. These projects would use the ability of GCC to perform cross compilation. The projects might integrate an FPGA development board, such as the DE2, for additional flexible hardware.
The ANTLR system allows the rapid development of language parsers. It is used in many tools and pre-defined open source grammars are available for a wide variety of languages. There is no support for the integration of Eclipse with recent versions of ANTLR. This project would use one of the older Eclipse aspects for ANTLR to provide current support for the editing and development of ANTLR projects mixed with Java™ and C in Eclipse;
The Eclipse IDE supports projects in many software development languages, but has no direct support for hardware design projects. In this project we would develop a project type for Eclipse that integrates the Altera™ tool chain into Eclipse. This assumes that at least one of the VHDL™, Verilog™ or SystemC™ aspect projects is completed or is part of the SMP.
In short this project would develop an Eclipse plug-in to integrate with the Altera™ design tools and support the integration of other tool chains.
The Eclipse IDE lacks an open-source mode for VHDL™. In this project we would develop a mode for VHDL™ allowing the editing of projects containing VHDL™ files.
The Eclipse IDE lacks an open-source mode for Verilog™ also. Verilog™ is now the dominant language for register-transfer level (RTL) design representations. In this project we would develop an aspect for Verilog™ allowing the editing of projects containing files in Verilog™.
The Eclipse IDE lacks an open-source mode for SystemC. SystemC is the dominant language for hardware/software co-design and systems-on-a-chip (SoC) design. It is presented as a library for the C++ language. As such it is widely used in the design of embedded systems. In this project we would develop an aspect for SystemC allowing the editing of projects containing SystemC files.
A significant problem with theorem provers and proof assistants is the complexity of the proofs that they generate. As with all complexity, we can manage this through abstraction. In this project, we would develop the equivalent of a folding editor for mathematical proofs generated by one of these systems and integrate it with Eclipse. In effect, this would be an Eclipse plug-in for a proof assistant.