The Systems and Software Development Lab (SSDL) in the Computer Science Department of the Technion provides sophisticated computing facilities for advanced undergraduate courses and projects, graduate thesis projects, and research related to systems and software development.
Since it was established SSDL has become the flagship focus of teaching and research activity concerning software engineering, hardware and software verification, and methodologies for system development in the Computer Science Department. In particular, the lab presents the center of the department’s prestigious and highly competitive software engineering track.
The faculty members in SSDL are committed to the objective of systems quality, and we believe that much of the education in the software engineering track is essential to convert eager and capable students into brilliant and successful engineers.
We support about six hundred students in the regular undergraduate courses and projects (Software Engineering Track Final Project, IoT Project and Android Project), and about twenty five research students (MSc. and PhD). The graduate research projects include formal verification, static code analysis, aspects, language support, managing data on the world-wide web, software engineering and software quality, managing geo-spatial data, processing Big Data, and related research projects on programming and development methodologies.
- Maintain technological leadership and relevancy in a rapidly-changing technological world by using appropriate software tools and suitable software engineering techniques
- Support a research that deals with emerging state-of-the-art technologies
- Provide facilities for student training in undergraduate and graduate courses in the Software Engineering Track
- Encourage collaboration with Israeli industry active in the our laboratory’s fields
- Keep on close collaboration between the faculty and our graduate students
A European Network of Excellence on aspects, supported by the European Union, has its formal methods activities centered in SSDL. The multi-year VeriTech project to translate among formal methods tools was also developed in SSDL.
Currently, projects on compositional model checking, preserving correctness under weak memory models, and verification for aspects are run in the lab.
In recognition of emerging trends, we offer projects on platforms such as mobile phones, tablets and IoT devices. In particular we are in the process of converting student projects to modern platforms and architectures such as Windows 8, Android and Arduino.
Our major project fields are:
Software Engineering Track Final Project: a yearlong project taken in the fourth year by all students majoring in this track. This is the pinnacle course of the software engineering track, where the students gain project design and software engineering skills and use agile software development methodologies. Approximately 60 students take this course each year. The last year projects can be seen here.
IoT Project: a semestrial project combined with a theoretical course. The project is performed by teams of 3 students, based on IoT devices (currently Arduino). Approximately 50-60 students take this course each year. The last semester projects can be seen here.
Android Project: a semestrial project and theoretical course. The project is performed by teams of 3 students, based on Android devices (mostly Nexus). Approximately 50-60 students take this course each year. The last semester projects can be seen here.
Our laboratory conducts joint projects with the industry. The projects are tailored to fit the needs and requirements of our industrial partners and performed by our students.
Both students and the industry benefit from this exposure. Our lab is the center of the department’s prestigious and highly competitive software engineering track.
We support about six hundred students in the regular undergraduate courses and projects (Software Engineering Track Final Project, IoT Project and Android Project), and about twenty five research students (MSc. and PhD).