| CARVIEW |
Select Language
HTTP/2 301
server: nginx/1.24.0 (Ubuntu)
date: Sat, 17 Jan 2026 01:21:02 GMT
content-type: text/html; charset=iso-8859-1
content-length: 244
location: https://fm.fbk.eu/projects/castorone/
strict-transport-security: max-age=31536000; includeSubDomains
HTTP/1.1 301 Moved Permanently
Server: nginx/1.24.0 (Ubuntu)
Date: Sat, 17 Jan 2026 01:21:03 GMT
Content-Type: text/html
Content-Length: 178
Connection: keep-alive
Location: https://fm.fbk.eu/projects/castorone/
HTTP/2 200
server: nginx/1.24.0 (Ubuntu)
date: Sat, 17 Jan 2026 01:21:03 GMT
content-type: text/html
content-length: 2376
last-modified: Wed, 07 Jan 2026 16:11:17 GMT
etag: "1f3c-647ce8acbe010-gzip"
accept-ranges: bytes
vary: Accept-Encoding
content-encoding: gzip
strict-transport-security: max-age=31536000; includeSubDomains
CASTORONE | Formal Methods for Systems and Software Design Unit
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
Recent Posts
-
New project with RFI: ACC3-OPERA
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics (2nd call)
-
New Software Developer Position for ACC3
-
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