Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Asieh Salehi Fathabadi"'
Autor:
Asieh Salehi Fathabadi, Colin Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael Butler
Publikováno v:
Rigorous State-Based Methods ISBN: 9783031331626
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::de217df94c66b86b663084ad1ba2afe7
https://doi.org/10.1007/978-3-031-33163-3_17
https://doi.org/10.1007/978-3-031-33163-3_17
Publikováno v:
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops ISBN: 9783031262357
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5895ff67839c25be8999928831fb77ac
https://doi.org/10.1007/978-3-031-26236-4_11
https://doi.org/10.1007/978-3-031-26236-4_11
Publikováno v:
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops ISBN: 9783031262357
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33d0901b6b7226714831a5cdf9e7c235
https://doi.org/10.1007/978-3-031-26236-4_16
https://doi.org/10.1007/978-3-031-26236-4_16
Publikováno v:
Advances in Model and Data Engineering in the Digitalization Era ISBN: 9783031231186
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::176d9759c4da9e46a9930c6e8f24655d
https://doi.org/10.1007/978-3-031-23119-3_13
https://doi.org/10.1007/978-3-031-23119-3_13
Publikováno v:
Rigorous State-Based Methods ISBN: 9783030775421
ABZ
ABZ
We present the CamilleX framework for the Rodin platform in this paper. The framework provides a textual representation and persistence for the Event-B modelling constructs. It supports direct extensions to the Event-B syntax such as machine inclusio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c9340212b627d1996dbdfb02aef56e1b
https://eprints.soton.ac.uk/448174/
https://eprints.soton.ac.uk/448174/
Formal methods use abstraction and rigorously verified refinement to manage the design of complex systems, ensuring that they satisfy important invariant properties. However, formal verification is not sufficient: models must also be tested to ensure
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7eb63ca4bb507b51d9b675f02fff9f42
https://eprints.soton.ac.uk/442450/
https://eprints.soton.ac.uk/442450/
Publikováno v:
Advances in Model and Data Engineering in the Digitalization Era ISBN: 9783030876562
MEDI Workshops
MEDI Workshops
State-based formal specifications benefit from data structuring mechanisms, which collate associated properties and efficiently declare complex types. For example, ‘record’ data structures, similar to those used in programming languages, can be b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ec1cf724455a0e288f91018d1f391b52
https://doi.org/10.1007/978-3-030-87657-9_1
https://doi.org/10.1007/978-3-030-87657-9_1
Publikováno v:
Rigorous State-Based Methods ISBN: 9783030775421
ABZ
ABZ
Event-B is a state-based formal method for system development. The Event-B mathematical language does not support a syntax for the direct definition of structured types such as records. This paper proposes extending the Event-B language with direct r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c557b2e6cedc166181dff8a05070eb32
https://doi.org/10.1007/978-3-030-77543-8_12
https://doi.org/10.1007/978-3-030-77543-8_12
Cross-layer runtime management (RTM) frameworks for embedded systems provide a set of standard APIs for communication between different system layers (i.e. RTM, applications and device) and simplify the development process by abstracting these layers
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b6b83836474d55895980d1cfad5e0ff
https://eprints.soton.ac.uk/437290/
https://eprints.soton.ac.uk/437290/
Publikováno v:
Many-Core Computing: Hardware and Software ISBN: 9781785615825
Run-time management (RTM) systems are used in embedded systems to dynamically adapt hardware performance to minimise energy consumption. An RTM system implementation is coupled with the hardware platform specifications and is implemented individually
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::889b3dfd5f34b3b82401f15bb5a7278e
https://doi.org/10.1049/pbpc022e_ch14
https://doi.org/10.1049/pbpc022e_ch14