Bachelor and Master Theses
| Title: | Safety and security analysis in industrial system models |
| Subject: | Computer science, Embedded systems, Robotics, Software engineering, Dependable Aeronautics and aerospace |
| Level: | Advanced |
| Description: |
Background At early stages of development, it is typical that various system models are used to iterativly describe and refine the system in a top-down manner, in processes like the V-model. By using models, it becomes possible to utilize sophisticated analytical methods early in the design/requirements stages. Some important aspect in many industrial segments is safety and security, where it is vital to make sure that there is no issue with the design as soon as possible to save potential costs associated with error mitigation. However, typical models created at early stages cannot be analyzed directly but requires some extension to get meaningful analysis. Tasks The student(s) will investigate how models defined in languages like UML/SysML can be extended and eventually transformed to the Rebeca language for safety and/or security analysis. The thesis is based on an industrial use case provided by Volvo Construction Equipment and the student(s) will work closely with industrial problems. |
| Start date: | |
| End date: | |
| Prerequisites: |
No specifal prerequistie is required, but knowledge in SysML/UML modelling is good and experience using Eclipse. |
| IDT supervisors: | Johan Cederbladh |
| Examiner: | |
| Comments: | |
| Company contact: |