Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Luis Diogo Couto"'
Publikováno v:
Couto, L D, Tran-Jørgensen, P W V, Nilsson, R S & Larsen, P G 2020, ' Enabling continuous integration in a formal methods setting ', International Journal on Software Tools for Technology Transfer, vol. 22, no. 6, pp. 667-683 . https://doi.org/10.1007/s10009-019-00546-y
In modern software development, the practices of continuous integration and DevOps are widely used to increase delivery speed and reduce the time it takes to deploy software changes to production. If formal method tools cannot be efficiently integrat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::23ec9fb204d80df7597e5145ac071646
https://pure.au.dk/portal/da/publications/enabling-continuous-integration-in-a-formal-methods-setting(0dd1df8b-edab-4546-99e0-b2eca96cace3).html
https://pure.au.dk/portal/da/publications/enabling-continuous-integration-in-a-formal-methods-setting(0dd1df8b-edab-4546-99e0-b2eca96cace3).html
Autor:
Alie El-Din Mady, Stylianos Basagiannis, El Hassan Ridouane, Miran Hasanagić, Luis Diogo Couto, Peter Gorm Larsen
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783319747804
SEFM Workshops
SEFM Workshops
Model-based design tools supporting the Functional Mockup Interface (FMI) standard, often employ specification languages ideal for modelling specific domain problems without capturing the overall behavior of a Cyber-Physical System (CPS). These tools
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f45ca55dd381d2e269e7f7d8d89adfc4
https://doi.org/10.1007/978-3-319-74781-1_20
https://doi.org/10.1007/978-3-319-74781-1_20
Autor:
Stylianos Basagiannis, Erica Zavaglio, El Hassan Ridouane, Pasquale Antonante, Sara Falleni, Hajer Saada, Luis Diogo Couto
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems ISBN: 9783030034238
ISoLA (3)
ISoLA (3)
Model-Based Design is an effective way to carry out Cyber-Physical Systems (CPS) development. One of the main sets of challenges in CPS projects is dealing with the highly heterogeneous nature of the development teams. These challenges can be brought
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4d135f8338ebe360ac7b5a398bfaa472
https://doi.org/10.1007/978-3-030-03424-5_33
https://doi.org/10.1007/978-3-030-03424-5_33
Publikováno v:
Ingram, C, Payne, R, Fitzgerald, J & Couto, L D 2015, ' Model-based Engineering of Emergence in a Collaborative SoS: Exploiting SysML & Formalism ', The 25th Anniversary INCOSE International Symposium, Seattle, WA, United States, 13/07/2015-16/07/2015 . < http://events.incose.org/sessiondetail_921 >
Ingram, C, Payne, R, Fitzgerald, J & Monteiro Duarte Couto, L D 2015, Model-based Engineering of Emergence in a Collaborative SoS: Exploiting SysML & Formalism . University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, vol. CS-TR-1449, vol. CS-TR-1449, University of Newcastle upon Tyne, Computing Science, Newcastle upon Tyne . < http://www.cs.ncl.ac.uk/publications/trs/papers/1449.pdf >
Ingram, C, Payne, R, Fitzgerald, J & Monteiro Duarte Couto, L D 2015, Model-based Engineering of Emergence in a Collaborative SoS: Exploiting SysML & Formalism . University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, vol. CS-TR-1449, vol. CS-TR-1449, University of Newcastle upon Tyne, Computing Science, Newcastle upon Tyne . < http://www.cs.ncl.ac.uk/publications/trs/papers/1449.pdf >
A collaborative SoS is a system composed of constituent systems (CSs), which are independent and voluntarily cooperate without an agreed SoS director. Engineering emergent behaviour is just one of the key engineering challenges for which support is n
Publikováno v:
Advances in Intelligent Systems and Computing ISBN: 9783319698311
SIMULTECH (Selected Papers)
SIMULTECH (Selected Papers)
Planning systems for harvest operations need to employ complex algorithms to calculate various aspects of the harvest plan such as the order in which to harvest field rows or when and where to unload harvesters. In traditional modelling and simulatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb0fbc08248a462d88ed75f1e66d4b81
https://doi.org/10.1007/978-3-319-69832-8_2
https://doi.org/10.1007/978-3-319-69832-8_2
Publikováno v:
Couto, L D, Lausdahl, K G, Plat, N, Larsen, P G & Pierce, K 2016, Decoupling validation UIs using Publish-Subscribe binding of instance variables in Overture . in P G Larsen, N Plat & N Battle (eds), The 14th Overture Workshop: Towards Analytical Tool Chains : Electrical and Computer Engineering . vol. 4/28, Aarhus University, Department of Engineering, Technical report ECE-TR-28, pp. 123-136, The 14th Overture Workshop, Limassol, Cyprus, 07/11/2016 . < http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669 >
Aarhus University
Aarhus University
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b5a92cd282b49125e64764504449d859
https://pure.au.dk/ws/files/105113336/Decoupling_validation_UIs_using_Publish_Subscribe_binding_of_instance.pdf
https://pure.au.dk/ws/files/105113336/Decoupling_validation_UIs_using_Publish_Subscribe_binding_of_instance.pdf
Autor:
Peter Gorm Larsen, Casper Thule, Kenneth Guldbrandt Lausdahl, Victor Bandur, Carl Gamble, Etienne Brosse, Andrey Sadovykh, Alessandra Bagnato, Luis Diogo Couto
Publikováno v:
Larsen, P G, Thule, C, Lausdahl, K G, Bandur, V, Gamble, C, Brosse, E, Sadovykh, A, Bagnato, A & Couto, L D 2016, Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems . in P G Larsen, N Plat & N Battle (eds), The 14th Overture Workshop: Towards Analytical Tool Chains : Technical report ECE-TR-28 . vol. 4/28, Aarhus University, Department of Engineering, Aarhus, Technical report ECE-TR-28, pp. 63-79, The 14th Overture Workshop, Limassol, Cyprus, 07/11/2016 . < http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669 >
Aarhus University
Aarhus University
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ee3cbd3cb6be777d5140905fe3e28436
https://pure.au.dk/portal/da/publications/integrated-tool-chain-for-modelbased-design-of-cyberphysical-systems(bad814f1-7c32-484d-a81e-d696328de5e9).html
https://pure.au.dk/portal/da/publications/integrated-tool-chain-for-modelbased-design-of-cyberphysical-systems(bad814f1-7c32-484d-a81e-d696328de5e9).html
Autor:
Alessandra Bagnato, Imran Rafiq Quadri, Andrey Sadovykh, Luis Diogo Couto, Stylianos Basagiannis, Alie El-Din Mady, Miran Hasanagić
Publikováno v:
CEE-SECR 16 Proceedings of the 12th Central and Eastern European Software Engineering Conference in Russia
Current approaches to building Cyber Physical systems including Energy Management Systems (EMS) design often rely on large monolithic models to represent the EMS. These models are typically abstract and simple to aid with performance. However, they c
Publikováno v:
Couto, L D, Tran-Jørgensen, P W V & Edwards, G T C 2016, Combining Harvesting Operation Optimisations using Strategy-based Simulation . in Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications : SIMULTECH 2016 . SCITEPRESS Digital Library, pp. 25-32, SIMULTECH 2016, Lisbon, Portugal, 29/07/2016 . https://doi.org/10.5220/0005932900250032
SIMULTECH
SIMULTECH
Modelling and simulation assist in decision support or planning activities by allowing efficient exploration of multiple scenarios in a situation where testing in a real setting is impractical. This exploration is often done by varying numerical para
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2de8888faf2880283971539406819415
https://pure.au.dk/portal/da/publications/combining-harvesting-operation-optimisations-using-strategybased-simulation(c681f980-67c1-4d86-b462-eb41d4b59da3).html
https://pure.au.dk/portal/da/publications/combining-harvesting-operation-optimisations-using-strategybased-simulation(c681f980-67c1-4d86-b462-eb41d4b59da3).html
Autor:
Luis Diogo Couto
Modern software systems often have long lifespans over which they must continually evolve to meet new, and sometimes unforeseen, requirements. One way to effectively deal with this is by developing the system as a series of extensions. As requirement
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8592a5a3951918f50a047f2eb4916afd
https://doi.org/10.7146/aul.118.106
https://doi.org/10.7146/aul.118.106