The Mars-Rover Case Study Modelled Using INTO-CPS

Sergio  Feo-Arenis; Marcel Verhoef; Peter Gorm Larsen

The Mars-Rover Case Study Modelled Using INTO-CPS

Sergio Feo-Arenis, Marcel Verhoef, Peter Gorm Larsen

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

679 Downloads (Pure)

Original language	English
Title of host publication	The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering : Proceedings
Editors	J.S. Fitzgerald, P.W.V. Tran-Jørgensen, T. Oda
Number of pages	15
Publisher	Newcastle University
Publication date	Sept 2017
Pages	130-144
Publication status	Published - Sept 2017
Event	THE 15TH OVERTURE WORKSHOP: New Capabilities and Applications for Model-based Systems Engineering - Room 4.005, Urban Sciences Building, Science Central, Newcastle upon Tyne, United Kingdom Duration: 15 Sept 2017 → … http://overturetool.org/workshops/15th-Overture-Workshop.html

Workshop

Workshop	THE 15TH OVERTURE WORKSHOP
Location	Room 4.005, Urban Sciences Building, Science Central
Country/Territory	United Kingdom
City	Newcastle upon Tyne
Period	15/09/2017 → …
Internet address	http://overturetool.org/workshops/15th-Overture-Workshop.html

Series	University of Newcastle-upon-Tyne. Computing Science. Technical Report Series
Volume	CS-TR-1513
ISSN	1368-1060

Access to Document

feo-arenisFinal published version, 5.41 MBLicence: Unspecified

Library access?

Check availability with the Royal Danish Library

INTO-CPS: Integrated Tool Chain for Model-based Design of Cyber-Physical Systems
Larsen, P. G. (Participant), Hallerstede, S. (Participant), Tran-Jørgensen, P. W. V. (Participant), Lausdahl, K. (Participant), Couto, L. D. (Participant), Thule, C. (Participant) & Hasanagic, M. (Participant)
01/01/2015 → 31/12/2017
Project: Research

Cite this

Feo-Arenis, Sergio ; Verhoef, Marcel ; Larsen, Peter Gorm. / The Mars-Rover Case Study Modelled Using INTO-CPS. The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings. editor / J.S. Fitzgerald ; P.W.V. Tran-Jørgensen ; T. Oda. Newcastle University, 2017. pp. 130-144 (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Vol. CS-TR-1513).

@inproceedings{c7bdaae50082442db294a2e90a186038,

title = "The Mars-Rover Case Study Modelled Using INTO-CPS",

author = "Sergio Feo-Arenis and Marcel Verhoef and Larsen, \{Peter Gorm\}",

note = "This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.; THE 15TH OVERTURE WORKSHOP ; Conference date: 15-09-2017",

year = "2017",

month = sep,

language = "English",

series = "University of Newcastle-upon-Tyne. Computing Science. Technical Report Series",

publisher = "Newcastle University",

pages = "130--144",

editor = "J.S. Fitzgerald and P.W.V. Tran-J{\o}rgensen and T. Oda",

booktitle = "The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering",

url = "http://overturetool.org/workshops/15th-Overture-Workshop.html",

}

Feo-Arenis, S, Verhoef, M & Larsen, PG 2017, The Mars-Rover Case Study Modelled Using INTO-CPS. in JS Fitzgerald, PWV Tran-Jørgensen & T Oda (eds), The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings. Newcastle University, University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, vol. CS-TR-1513, pp. 130-144, THE 15TH OVERTURE WORKSHOP, Newcastle upon Tyne, United Kingdom, 15/09/2017.

The Mars-Rover Case Study Modelled Using INTO-CPS. / Feo-Arenis, Sergio ; Verhoef, Marcel; Larsen, Peter Gorm.
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings. ed. / J.S. Fitzgerald; P.W.V. Tran-Jørgensen; T. Oda. Newcastle University, 2017. p. 130-144 (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Vol. CS-TR-1513).

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - The Mars-Rover Case Study Modelled Using INTO-CPS

AU - Feo-Arenis, Sergio

AU - Verhoef, Marcel

AU - Larsen, Peter Gorm

N1 - This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.

PY - 2017/9

Y1 - 2017/9

M3 - Article in proceedings

T3 - University of Newcastle-upon-Tyne. Computing Science. Technical Report Series

SP - 130

EP - 144

BT - The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering

A2 - Fitzgerald, J.S.

A2 - Tran-Jørgensen, P.W.V.

A2 - Oda, T.

PB - Newcastle University

T2 - THE 15TH OVERTURE WORKSHOP

Y2 - 15 September 2017

ER -

Feo-Arenis S, Verhoef M, Larsen PG. The Mars-Rover Case Study Modelled Using INTO-CPS. In Fitzgerald JS, Tran-Jørgensen PWV, Oda T, editors, The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings. Newcastle University. 2017. p. 130-144. (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Vol. CS-TR-1513).

The Mars-Rover Case Study Modelled Using INTO-CPS

Workshop

Access to Document

Library access?

Projects

INTO-CPS: Integrated Tool Chain for Model-based Design of Cyber-Physical Systems

Cite this