Early validation of system requirements and design through correctness-by-construction
Early validation of requirements aims to reduce the need for the high-cost validation testing
and corrective measures at late development stages. This work introduces a systematic …
and corrective measures at late development stages. This work introduces a systematic …
Exogenous coordination of concurrent software components with JavaBIP
S Bliudze, A Mavridou, R Szymanek… - Software: Practice …, 2017 - Wiley Online Library
A strong separation of concerns is necessary in order to make the design of domain‐specific
functional components independent from cross‐cutting concerns, such as concurrent access …
functional components independent from cross‐cutting concerns, such as concurrent access …
Sequential relational decomposition
The concept of decomposition in computer science and engineering is considered a
fundamental component of computational thinking and is prevalent in design of algorithms …
fundamental component of computational thinking and is prevalent in design of algorithms …
Relating BIP and reo
Coordination languages simplify design and development of concurrent systems.
Particularly, exogenous coordination languages, like BIP and Reo, enable system designers …
Particularly, exogenous coordination languages, like BIP and Reo, enable system designers …
A theory agenda for component-based design
The aim of the paper is to present a theory agenda for component-based design based on
results that motivated the development of the BIP component framework, to identify open …
results that motivated the development of the BIP component framework, to identify open …
[HTML][HTML] Combine and conquer: Relating BIP and Reo
Coordination languages simplify design and development of concurrent systems.
Particularly, exogenous coordination languages, like BIP and Reo, enable system designers …
Particularly, exogenous coordination languages, like BIP and Reo, enable system designers …
[PDF][PDF] CubETH: Nano-satellite mission for orbit and attitude determination using low-cost GNSS receivers
AB Ivanov, L Masson, S Rossi, F Belloni… - 66th International …, 2015 - academia.edu
CubETH is a cooperative Swiss CubeSat mission to demonstrate new technologies in the
area of Global Navigation Satellite System (GNSS)-based navigation and the usage of …
area of Global Navigation Satellite System (GNSS)-based navigation and the usage of …
Complex systems co-simulation with the CoSim20 framework: for efficient and accurate distributed co-simulations
G Liboni - 2021 - theses.hal.science
Cyber-Physical Systems are complex engineered systems where computational parts
communicate together and with physical parts describing the environment. To tame the …
communicate together and with physical parts describing the environment. To tame the …
Automatic fault localization for BIP
W Qiang, L Yan, S Bliudze, M Xiaoguang - International Symposium on …, 2015 - Springer
This paper presents a novel idea of automatic fault localization by exploiting
counterexamples generated by a model checker. The key insight is that, if a candidate …
counterexamples generated by a model checker. The key insight is that, if a candidate …
Expressiveness of component-based frameworks: a study of the expressiveness of BIP
We extend our previous algebraic formalisation of the notion of component-based
framework in order to formally define two forms—strong and weak—of the notion of full …
framework in order to formally define two forms—strong and weak—of the notion of full …