3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.SE2020★ 3 cited
A refinement checking based strategy for component-based systems evolution
José Dihego, Augusto Sampaio, Marcel Oliveira
We propose inheritance and refinement relations for a CSP-based component model (BRIC), which supports a constructive design based on composition rules that preserve classical conc…
cs.SE2020
The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment
Thierry Lecomte, David Deharbe, Paulin Fournier +1
The CLEARSY Safety Platform (CSSP) was designed to ease the development of safety critical systems and to reduce the overall costs (development, deployment, and certification) unde…