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
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
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 …
[HTML][HTML] Functional BIP: Embedding connectors in functional programming languages
This paper presents a theoretical foundation for functional language implementations of
Behaviour–Interaction–Priority (BIP). We introduce a set of connector combinators …
Behaviour–Interaction–Priority (BIP). We introduce a set of connector combinators …