Eclipse plugin for Requirements Verification
keywords SAFETY, SOFTWARE DEVELOPMENT, SYSTEM ENGINEERING
Reference persons RICCARDO SISTO
Research Groups FORMAL METHODS FOR SOFTWARE ENGINEERING GROUP, NETGROUP
Thesis type RESEARCH, INNOVATIVE
Description In the development of critical software it is generally required to have clearly stated requirements. One possibility is to use formal or semi-formal notations for specifying requirements. Notations of this kind are available in UML-based modeling languages, such as SysML. In this language, requirements can be expressed using state machines and other similar behavior description models. Having these descriptions enables some kinds of automated analysis on requirements. For example, if requirement B has been derived from requirement A as a specialization of A, it is expected that a refinement relationship holds between the behavioral descriptions of A and B. Moreover, the existence of this relationship can be checked automatically.
An Eclipse environment for modelling with SysML has been recently extended with a plugin (written in Java) that automates the checking of requirements in SysML models. The aim of the thesis is to experiment with the use of this plugin on a real use case, in cooperation with CRF (Centro Ricerche Fiat), and to improve the functionalities and usability of the plugin itself.
A scholarship of 4000 euros is available for a student with high grades willing to pursue this thesis.
The thesis is a good opportunity to learn about Eclipse platform and Eclipse plugin development.It is also a good opportunity to get in touch with CRF and learn about system engineering and software engineering in the automotive world.
Required skills Good Java programming
Deadline 12/04/2014 PROPONI LA TUA CANDIDATURA