Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Carl Gamble"'
Publikováno v:
Urban Rail Transit, Vol 5, Iss 4, Pp 254-266 (2019)
Abstract This paper demonstrates a methodology for flexible, dynamic systems modelling relevant to urban rail decarbonisation. Decarbonisation of urban rail is a vital component of policy and strategy to minimize anthropogenic emissions. Decarbonisat
Externí odkaz:
https://doaj.org/article/1fab06a114a641988285e9ae6f4ca2f8
Publikováno v:
Proceedings of the Institution of Mechanical Engineers, Part F: Journal of Rail and Rapid Transit. 236:715-732
Simulation is an important tool to support rail decarbonisation but can be challenging due to heterogeneous models, simulation tools and skill sets, and concerns around intellectual property. Multi-modelling, a proven methodology in sectors such as a
Publikováno v:
Future Generation Computer Systems. 111:352-367
Data provenance is a structured form of metadata designed to record the activities and datasets involved in data production, as well as their dependency relationships. The PROV data model, released by the W3C in 2013, defines a schema and constraints
Publikováno v:
Ergonomics. 63:1027-1043
This article presents a position statement on using ergonomics in conjunction with the multi-modelling paradigm. Multi-modelling is a computational approach to combine models of systems and components for design and simulation of cyber physical syste
Autor:
Tom Bokhove, Kenneth Lausdahl, Jos Höll, Carl Gamble, Alachew Mengist, Christian F. J. König, Adrian Pop, Etienne Brosse, Oliver Möller
Publikováno v:
Linköping Electronic Conference Proceedings.
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030549961
FM Workshops (2)
FM Workshops (2)
Definitions of cyber-physical systems often include humans within the system boundary, however design techniques often focus on the technical aspects and ignore this important part of the system. Multi-modelling and co-simulation offer a way to bring
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::666dccc7cb5c71248a2c3b6362327705
https://doi.org/10.1007/978-3-030-54997-8_16
https://doi.org/10.1007/978-3-030-54997-8_16
Publikováno v:
INCOSE International Symposium. 28:1052-1066
Publikováno v:
Foldager, F, Balling, O, Boel, M, Gamble, C, Larsen, P G & Green, O 2018, Design Space Exploration in the Development of Agricultural Robots . in Proceedings of the EurAgEng 2018 . Wageningen, EurAgEng 2018, Wageningen, Netherlands, 08/07/2018 .
Aarhus University
Foldager, F, Balling, O, Boel, M, Gamble, C, Larsen, P G & Green, O 2018, Design Space Exploration in the Development of Agricultural Robots . in Book of Abstracts of the European Conference on Agricultural Engineering : AgEng2018 . Wageningen University, Wageningen, pp. 60-61, EurAgEng 2018, Wageningen, Netherlands, 08/07/2018 . https://doi.org/10.18174/471678
Aarhus University
Foldager, F, Balling, O, Boel, M, Gamble, C, Larsen, P G & Green, O 2018, Design Space Exploration in the Development of Agricultural Robots . in Book of Abstracts of the European Conference on Agricultural Engineering : AgEng2018 . Wageningen University, Wageningen, pp. 60-61, EurAgEng 2018, Wageningen, Netherlands, 08/07/2018 . https://doi.org/10.18174/471678
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b3b90ce5f9c73aa81f8a51e5d812c002
https://pure.au.dk/portal/da/publications/design-space-exploration-in-the-development-of-agricultural-robots(c0ed6a99-1012-4bc7-a742-4d1894c7779a).html
https://pure.au.dk/portal/da/publications/design-space-exploration-in-the-development-of-agricultural-robots(c0ed6a99-1012-4bc7-a742-4d1894c7779a).html
Publikováno v:
Living in the Internet of Things: Cybersecurity of the IoT - 2018.
Smart buildings are controlled by multiple cyber-physical systems that provide critical services such as heating, ventilation, lighting and access control. These building systems are becoming increasingly vulnerable to both cyber and physical attacks
Publikováno v:
Larsen, P G, Fitzgerald, J, Woodcock, J, Gamble, C, Payne, R & Pierce, K 2018, Features of integrated model-based co-modelling and co-simulation technology . in A Cerone & M Roveri (eds), Software Engineering and Formal Methods-SEFM 2017 Collocated Workshops : DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers . vol. 10729, Springer, Lecture Notes in Computer Science, vol. 10729, pp. 377-390, 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Trento, Italy, 04/09/2017 . https://doi.org/10.1007/978-3-319-74781-1_26
Larsen, P G, Fitzgerald, J S, Woodcock, J, Gamble, C, Payne, R & Pierce, K 2017, Features of Integrated Model-based Co-modelling and Co-simulation Technology . in 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems : CoSim-CPS-A satellite event of SEFM2017 ., 1, Trento, Trento, Italy, 05/09/2017 .
Software Engineering and Formal Methods ISBN: 9783319747804
SEFM Workshops
Aarhus University
Larsen, P G, Fitzgerald, J, Woodcock, J, Gamble, C, Payne, R & Pierce, K 2018, Features of Integrated Model-Based Co-modelling and Co-simulation Technology . in A Cerone & M Roveri (eds), Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers . Springer, Lecture Notes in Computer Science, vol. 10729, Programming and Software Engineering, vol. 10729, pp. 377-390, 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Trento, Italy, 04/09/2017 . https://doi.org/10.1007/978-3-319-74781-1_26
Larsen, P G, Fitzgerald, J S, Woodcock, J, Gamble, C, Payne, R & Pierce, K 2017, ' Features of Integrated Model-based Co-modelling and Co-simulation Technology ', Paper presented at 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italy, 05/09/2017 . < https://drive.google.com/open?id=0B2ej7mC7hWVrMEM0bjNqbWc1a0k >
Larsen, P G, Fitzgerald, J S, Woodcock, J, Gamble, C, Payne, R & Pierce, K 2017, Features of Integrated Model-based Co-modelling and Co-simulation Technology . in 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems : CoSim-CPS-A satellite event of SEFM2017 ., 1, Trento, Trento, Italy, 05/09/2017 .
Software Engineering and Formal Methods ISBN: 9783319747804
SEFM Workshops
Aarhus University
Larsen, P G, Fitzgerald, J, Woodcock, J, Gamble, C, Payne, R & Pierce, K 2018, Features of Integrated Model-Based Co-modelling and Co-simulation Technology . in A Cerone & M Roveri (eds), Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers . Springer, Lecture Notes in Computer Science, vol. 10729, Programming and Software Engineering, vol. 10729, pp. 377-390, 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Trento, Italy, 04/09/2017 . https://doi.org/10.1007/978-3-319-74781-1_26
Larsen, P G, Fitzgerald, J S, Woodcock, J, Gamble, C, Payne, R & Pierce, K 2017, ' Features of Integrated Model-based Co-modelling and Co-simulation Technology ', Paper presented at 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italy, 05/09/2017 . < https://drive.google.com/open?id=0B2ej7mC7hWVrMEM0bjNqbWc1a0k >
Given the considerable ongoing research interest in collaborative multidisciplinary modelling and co-simulation, it is worth considering the features of model-based techniques and tools that deliver benefits to cyber-physical systems developers. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a772dfd66114c831ba13e2b77f5d6c6
https://pure.au.dk/portal/da/publications/features-of-integrated-modelbased-comodelling-and-cosimulation-technology(37cb6d0e-f503-4be2-b151-7f69919855d9).html
https://pure.au.dk/portal/da/publications/features-of-integrated-modelbased-comodelling-and-cosimulation-technology(37cb6d0e-f503-4be2-b151-7f69919855d9).html