CASTORONE
The project was financed by an oil-and-gas company for the realization of a planner for a pipelaying vessel. The task of the planner is to organize the work onboard the pipelaying ship where precise timing and ordering of operations are needed for the construction of an undersea pipe. Within this project we designed a domain-dependent planner to cope with huge size of the planning problems to be addressed. The resulting planner leverages the structure of the ship to quickly find plans for nominal and off-nominal situations.
General Info
Start Date: 1 Jan 2012
End Date: 31 Dec 2014
Funding: Private company
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics
-
VAIPOSA Kick Off Meeting
-
New Software Developer Position in the Field of Formal Methods
-
Distinguished artifact award at TACAS conference