[aadl]: Fwd: Available PhD position, “Safe and Secure Real-Time Architecture for Dynamic Positioning of maritime platform”

[frank singhoff]

Hello,

A Phd position about  AADL modeling & analysis of maritime devices

BR
Frank



-------- Message transféré --------
Sujet : 	Available PhD position, “Safe and Secure Real-Time Architecture 
for Dynamic Positioning of maritime platform”
Date : 	Wed, 27 Jun 2018 22:02:09 +0200
De : 	frank singhoff <singhoff at univ-brest.fr>
Répondre à : 	frank singhoff <singhoff at univ-brest.fr>
Pour : 	cheddar at listes.univ-brest.fr



*PhD position, “Safe and Secure Real-Time Architecture for Dynamic 
Positioning*

*of maritime platform”*

*Lab-STICC, MOCS team, CNRS, UBO, Brest, France.*

*D-ICE ENGINEERING,*www.dice-engineering.com 
<http://www.dice-engineering.com/>

Available on autumn 2018 for three years

*Context*:

Dynamic positioning (DP) is a computer-controlled system to 
automatically maintain a vessel’s position and heading by using its own 
propellers and thrusters. Position reference sensors, combined with wind 
sensors, motion sensors and gyrocompasses, provide information to the 
computer pertaining to the vessel’s position and the magnitude and 
direction of environmental forces affecting its position. Due to the 
high costs for operation and maintenance in the offshore industry, many 
utility companies and marine owners are focusing on costs reduction for 
operation and maintenance.

To face reduce cost maintenance, the DP systems design require to work 
on architecture models and to proceed to the verification activities at 
the earliest stages of the development life-cycle. We propose in this 
PhD to focus on the criticality of a DP system and to investigate in 
themitigation ofthe errors, while keeping real-time schedule of the system.

*Project*:

In this thesis, we propose to handle these issues through:

·a model-based analysis of the system based on the safety/security 
failures of Dynamic Positioning system in order to evaluate its 
criticality level

·optimization schemes of the Dynamic Positioning System architecture of 
the system in order to achieve a certain criticality level under 
performance constraints. For instance, hardware redundancy patterns can 
be applied on specific sub-system or component for this goal

·an analysis of the performance of the safe and secure designs proposed 
during the thesis, i.e. to verify that any functions of the systems are 
able to meet its temporal requirements.

The validation of the proposals will be driven by failure scenarios 
provided by the industrial contextdefined by the D-ICE ENGINEERING and 
the Ellidiss Technologies companies. This project is also part of the 
joint work on safety/security models between the university of Sao 
Paulo/Brazil (USP) and the Lab-STICC/MOCS.

*Expected results*

·Tool prototypes for the safety, security and performance analysis of 
the DP systems

·Safety and real-time scheduling analysis methods.

·Modeling guidelines

·Publications to Dynamic Positioning Conferences and software/real-time 
architecture and safety/sccurity conferences and journals.

*Contacts to apply*

Catherine Dezan: Associate Professor, Lab-STICC, UBO, Brest, 
Catherine.Dezan at univ-brest.fr 
<mailto:Catherine.Dezan at univ-brest.fr>tel:+33298016973

Frank Singhoff, Professor, Lab-STICC, UBO, Brest, 
Frank.Singhoff at univ-brest.fr 
<mailto:Frank.Singhoff at univ-brest.fr>tel:+33298016211

To apply, please provide:

-Your CV

-Your marks and rank for the Master degree

-A motivation Letter

-Recommendations letter from teachers or internship advisor

*Practical info *

PhD funded by a CIFRE contract between D-ICE engineering and Lab-STICC.

PhD Location: Brest (Lab-STICC/UBO) and Nantes (D-ICE engineering). 
Occasional visits to the different partners, both industrial (Ellidiss 
technologies) and academics (USP, Brazil)

Deadline for the application: 10 july 2018






-- 
-------
MOCS Team, Lab-STICC UMR CNRS 6285
Univ. Brest, Faculty of sciences
Phone : +33 298016211

-------------- next part --------------
HTML attachment scrubbed and removed